Recommended
More Related Content
What's hot
What's hot (20)
Recently uploaded
Recently uploaded (7)
普通の人でもわかる Paxos
- 4. 登場人物 • クライアント – プロポーザに、書き込みをお願いする人 – 登場人物といっておきながら、話はプロポーザが値を 持ってから始めればいいので、以下登場しません。 • プロポーザ – アクセプタの過半数に同じ値を書き込むよう頑張る • アクセプタ – プロポーザから来た値をよきにはからう（後述） • リスナ – 最後に、過半数のアクセプタから値をゲット。
- 6. 基本的な動き（フェーズ２） • フェーズ２a（プロポーザ側） – 過半数のアクセプタから約束が返ってこなかったら、 どこかで諦めて、メッセージIDを増やして最初からや りなおし。 – 過半数のアクセプタから約束が返ってきたら、メッ セージIDと値を添えてアクセプタにプロポーズを送る。 – プロポーズを送る際に、もしも約束に(ID, 値）の組が ついて返ってきたら、自分の値を、返ってきた約束の 中で一番高いIDの値で書き換えてプロポーズを送る。 （IDは自分の。なぜなら、約束が返ってきたということ は、その時点で自分のIDが一番高い。）
- 9. と、こう書くと • よくわからなくなる。 • たぶん、例が少ないのでわからないのだと思 う。 • なので、以下パラパラ漫画
- 27. プロポーザ２人 アクセプタ１ アクセプタ２ アクセプタ３ プロポーズしていいですか？(2) プロポーズしていいですか？(2) プロポーズしていいですか？(2) お伺い お伺い お伺い 1 1 1
- 35. おや？約束に、他人の名前が。。 アクセプタ１ アクセプタ２ アクセプタ３ いいですよ(佐藤、2) いいですよ(佐藤、2) 約束 約束 いいですよ(佐藤、2) 約束 3 3 3 佐藤 佐藤 佐藤
- 43. ２人目がアクセプタ２にプロポーズし たところで。。 アクセプタ１ アクセプタ２ アクセプタ３ 佐藤です(2) プロポーズ 1鈴木 2 2佐藤 まだとどいてない。 まだとどいてない。 アクセプト(2)
- 52. ライブロック アクセプタ１ アクセプタ２ アクセプタ３ プロポーズしていいですか？(2) プロポーズしていいですか？(2) プロポーズしていいですか？(2) お伺い お伺い お伺い 1 1 1
- 60. 以下、混乱しやすい点を
- 63. これらはPaxosの範疇じゃない • ビザンチン障害 – 具体的には、 – メッセージID偽装 • 約束されてないIDでプロポーズを投げる • 一意じゃないIDというのも、これに含まれると思う。 – アクセプタがアクセプトしてない値を捏造 – アクセプタが約束してないIDを返す – 等等 • 過半数を超える障害 – 例：9台5台のアクセプタがアクセプトした、と思ったら、その5台のう ち1台が壊れた。 – 実用上は過半数、というところを変えてあげればOK. – 例：９台中５台に書き込めたらOKではなく、９台中７台に書き込めた らOKにして、アクセプトまでは２台障害に耐え、リスナーがチェック するときは５台でOKにするとか。
- 64. これらはPaxosの範疇じゃない • メッセージIDをどうやって一意にするか • Macアドレス + シーケンス番号とか。 • ノードID + シーケンス番号とか。 – シーケンス番号同士を比べて、同じだったらノードID を比べる。 – ノード番号同士を比べて、同じだったらシーケンス番 号を比べる。 – 普通は前者。後者は、複数プロポーザケースに必ず 1台が勝つことになるが、別にそれでもPaxos的には 問題ない。