Tag: paxos

Google's Chubby wrapped consensus in a filesystem-like service for locks, leader election and small critical metadata, making coordination reusable across systems such as GFS and Bigtable.

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.