Paxos
Leslie Lamports konsensus-algoritm (1989) — låter en grupp opålitliga noder enas om ett värde även om delar av nätet är nere.
Två faser: prepare/promise och accept/accepted. En majoritet (quorum) måste svara på båda för att ett värde ska kommitteras. Multi-Paxos optimerar bort prepare-fasen när samma leader är stabil, vilket gör den användbar i praktiken.
Berömd för att vara svår att förstå — Lamports egen artikel "Paxos Made Simple" blev en inside joke. Användes i Google Chubby och Spanner; numera väljer de flesta nya system Raft som är pedagogiskt enklare men i grunden ekvivalent.