Paxosアルゴリズム
Paxosはリーダと呼ばれる特別なプロポーザが必要である。 複数のプロセッサが、自身がリーダであると信じることがあり得るが、そのどれかが最終的に選ばれる場合に限り、プロトコルは前進することが保証される。 もし2つのプロセッサがリーダーであると信じている場合、競合するアップデートを繰り返し提案することにより、プロトコルを停止させてしまうことがありえる。しかし、その場合でも安全性は保たれている。
一般に、分散合意アルゴリズムは 2 F + 1 {\displaystyle 2F+1} 個のプロセッサが存在すれば F {\displaystyle F} 個のプロセッサが同時に障害を起こした場合でも動作することができる。しかし、同時障害が F {\displaystyle F} 以下なら、再構成を行うことによって、合計の障害数がいくら増えてもよいようにプロトコルを作ることができる。