【入門編】外部整合性 – Cloud Spanner

やあ。Cloud Spannerという、データベースの世界における「最高傑作」の扉を叩こうとしている君に、まずは歓迎の言葉を送るよ。

多くのエンジニアが、データベースの「整合性」という言葉で頭を抱える中、君は今、その核心である「外部整合性（External Consistency）」に目を向けた。これは非常に鋭い視点だ。ここを理解すれば、君はデータベースの仕組みを一段上の視座から眺められるようになる。

難しい用語は極力使わずに、僕と一緒に「なぜSpannerが特別なのか」を紐解いていこう。

—

君が友人と2人で、コンビニのレジに並んでいると想像してほしい。

1. 12:00:00 に君が会計を済ませた。
2. 12:00:05 に友人が会計を済ませた。

このとき、後からデータベースの記録を見た人が「あれ？友人のほうが先に会計していることになってるぞ？」なんてことが起きたら、大混乱だよね。

普通のデータベースは、複数のサーバーで動かしていると、どうしても「あっちのサーバーの時計」と「こっちのサーバーの時計」が微妙にズレてしまう。そのせいで、現実世界で起きた順番と、データベースに記録された順番が入れ替わってしまうことがよくあるんだ。

Cloud Spannerは、この「時間のズレ」というデータベース界の長年の悩みを、力技で解決してしまった。それが「TrueTime」という仕組みだ。

Spannerは、データセンターの中に「超高精度の原子時計」と「GPS受信機」を配置している。これによって、世界中のサーバーの時計を極限まで一致させているんだ。

例えるなら、「世界中のレジに、完璧に同期されたストップウォッチを配り、その時計が示す秒単位の正確な時間で、すべての出来事に背番号を振っている」ようなものだね。

このおかげで、Spannerは常に「現実世界で先に起きたことは、必ず先に記録される」という、極めて強力な「外部整合性」を保証できるんだ。

—

なぜこれが重要なのか？それは、「開発者が、データの順番を気にしなくて済むから」だ。

一般的なDBの場合： 「Aの処理が先に終わったか確認してからBを実行しなきゃ…」と、開発者が複雑な「順番待ち」の仕組みを作る必要がある。
Cloud Spannerの場合： 「ただトランザクションを書く」だけでいい。あとはSpannerが、現実世界の物理的な発生順序に従って、完璧に整合性を取ってくれるからだ。

まるで、「どんなに忙しい時間帯でも、絶対に順番を間違えない、宇宙一優秀な会計士」を雇っているような安心感があるんだよ。

—

Spannerでデータを書き込むときは、以下のようなイメージだ。専門用語を省いて、流れを追ってみよう。

— 銀行口座の残高を更新するような処理をイメージしてね
BEGIN TRANSACTION;

— 口座Aから100円引く
UPDATE Accounts SET Balance = Balance – 100 WHERE Id = ‘UserA’;

— 口座Bに100円足す
UPDATE Accounts SET Balance = Balance + 100 WHERE Id = ‘UserB’;

— これだけで「外部整合性」が守られる
COMMIT;

この `COMMIT` を実行した瞬間、SpannerはTrueTimeを使って「今、この瞬間の正確な時刻」を刻印する。もし別の場所で同時に処理が走っても、Spannerは必ずどちらが先で、どちらが後かを正確に裁いてくれるんだ。

—

「外部整合性」を理解するというのは、「データベースを単なるデータの保管箱ではなく、時間の流れを管理する装置として捉える」ということだ。

初心者向けの解説はここまでだけど、ここが分かれば、君はもうSpannerの設計思想の本質に触れている。

その答えのすべてが、この「外部整合性」という土台の上にあるんだ。

最初は難しく感じるかもしれない。でも大丈夫。まずは「Spannerは、世界中のサーバーの時計を完全に同期させる魔法を持っている」と覚えておいてほしい。それだけで、君の設計するデータベースは、他の誰よりも堅牢で美しいものになるはずだよ。

何か疑問があれば、いつでも聞いてくれ。君のエンジニアリングの旅を、これからも応援しているよ。