Paxos
PaxosはLamportが提唱した合意プロトコルであり、過半数のノードが生存する限り単一の値への合意を保証する。分散システムの礎石である。
目的
分散合意の理論的基盤とそのエンジニアリング実装を理解し、耐障害性のある一貫性サービスを設計する。
メカニズム
Proposerが提案する：1) 過半数のAcceptorへPrepare(n)を送信、2) 過半数がpromiseした後、過半数へAccept(n,v)を送信。Learnerは過半数のAcceptorから決定値を学習する。Multi-Paxosは連続するログに対する合意を最適化する。
ユースケース
- 分散合意（コンセンサス）
- ログレプリケーション
- 耐障害性のあるステートマシン