9 MIN
One slot, two numbers: designing a lock-free queue
jacques is a lock-free MPMC queue that packs your data and its sequence number into a single 128-bit atomic. A walk through the design, and why the entire correctness argument comes down to one even-or-odd bit.