Time, Clocks, and the Ordering of Events in a Distributed System
Lamport's classic paper models event order with happened-before, then builds logical clocks, total ordering, mutual exclusion, and physical clock synchronization from it.
Lamport's classic paper models event order with happened-before, then builds logical clocks, total ordering, mutual exclusion, and physical clock synchronization from it.
A set of system design heuristics on keeping interfaces simple, making systems faster, and balancing fault tolerance against complexity.