Paxos
Paxos ist das von Lamport vorgeschlagene Konsensprotokoll, das Einigung über einen Wert garantiert, solange eine Mehrheit der Knoten überlebt; der Grundstein verteilter Systeme.
Zweck
Die theoretischen Grundlagen des verteilten Konsenses und seine Engineering-Implementierungen verstehen und fehlertolerante Konsistenzdienste entwerfen.
Mechanismus
Ein Proposer schlägt vor: 1) Prepare(n) an eine Mehrheit der Acceptors senden; 2) nach dem Versprechen der Mehrheit Accept(n,v) an die Mehrheit senden. Learners lernen den entschiedenen Wert von einer Mehrheit der Acceptors. Multi-Paxos optimiert den Konsens über ein durchgehendes Log.
Anwendungsfälle
- Verteilter Konsens
- Log-Replikation
- Fehlertolerante Zustandsmaschinen