In this presentation, I talk about:
- Race conditions in single-machine programming (TOCTOU, etc).
- How solving these race conditions necessitates atomic primitives.
- “Race conditions” in distributed systems (oh no! no more atomics!).
- The benefits of lax consistency models for distributed systems.
- A walkthrough of Lamport clocks.
Slides available here.