【入門編】メタデータサーバーアーキテクチャ – Cloud Spanner

こんにちは！Cloud Spannerの世界へようこそ。
チーフアーキテクトの私です。

今日は、Cloud Spannerの心臓部でありながら、普段はあまり表舞台に出てこない「メタデータサーバー」の秘密についてお話しします。

「スプリット？」、「メタデータ？」、「Paxos（パクソス）？」
なんだか難しそうな単語が並んでいますが、安心してください。ここさえクリアすれば、あなたもCloud Spannerの基本はバッチリマスターできますよ！

それでは、私たちの日常の「あるある」に置き換えて、その本質を優しく紐解いていきましょう。

—

1. 巨大なショッピングモールに例えるSpannerの世界

まず、Cloud Spannerがどんなシステムかイメージしてみましょう。
想像してください。世界中からアクセスが押し寄せる、「地球上で一番大きなおもちゃのショッピングモール」があるとします。

このモールには、何億個もの商品（データ）が並んでいます。
もし、お客さんが「レゴブロックはどこですか？」と尋ねたとき、店員さんがモール全体を端から端まで走って探し回っていたらどうなるでしょうか？そう、レジは大行列になり、誰も買い物なんてできませんよね。

だから、このモールでは工夫をしています。

商品をカテゴリーごとに「エリア（スプリット）」に分けて管理する。
「レゴブロックは東棟の3階です」という案内図（メタデータ）をあちこちに置いておく。

この「案内図」を管理している特別な管理室こそが、今回主役の「メタデータサーバー」なのです。

—

2. 「メタデータサーバー」ってなにをしているの？

Cloud Spannerは、データを細かく分割して、世界中のたくさんのコンピューター（ノード）に散らばらせて保存します。この分割されたデータのカタマリを「スプリット」と呼びます。

ここで一つ、大きな疑問が生まれませんか？
「アクセスが急増したとき、どのデータがどのコンピューターに引っ越したのか、一体誰が把握しているの？」

その答えが、メタデータサーバーです。

メタデータサーバーは、いわば「Spannerモールの超優秀なインフォメーションセンター」です。

「ユーザーIDが 0001〜5000 のデータは、サーバーAにあります」
「ユーザーIDが 5001〜10000 のデータは、最近アクセスが多いので、サーバーBとサーバーCの2つに分割（スプリット）しました！」

こういう「データの地図と現在の状態」を完璧に把握し、刻々と変化する状況に合わせてリアルタイムで更新し続けています。アプリがデータを取りに行くとき、まずはこのメタデータサーバーに「今、〇〇のデータはどこにありますか？」と尋ねることで、迷子にならずに一瞬で目的のデータにたどり着けるのです。

—

3. もしインフォメーションセンターが倒れたら？（可用性とPaxosの秘密）

ここで、意地悪な心配性のアナタはこう思うかもしれません。
「もし、その大事なメタデータサーバー自体が故障したら、モール全体がパニックになって止まっちゃうのでは？」

さすが、鋭い着眼点ですね。
もし普通のサーバーであれば、1台が壊れた瞬間にシステム全体がストップしてしまいます。しかし、そこは世界最高峰のデータベース「Cloud Spanner」。そんな脆弱な設計にはしていません。

ここで登場するのが、分散合意アルゴリズム「Paxos（パクソス）」という技術です。

難しそうに聞こえますが、要は「大事な決定は、複数のスタッフによる多数決で決めるルール」のことです。

Paxosの日常的な例え：

学校や職場で、大切な予定を決めるときを想像してください。
「次の遠足はどこに行くか？」を、1人の幹事だけで決めると、その人がお腹を壊して休んだら遠足が中止になってしまいますよね。
そうではなく、クラスの代表者5人が集まって、「A案で行こう！」「賛成！」「賛成！」と話し合い、過半数が同意した上でカレンダーに書き込むとどうでしょう？
たとえ幹事の1人が風邪で休んでも、残りのメンバー全員が同じ決定を覚えているので、予定通りに遠足に行けますよね。

Cloud Spannerのメタデータサーバーも、この「代表者チーム（レプリカグループ）」によって動いています。
地理的に離れた複数の場所に同じメタデータサーバーのコピーを置き、Paxosというルールを使って「全員が同じ地図を持っていること」を常に確認し合っているのです。

そのため、万が一、台風や地震でどれか一つのデータセンターが丸ごと吹き飛んだとしても、残りのサーバーたちが「私たちが本当の地図を知っています！」と瞬時に引き継ぐため、システムは1ミリも止まりません。これが、Cloud Spannerが誇る驚異的な「可用性」の正体です。

—

まとめ：ここが分かればSpanner怖くない！

ここまでのお話をまとめましょう。

1. スプリット：巨大なデータを綺麗に切り分けた「お店のエリア」。
2. メタデータサーバー：「どのデータがどこにあるか」を管理する超優秀なインフォメーションセンター。
3. Paxos：そのインフォメーションセンターが絶対に倒れないようにするための、仲間同士の確実な「多数決ルール」。

私たちが普段、意識せずにCloud Spannerに対して高速な読み書きを行えるのは、裏側でこのメタデータサーバーとPaxosという強固な仕組みが、迷子の防止と不眠不休の守りを行ってくれているからなのです。

この仕組みを知っていれば、Cloud Spannerが単なる「便利なデータベース」ではなく、緻密に組み上げられた要塞のような美しいシステムであることが分かっていたでしょう。

ここをクリアできれば、Cloud Spannerの分散原理の基礎はもうバッチリマスターできていますよ！
自信を持って、次のステップへ進んでいきましょう。それではまた、次のアーキテクチャ談義でお会いしましょう。