- Yujie Liu, Michael F. Spear:
A lock-free, array-based priority queue. PPoPP 2012: 323-324 - 2010
- Anders Gidenstam, Håkan Sundell, Philippas Tsigas:
Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency. OPODIS 2010: 302-317 - 2008
- Edya Ladan-Mozes, Nir Shavit:
An optimistic approach to lock-free FIFO queues. Distributed Comput. 20(5): 323-341 (2008) - Lindsay Groves:
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction. CATS 2008: 133-142 - John Giacomoni, Tipp Moseley, Manish Vachharajani:
FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue. PPoPP 2008: 43-52 - 2007
- Lindsay Groves:
Trace-based Derivation of a Lock-Free Queue Algorithm. REFINE@IFM 2007: 69-98 - Jeremy Lee:
Practical Multiwriter Lock-Free Queues for "Hard Real-Time" Systems without CAS. CoRR abs/0709.4558 (2007) - 2005
- Håkan Sundell, Philippas Tsigas:
Fast and lock-free concurrent priority queues for multi-thread systems. J. Parallel Distributed Comput. 65(5): 609-627 (2005) - Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit:
Using elimination to implement scalable and lock-free FIFO queues. SPAA 2005: 253-262 - 2004
- Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir:
Formal Verification of a Practical Lock-Free Queue Algorithm. FORTE 2004: 97-114 - Edya Ladan-Mozes, Nir Shavit:
An Optimistic Approach to Lock-Free FIFO Queues. DISC 2004: 117-131 - 2003
- Håkan Sundell, Philippas Tsigas:
Fast and Lock-Free Concurrent Priority Queues for Multi-Thread Systems. IPDPS 2003: 84 - 1988
- Udo Kelter:
The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol. PODS 1988: 142-151