Paxos
Leslie Lamports Konsensalgorithmus (1989) — lässt eine Gruppe unzuverlässiger Knoten sich auf einen Wert einigen, selbst bei teilweisen Netzwerkausfällen.
Zwei Phasen: Prepare/Promise und Accept/Accepted. Eine Mehrheit (Quorum) muss auf beide antworten, bevor ein Wert festgeschrieben wird. Multi-Paxos spart die Prepare-Phase ein, solange derselbe Leader stabil bleibt — erst das macht das Verfahren praxistauglich.
Berüchtigt schwer verständlich — Lamports eigenes Paper „Paxos Made Simple" wurde zum internen Insiderwitz. Im Einsatz bei Google Chubby und Spanner; die meisten neuen Systeme setzen heute auf Raft, das didaktisch einfacher, aber im Kern gleichwertig ist.