Introduction to Lock-Free Programming

Explore the challenges and intricacies of lock-free programming in this 53-minute conference talk. Delve into the underlying problems of lock-free systems, understand the CPU's role in these issues, and gain a healthy respect for the complexities involved. Examine parts of simple lock-free structures as examples, and learn about atomic variables, compare exchange operations, and the concept of lockfree stacks. Discover important topics such as invariants, spinlocks, and the ABA problem. Gain valuable insights that will help you approach lock-free programming with caution and a deeper understanding of its potential pitfalls.

Intro
What could go wrong
Forget everything
Invariants
Atomic Variables
Compare Exchange
Atomic
Spinlock
Lockfree
Lockfree Stack
Pop
Ice
ABA
FCD
Berkeley