A lock-free, array-based priority queue
Abstract
No abstract available.
Related papers
- The lock-free k-LSM relaxed priority queue PPoPP 2015
- Wait-free queues with multiple enqueuers and dequeuers PPoPP 2011
- Restricted memory-friendly lock-free bounded queues PPoPP 2020
- Verifying Lock-Free Traversals in Relaxed Memory Separation Logic PLDI 2025
- Verified Lock-Free Session Channels with Linking OOPSLA 2024
- A lock-free relaxed concurrent queue for fast work distribution PPoPP 2021
- Boost Lock-free Queue and Stack with Batching PPoPP 2025
- FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue PPoPP 2008