Checking Linearizability of Concurrent Priority Queues.

Ahmed Bouajjani Constantin Enea Chao Wang

Published in: CoRR (2017)

Keyphrases

priority queue
arrival processes
waiting times
finite capacity
processor sharing
service rates
data structure
queue length
preemptive scheduling
concurrent programs
retrial queue
priority scheduling
databases
mutual exclusion
consistency checking
concurrent execution
single server
response time
multiscale