Checking Linearizability of Concurrent Priority Queues.
Ahmed BouajjaniConstantin EneaChao WangPublished in: CONCUR (2017)
Keyphrases
- priority queue
- arrival processes
- data structure
- waiting times
- service rates
- finite capacity
- single server
- priority scheduling
- mutual exclusion
- queue length
- queueing networks
- service times
- processor sharing
- real time
- consistency checking
- round robin
- special case
- multiscale
- integrity checking
- case study
- decision trees
- web services
- information retrieval
- concurrent programs
- machine learning
- neural network