ざっくり理解するPaxos - 小野マトペの納豆ペペロンチーノ日記

ゴールデンウィーク中、Appleがオープンソースとしてリリースした分散データベース FoundationDB のドキュメントを読んでいました。なかなか面白いデータベースだと思うのでこれについては別途書きたいですが、それはそれとしてFoundationDBでは、分散環境下でACIDトランザクションを実現するために、分散合意プロトコルとして有名なPaxosを採用しているようでした。 PaxosはGoogleのChubbyやCassandraのLight Weight Transactionなどで使われていますが、僕はいまだにPaxosがどのように動作するのかあまりよく分かっていませんでした。良い機会だと思い、FoundationDBの技術を理解するためにも連休の後半でLeslie LamportによるPaxosの論文の一つ Paxos Made Simple を読み、何となくわかった気持ちにな

[ono_matope]

ブログを書きました。

[razokulover]

“リーダーに心拍計を取り付け、確実にリーダーが死亡してから新リーダーを昇格させるというものです” ここで吹いた

[thekoruku]

HadoopのJournalNodeではPaxosを使った分散合意が行われていたような。まあHadoopはZooKeeper使われていたりOzoneではRaft使われていたりカオスだけど。

[todesking]

たとえ話が面白い……

[progrhyme]

丁寧でわかりやすい。Multi-Paxosの解説も。

[xorphitus]

この単純な仕組みで、覆えらない単一の値の選択が実現できるのか。おもしろい

[mumumu-tan]

とてもわかりやすい

[efcl]

分散合意プロトコルにおける故障モデルの分かりやすい例

[syossan]

全体的に凄い分かりやすかった。ただMulti-Paxosのところだけ頭に？が生えかけた。

[motchang]

おもしろい

[yuroyoro]

[paxos]

[niconegoto]

説明が丁寧でわかりやすい

[devorgachem]

Multi-Paxos の方は難しいな… Multi-Paxos から出てきた「Paxos インスタンス」が何を指すかの具体的言及は原点をみないとわからなさそうだ

[Hash]

Lamport 御大の Paxos 論文

[suthio]

面白い