HackerNews

民主を機能させる:平等主義的Paxosの修正と簡素化

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

https://arxiv.org/abs/2511.02743


この記事では、古典的な状態機械複製プロトコルであるPaxosが持つリーダー依存の制約からの解放を目指すEgalitarian Paxosの改良が提案されています。Egalitarian Paxosはリーダーを必要とせず、プロセスが共同でコマンドを順序付けることを可能にし、最大f個のプロセスが失敗しても非ゼロのスループットを維持できます。しかし、このプロトコルはその複雑さと不明確な仕様により、さまざまなバグにも悩まされていました。本論文では、Egalitarian Paxosの簡素で正確なバージョンEPaxos*を提唱し、失敗からの回復アルゴリズムを単純化して正確性を厳密に証明しています。また、このプロトコルは、nが最適なプロセス数を満たす条件の下で、さまざまな失敗しきい値fおよびeを網羅するように一般化されています。