Paxos einfach erklärt: Der Konsens-Algorithmus hinter verteilten Systemen
Paxos Made Simple (2001)[pdf]
Leslie Lamport präsentiert den Paxos-Algorithmus für fehlertolerante verteilte Systeme in verständlichem Englisch. Der Kern ist ein Konsens-Algorithmus, der sicherstellt, dass von mehreren vorgeschlagenen Werten genau einer ausgewählt wird. Lamport zeigt, wie die Sicherheitsanforderungen fast zwangsläufig zu den Regeln für Proposer, Acceptor und Learner führen. Der Artikel erklärt die Wahl eines Werts, das Lernen des gewählten Werts sowie den Fortschritt und die Implementierung. Abschließend wird die Anwendung auf State Machines zur Konstruktion verteilter Systeme beschrieben.
Der Paxos-Algorithmus zur Implementierung eines fehlertoleranten verteilten Systems galt als schwer verständlich, vielleicht weil die ursprüngliche Darstellung für viele Leser böhmische Dörfer war.