Level 3: Distributed systems · L3.1 Time, clocks, consensus & leader election
Logical clocks
Order events with Lamport and vector clocks.
12 min · Pro
What you take away
- Happens-before is the only ordering a distributed system can actually establish: same process, or send before receive, plus transitivity.
And 3 more inside the class, in Pro.
How the class is laid out
- The problem
- The simple version
- Lamport clocks, and what they cannot do
- Vector clocks make concurrency visible
- Hybrid logical clocks, in practice
- Check your understanding