paxosでシーケンス番号を導出する方法

Question

paxosでは、すべての提案者が独自に提案書のシーケンス番号を生成します。だから、提案者がより高い番号のシーケンス番号を生成し続けるとしよう。この提案者は他の提案者の提案を無効にしてより高いシーケンス番号を生成しているので、この提案者はいないだろうか？すなわち、1人の提案者が常に支配するパクソスの可能性はあるのだろうか？

Answer 1

あなたの提案者がacting badlyだった場合、これは問題になります。実際には、提案者はシーケンサーを選択するための簡単なプロトコルに従います。

例えば、あるシステムでは、許可された提案者のリストがデータとともに複製されていたので、すべての提案者はpの位置にありました。提案者は、seqno(i, p) = i * len(proposers) + pのように常にi番目のシーケンス番号を選択します。したがって、すべての提案者は、選択するユニークな一連の（インターリーブされた）シーケンス番号を持っていました。