Download as PDF, PPTX
普通の人でもわかる Paxos
- 1.
- 2.
- 3.
- 4. 登場人物 • クライアント – プロポーザに、書き込みをお願いする人 – 登場人物といっておきながら、話はプロポーザが値を 持ってから始めればいいので、以下登場しません。 • プロポーザ – アクセプタの過半数に同じ値を書き込むよう頑張る • アクセプタ – プロポーザから来た値をよきにはからう（後述） • リスナ – 最後に、過半数のアクセプタから値をゲット。
- 5.
- 6. 基本的な動き（フェーズ２） • フェーズ２a（プロポーザ側） – 過半数のアクセプタから約束が返ってこなかったら、 どこかで諦めて、メッセージIDを増やして最初からや りなおし。 – 過半数のアクセプタから約束が返ってきたら、メッ セージIDと値を添えてアクセプタにプロポーズを送る。 – プロポーズを送る際に、もしも約束に(ID, 値）の組が ついて返ってきたら、自分の値を、返ってきた約束の 中で一番高いIDの値で書き換えてプロポーズを送る。 （IDは自分の。なぜなら、約束が返ってきたということ は、その時点で自分のIDが一番高い。）
- 7.
- 8.
- 9. と、こう書くと • よくわからなくなる。 • たぶん、例が少ないのでわからないのだと思 う。 • なので、以下パラパラ漫画
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
- 17.
- 18.
- 19.
- 20.
- 21.
- 22.
- 23.
- 24.
- 25.
- 26.
- 27.
- 28.
- 29.
- 30.
- 31.
- 32.
- 33.
- 34.
- 35.
- 36.
- 37.
- 38.
- 39.
- 40.
- 41.
- 42.
- 43.
- 44.
- 45.
- 46.
- 47.
- 48.
- 49.
- 50.
- 51.
- 52.
- 53.
- 54.
- 55.
- 56.
- 57.
- 58.
- 59.
- 60.
- 61.
- 62.
- 63. これらはPaxosの範疇じゃない • ビザンチン障害 – 具体的には、 – メッセージID偽装 • 約束されてないIDでプロポーズを投げる • 一意じゃないIDというのも、これに含まれると思う。 – アクセプタがアクセプトしてない値を捏造 – アクセプタが約束してないIDを返す – 等等 • 過半数を超える障害 – 例：9台5台のアクセプタがアクセプトした、と思ったら、その5台のう ち1台が壊れた。 – 実用上は過半数、というところを変えてあげればOK. – 例：９台中５台に書き込めたらOKではなく、９台中７台に書き込めた らOKにして、アクセプトまでは２台障害に耐え、リスナーがチェック するときは５台でOKにするとか。
- 64. これらはPaxosの範疇じゃない • メッセージIDをどうやって一意にするか • Macアドレス + シーケンス番号とか。 • ノードID + シーケンス番号とか。 – シーケンス番号同士を比べて、同じだったらノードID を比べる。 – ノード番号同士を比べて、同じだったらシーケンス番 号を比べる。 – 普通は前者。後者は、複数プロポーザケースに必ず 1台が勝つことになるが、別にそれでもPaxos的には 問題ない。