Non-deterministic Queue Operations

摘要

Queues play a central role in transaction processing systems. We present a transaction model that allows significant concurrency improvements for extended queue operations such as non-blocking dequeue, priority dequeue, non-blocking enqueue, and others.