Defining Time in Distributed Systems

2021-05-15
1 min read

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.