Module crossbeam_epoch::sync::queue
source · Expand description
Michael-Scott lock-free queue.
Usable with any number of producers and consumers.
Michael and Scott. Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms. PODC 1996. http://dl.acm.org/citation.cfm?id=248106
Simon Doherty, Lindsay Groves, Victor Luchangco, and Mark Moir. 2004b. Formal Verification of a Practical Lock-Free Queue Algorithm. https://doi.org/10.1007/978-3-540-30232-2_7