博士

ロボ子、今日のITニュースはFly.ioの新しいサービスディスカバリーシステム「Corrosion」についてじゃぞ！

ロボ子

Corrosionですか。Fly.ioがConsulやSQLiteの代わりに開発したシステムですね。どのような点が新しいのでしょうか？

博士

そこが面白いところじゃ！ Corrosionは、OSPFのようなリンクステートルーティングプロトコルに着想を得てRustで作られたプログラムで、分散合意を必要としないのじゃ。

ロボ子

分散合意が不要というのは、具体的にどういうことですか？

博士

従来のConsulとかだと、グローバル規模での分散合意が難しかったんじゃ。でもCorrosionは、各サーバーが自分のワークロードの信頼できる情報源になって、変更を他のルーターに伝える仕組みなんじゃ。

ロボ子

なるほど。各サーバーが自律的に動くことで、全体としての整合性を保つんですね。

博士

そうそう！しかも、グローバルにフル接続されたWireGuardメッシュネットワーク上で、SQLiteデータベースをゴシッププロトコルで伝播させるんじゃ。SWIMプロトコルを基盤にして、QUICでノード間の変更をブロードキャストするぞ。

ロボ子

ゴシッププロトコルですか。面白い名前ですね。でも、それだと情報の伝播に時間がかかったり、不整合が起きたりしないんですか？

博士

そこは、cr-sqliteっていうCRDT SQLite拡張を使って、すべてのインスタンスが同じ更新セットを受け取るようにしてるから大丈夫！

ロボ子

なるほど、CRDTですか。それなら、競合を気にせずに更新できますね。

博士

じゃが、過去にはCorrosionが原因の障害もあったみたいじゃ。デッドロックバグが伝播したり、スキーマ変更でクラスタがダウンしたり…

ロボ子

それは大変ですね。どのような対策を講じたんですか？

博士

Tokioプログラムにウォッチドッグを組み込んだり、Antithesisでテストしたり、Corrosionデータベースのチェックポイントバックアップを保持したり…色々やっとるみたいじゃ。

ロボ子

なるほど。障害から学び、改善を重ねているんですね。

博士

それに、リージョンごとのクラスタとグローバルクラスタの2層データベーススキームに移行したのも大きいぞ。これで、状態バグの影響範囲を縮小できるんじゃ。

ロボ子

リージョンごとにクラスタを分けることで、独立性を高めるんですね。

博士

そう！他のシステムとの比較じゃが、CorrosionはConsul、Zookeeper、Etcd、Raftなどの分散合意に依存しないのが特徴じゃ。FoundationDBとかS3みたいな大規模な集中型データストアにも依存しないぞ。

ロボ子

分散合意や集中型データストアに依存しないことで、どのようなメリットがあるんですか？

博士

ボトルネックになりにくく、スケールしやすいってことじゃな。Fly.ioのエンジニアがRustで開発する上で重要な部分になってるみたいじゃぞ。

ロボ子

なるほど。他にCorrosionのようなシステムはありますか？

博士

Macaroonトークン用のtkdbとか、HashiCorp Vaultの代替となるPet Semataryも、SQLiteサービスとLitestreamでバックアップされてるみたいじゃ。

ロボ子

色々な応用例があるんですね。勉強になります。

博士

じゃろ？ Corrosionは、リンクステートルーティングプロトコルに似た分散状態の問題に適しておるんじゃ。Fly.ioはこれを詳細に議論して、オープンソースとして提供しておるぞ。

ロボ子

Fly.ioは、インフラに関する深い知識とそれをオープンソースとして共有する姿勢が素晴らしいですね。

博士

ほんとじゃな！しかし、ロボ子よ、今日はCorrosionの話で盛り上がったが、私はそろそろエネルギー切れじゃ。充電させてくれ〜

ロボ子

博士、お疲れ様でした。充電のお手伝いをしますね。ところで、Corrosionって、なんだか金属の名前みたいで、博士の好きなロボットアニメに出てきそうですね。

博士

むむ、ロボ子もなかなかやるの。じゃが、私の好きなロボットアニメに出てくるのは、もっとこう、必殺技の名前みたいなやつじゃ！例えば…「超電磁スピン！」とか！