テストステ論

高テス協会会長が, テストステロンに関する情報をお届けします.

Bizur: Bizurアルゴリズムに関する調査をはじめた

akiradeveloper.hatenadiary.com

この前ドワンゴがRustでRaftを使った分散ファイルシステムを作っている疑惑があるという話をした. おれは今Raftに興味があり色々と調査をしていたところだが, 新しくBizurというアルゴリズムが登場した.

Elastifileというイスラエルの会社が分散ファイルシステムを作っており, そこでBizurという彼ら独自の合意アルゴリズムが使われていることが彼らの文章を読むと分かった. 論文も出している. https://arxiv.org/pdf/1702.04242.pdf

BizurはRaftのようなログベースのアルゴリズムの問題を指摘している.

  • 前のコマンドが処理出来ないとreadが処理出来ない
  • 遅いコマンドがあった場合, 後続の処理が全部遅れる
  • ログコンパクションが必要

Bizurはこれらを全部解決するとしている. しゅごい

おれは昨日この論文を読み, 大体理解したが明らかでないところがあったため著者のEzraにメールをした. もちろん毎度のこと, akiradeveloperですと名乗ってのことだ. おれはPh.Dがないから, Githubが身分の証明になる. 身分が明らかでない野良犬が質問したところで, 外国人は返してくれないことが多い. おれは寝ていたが4時間ほどで返答があり, だいぶ明らかになった.

調査にはまだ時間がかかる. なにせ図が一切ない. データ構造の関係性も論文を読んだだけでは分からないし, もう少し質問をやりとりする必要がある. 完全に理解したあとには, 完全な説明をブログに書く. 楽しみにしてほしい.

Bizurは汎用的なKVSだ. おれは実装をしてOSSにする. おれのスピードを持ってすれば実装は2日で終わる. 楽しみにしてほしい.