01
Paxos and the Long Road to Practical Consensus
Leslie Lamport's Paxos algorithm gave crash-fault-tolerant distributed systems a rigorous way to agree on values despite delays and failures, but its unusual original presentation also created a second history: decades of work translating the proof into systems engineers could confidently implement.
↗