Скачать или смотреть Designing an SPSC Lock free queue - Quasar Chunawala - Meeting C++ 2025

Overview on Multithreading primitives leading to building an SPSC Lock free queue by Quasar Chunawala from Meeting C++ 2025.

Presenting a short "back-to-the-basics" talk on designing a lock-free SPSC queue. Briefly touching upon, why mutual exclusion and what race conditions are, mutex types and mutex managers in the C++ standard library. We look at the producer-consumer problem (its a different type of race-condition). Then, we code up a simple lock-based SPSC queue using condition variables. I also walk-through few examples of std::binary_semaphore, std::counting_semaphore, barriers and latches.

After the above brief refresher, I deep-dive into support for atomics, and the practical meaning of memory ordering. We spend a moment of CAS h/w instruction and finally try to design a lock-free SPSC queue.