問題タブ [paxos]

分散システムとコンセンサス アルゴリズムは初めてです。私はそれがどのように機能するかを理解していますが、いくつかのまれなケースに混乱しています: アクセプターがインスタンスの ACCEPT を受け取ったが、最終的なコンセンサスまたは決定が何であるかについて何も返ってこなかった場合、アクセプターは何に反応するでしょうか。たとえば、プロポーザーは、コミット中またはすべての ACCEPT を送信した直後に、再起動中または失敗しました。この場合はどうなりますか？

ありがとう。

ペーパーPaxos for System Builders: An Overviewでリーダー選出の準備フェーズを使用する代わりに、リーダー選出の別のフェーズが必要なのはなぜですか? 暗黙的な準備フェーズを使用する場合と比較して、この追加フェーズにはどのような利点がありますか?

私は wiki で「paxos」を読んでいますが、次のように書かれています。より高い提案番号を使用してください。」しかし、提案者が提案が承認されていないことと、メッセージが送信されるまでに時間がかかることとの違いをどのように伝えているのかわかりませんか?

I want to prove that my implementation of multi-paxos is right. Are there any valid examples for me to test on? Or there can be some other ways to convince others that my implementation is right.

I tried to find some paper that contained the examples, but most papers just specified the algorithms.