Name Description Size
list.rs Lock-free intrusive linked list. Ideas from Michael. High Performance Dynamic Lock-Free Hash Tables and List-Based Sets. SPAA 2002. <http://dl.acm.org/citation.cfm?id=564870.564881> 16118
mod.rs Synchronization primitives. 154
once_lock.rs 3050
queue.rs 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> 14219