Paxos

問題

複数のノードが状態を共有する場合、それらは特定の値について相互に同意する必要があります。リーダーとフォロワーを使用すると、リーダーが決定してフォロワーにその値を渡します。しかしリーダーが存在しない場合、ノードは値を自分自身で決定する必要があります。（リーダーとフォロワーがある場合でも、リーダーを選択する必要がある場合があります。）

リーダーは 2 フェーズ コミット を使用することで、レプリカがアップデートを安全に取得することを確実にすることができます。しかし、リーダーがいない場合、競合するノードが 多数決 を獲得しようとする可能性があります。このプロセスは、どのノードも障害が発生したり切断されたりする可能性があるためにさらに複雑になります。ノードは値で過半数を獲得できますが、その値をクラスタ全体に伝達する前に切断される場合があります。