深夜の Paxos 談義

くまぎ @kumagi

今日は Database Lounge Tokyo 4でお話します。Spannerの話をアカデミックな見地から。 database-lounge-tokyo.connpass.com/event/54855/ 今見たら枠開いてるし当日ドタキャンもこれから出るのでプレミアムフライデーのお暇に是非どうぞ。

くまぎ @kumagi

#dbltokyo で話した資料を公開。明らかに間違ってた誤字とかどうでもいい自己紹介とか消した。 slideshare.net/kumagi/db-7550…

くまぎ @kumagi

家に帰って資料読み返して「あれっこれMV2PLじゃなくてROMVじゃね？過去に俺そう言ったよね？どこで混乱した？？ま、まぁいいや、ここ気付いて刺してくる人がいたら『よくぞ発見した、今日からお前がトランザクションマスターだ』とか言って退散しよう」とぐるりと一周回って開き直った。

くまぎ @kumagi

日本の分散システム界隈では、Paxosマウンティングと呼べる何か悪しき物が横行してて「Paxosを理解してないなら語るな」「なおPaxosはすごく難しいから説明しない」の合わせ技で人を黙らせる場面がちょいちょいあって不健全。平易な言葉でPaxosを啓発していく事で全部倒してく。

masuda kaz @masudakz

@kumagi GoogleのSpannerのpaperでのPAXOSの言及にもこういう感触を受けた記憶があります。一人で読んだだけではDBLTで共有してもらったレベルにはたどり着けなかったです。

Mahito / まひと @Mahito

@kumagi 某氏が「Paxosは邪悪なものを呼び寄せるから資料公開したくない」と言ってて闇が深そうだった…

Guutara mmmmm (⁰⊖⁰) くぁwせdrftgy ふじこlp @Guutara

"大事なことなのでこれだけは、おぼえてかえってください。2PC は、バグってます！" twitter.com/kumagi/status/…

Guutara mmmmm (⁰⊖⁰) くぁwせdrftgy ふじこlp @Guutara

ただ、リファレンス実装( 実際に動いて運用できてるもの )は、世に出回ってないんだよねぇ。実は、ライセンスの問題とかもあるんじゃないかと、疑ってるんだけどなぁ。。 twitter.com/kumagi/status/…

くまぎ @kumagi

@Guutara Paxos単品では、単一の値に対して合意するだけだからそれでは大したことができません。で、応用するのが難しい（Paxos Made Live等で言及）ので各自は自分で作らず、使い勝手の良いミドルウェアとしてインタフェースを整備したものがZKとかetcdとかです。

Guutara mmmmm (⁰⊖⁰) くぁwせdrftgy ふじこlp @Guutara

@kumagi 部品として、リファレンス実装があれば、神話も生まれないのかなぁと思った。。 あれ？ etcd って、Raft じゃないんだっけ...

くまぎ @kumagi

@Guutara それをいったらZKはZABです。解きたい問題が解けているから手段は関係ないです。部品としてリファレンス実装があっても応用が難しすぎるからツラいという話はあるんですが、部品なら例えば github.com/henryr/toy_pax… こんなのが。

Guutara mmmmm (⁰⊖⁰) くぁwせdrftgy ふじこlp @Guutara

@kumagi ふぉぇ.. 手段は関係ないっていうのは、納得。そーいえば、Quorum ってもう聞かなくなったなぁ。。 今度、トランザクションとは関係ない気はするけど、blockchain 絡めた話が聞いてみたいです。。

Guutara mmmmm (⁰⊖⁰) くぁwせdrftgy ふじこlp @Guutara

@kumagi あー、これが、このあいだ話してたやつなんすね。ありがとう。。

くまぎ @kumagi

@Guutara Quorumも2PCと同程度には構造的にぶっ壊れてる（と僕は認識している）のでこの辺の話はまた今度にでも。blockchain…うっ頭痛が…（分散システムとしては穴だらけ過ぎて追いかける気にもならない

Guutara mmmmm (⁰⊖⁰) くぁwせdrftgy ふじこlp @Guutara

@kumagi あー、聞きたい。。www でも、最近、「分散合意」とかで、google と、たくさん出てくるよぉ〜、Blockchain ..

Guutara mmmmm (⁰⊖⁰) くぁwせdrftgy ふじこlp @Guutara

@kumagi 自分は、Blockchain は、分散システムではない ( 合意やトランザクションは期待できない ) という理解なので、別の用途として、尚且つ、それが技術的なものに限らない前提であれば (社会現象や政治的な契機を含める ) オモシロイナトオモッテマスケド。

くまぎ @kumagi

@Guutara そういうのはどちらかというとアプリ屋さんと暗号屋さんの本領ですね…。スキルセットが遠いので僕には手出しがしにくい領域なのと、胡散臭い有象無象が多すぎて近寄りにくい…。

Guutara mmmmm (⁰⊖⁰) くぁwせdrftgy ふじこlp @Guutara

@kumagi チェ、手を出したら面白い展開が見れそうなのにと思ったんだけどな。w 出さないのが、正解だと思います、時間の無駄...

Guutara mmmmm (⁰⊖⁰) くぁwせdrftgy ふじこlp @Guutara

逆に言うと、分散合意や分散トランザクション的な話は、止めてれば良いのにとお思う。多分、それやれるようになると、別物になる気がする。。個人の感想ですです

Guutara mmmmm (⁰⊖⁰) くぁwせdrftgy ふじこlp @Guutara

熊崎先生が、胡散臭いっていう世界は、まじ、すごいなぁ。。笑

Takafumi Yonekura @tyonekura

@kumagi 私の紙芝居でわかった気になれない人はそうそういないと信じたいのですが。

くまぎ @kumagi

@tyonekura それどこでしたっけ