Why it matters
Lock-free unlocks scalable concurrency. Understanding shapes concurrent programming.
Advertisement
The architecture
Atomic CAS + retry loop.
Progress: at least one thread makes progress.
Wait-free stronger guarantee.
Advertisement
How it works end to end
Michael-Scott queue.
Treiber stack.
Hazard pointers for reclamation.
Epoch-based reclamation.