Verification of Scalable Synchronous Queue
No abstract available.
DOI 10.1007/978-3-642-25379-9_19
Related papers
- Scalable synchronous queues PPoPP 2006
- Scalable queue-based spin locks with timeout PPoPP 2001
- The State-of-the-Art LCRQ Concurrent Queue Algorithm Does NOT Require CAS2 PPoPP 2023
- A scalable queue for work distribution on GPUs PPoPP 2018
- Scaling concurrent queues by using HTM to profit from failed atomic operations PPoPP 2020
- Fast and Scalable Channels in Kotlin Coroutines PPoPP 2023
- Fast concurrent queues for x86 processors PPoPP 2013
- Fairer and More Scalable Reader-Writer Locks by Optimizing Queue Management PPoPP 2025