Implementing Lock-Free Priority Queues Using Compare and Swap
A deep dive into lock‑free priority queues, explaining the compare‑and‑swap technique, data‑structure choices, correctness proofs, and real‑world benchmarks.
Compare and Swap
Solving Data Races with Lock‑Free Atomic Compare‑and‑Swap
A deep dive into lock‑free programming using atomic compare‑and‑swap, covering theory, implementation patterns, and real‑world best practices.