paxos

0熱

1答えて

"一貫性"という用語で混乱します。これは、分散システム、メモリモデル、データベースなどのさまざまな状況で使用されています。 People/Wikipediaはすべての異なるConsistency Modelを同じページにまとめる。しかし、私は彼らが同じ問題を記述するために使われているとは本当に思いません。たとえば、Sequential/Relax/Weak/Strict/Processorの整合

6熱

4答えて

分散メッセージパッシングアルゴリズムを実装するためのプログラミング言語

基本的には、以下のアルゴリズムを実装し、これらのアルゴリズムを使用して構築されたシステムがさまざまな条件でどのように動作するかを分析したいと思います。ゴシッププロトコル複数のPaxosここ私の興味をハッシュ一貫性は、これらのアルゴリズムです。私は基本的に、これらのアルゴリズムを素早く深く理解するためのプログラミング言語を探しています。どの言語を選択すればよいですか？ Java、Scala

9熱

4答えて

動的環境でのPaxosの使用

2X + 1プロセッサを使用する場合、Paxosアルゴリズムは最大F回の失敗を許容できます。私の知る限り、このアルゴリズムは固定数のプロセッサでのみ動作します。ノードを動的に追加したり削除したりできる動的環境でこのアルゴリズムを使用することは可能ですか？

0熱

2答えて

Node.jsのコンセンサスアルゴリズム

私は、多くの人が自由に描くことができる共同キャンバスや特定のシェイプツールを実装しようとしています。 ServerはNode.jsとクライアントでAngular1-jsを使って開発されました（そして、私はどちらもかなり新しいです）。すべてのユーザーに常に同じものを表示するには、コンセンサスアルゴリズムを使用する必要があります。私は、正しいチュートリアルの使用方法が見つからないため、深刻な問題が

0熱

2答えて

Paxosコンセンサスアルゴリズムの「ビュー」とは何ですか？

以下のパクソスアルゴリズムに擬似コードを貼り付けて、誰かが正しい方向に向けるかどうか疑問に思っていました。私は以下のアルゴリズムを実装しようとしていますが、私はちょうど "ビュー"が以下を表しているのか混乱しています。私はこのコメントが "過去のビュー数値から値へのマップ"だと言っていますが、誰かが私にこれらの「値」が何であり、どのような「ビュー番号」が何であるかを説明することができたら、 sta

9熱

2答えて

Paxosの現実世界の例

Paxosアルゴリズムが分散データベースでどのように使われているか実例を教えてもらえますか？私はアルゴリズムを説明するPaxosに関する多くの論文を読みましたが、実際の例で実際に説明するものはありません。単純な例は、アカウントが複数のセッション（つまり、出納係のデポジット、デビット操作など）によって変更されている銀行業務アプリケーションです。パクソスはどの操作が最初に起こるかを決めるのに使われま

1熱

1答えて

Paxosリーダーの選挙が終了しない可能性があります

私はPaxos製の簡単な用紙を勉強しています.Paxosは、2人の提案者がより高い提案番号で互いに競争している場合に進歩を保証しないという事実に苦労しています。進歩を保証するために、彼をリーダーにする著名な提案者を選出しなければならない。しかし、人々はPaxosを使用して優秀な提案者を選ぶことを提案しているので、ここで問題が発生します。このシナリオは実装固有のものであることを理解しています。例

0熱

1答えて

TLA + ToolboxでPaxosをモデル化するには？

私はTLA + Toolbox（toolbox）でPaxos（Paxos example）をモデル化しようとしています。それを機能させるためにモデルに入れるべき数字は何ですか？または、このツールボックスでこのアルゴリズムを確認する別の方法がありますか？このコードでベース： CONSTANT Value, \* The set of choosable values. Acceptor

1熱

1答えて

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

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

3熱

2答えて

グループ通信サービスまたはpaxosのログメッセージを実用的に保管していますか？

ネットワークパーティションまたはノードクラッシュの場合、ほとんどの分散アトミックブロードキャストプロトコル（Extended Virtual SynchronyまたはPaxosなど）は、クラッシュまたはパーティション化されたノードがクラスタに再び参加するまで、ログメッセージを保持するためにノードを実行する必要があります。ノードがクラスタに再び参加すると、ログに記録されたメッセージを再生するだけで、