【入門編】 TrueTime API – Cloud Spanner

やあ。Cloud Spannerという、少し背伸びした技術に興味を持ってくれてありがとう。

エンジニアの世界では「分散データベース」という言葉だけで難解な壁を感じてしまうものだけど、大丈夫。今日解説する「TrueTime（トゥルータイム）」という技術さえ理解できれば、君はもうSpannerの本質を掴んだも同然だ。

「なぜ、世界中に散らばっているサーバーたちが、たった一つのデータベースとして完璧に連携できるのか？」

その秘密を、専門用語を極力排して解き明かしていこう。

—

想像してみてほしい。君と、地球の裏側にいる友人が、同じ銀行口座から同時にお金を引き出そうとしている。

1. 君（東京）： 10:00:00に引き出す。
2. 友人（ニューヨーク）： 10:00:00に引き出す。

このとき、もし東京とニューヨークの時計が「1秒」ずれていたらどうなるだろう？
「どちらが先に操作したか」が曖昧になり、残高がマイナスになったり、二重に引き出せたりする大惨事が起きるよね。

普通のパソコンの時計は、放っておくと勝手に数秒、あるいは数分ズレる。だから、分散システムの世界では「時刻を合わせる」という作業が、実は最も難しく、最も重要なんだ。

ここで登場するのが、Googleが作り上げたTrueTimeという魔法のような仕組みだ。

一般的なサーバーは「時計が合っているか自信がない」状態だけど、TrueTimeは自分自身の時計を見て、こう言うんだ。

> 「今の時刻は10:00:00だけど、この時計の誤差を考慮すると、本当の時刻は10:00:00から10:00:00.007の間にあるはずだ」

つまり、TrueTimeは「誤差の範囲」を自分自身で把握しているんだ。

君が友人と待ち合わせをする時、「たぶん10時くらい」と言うよね。でもTrueTimeは、「誤差は最大でも7ミリ秒（0.007秒）以内であること」を物理的に保証する特別なGPS受信機と原子時計を世界中のデータセンターに置いているんだ。

だから、Spannerは「今、世界で何が起きたか」を、物理的な時刻に裏打ちされた絶対的な順序で記録できる。これが、Cloud Spannerが最強である最大の理由なんだ。

—

Spannerを使うとき、僕たちは「時刻を合わせる」という面倒なコードを一切書かなくていい。Spannerがトランザクション（一連の処理）の中で、自動的にTrueTimeを使って「この操作はいつ起きたか」を確定させてくれるからだ。

例えば、銀行の振込処理をイメージしてみてほしい。

— 振込処理をSpannerで行うときのイメージ
— 読み取りと書き込みが世界中で行われても、TrueTimeが順序を厳密に管理する

BEGIN TRANSACTION;

— 口座Aから引き出す
UPDATE Accounts SET Balance = Balance – 1000 WHERE AccountId = ‘A’;

— 口座Bに振り込む
UPDATE Accounts SET Balance = Balance + 1000 WHERE AccountId = ‘B’;

COMMIT;
— ここでTrueTimeが登場。
— 世界中のどのノードよりも、このトランザクションが「いつ起きたか」を
— 矛盾なく確定させてからコミットを完了させる。

もしTrueTimeがなければ、私たちは「誰が一番早かったのか」を管理するために、複雑なロック処理や複雑なアルゴリズムを手動で実装しなければならない。それはまさに地獄の始まりだ。

—

Cloud Spannerがなぜすごいのか。それは、「時刻のズレ」という物理的な壁を、最先端のハードウェア（原子時計）と高度なソフトウェア（TrueTime）で完全に克服したからなんだ。

これらは全て、TrueTimeが「正しい時刻」を保証してくれているおかげなんだよ。

—

「Cloud Spannerって、なんだかすごそうだけど難しそう…」と尻込みする必要はない。君がやるべきことは、「Spannerは、世界中の時計が常に同期されているという前提で設計されている」という事実を信じて、アプリケーションの設計に集中することだけだ。

この「時刻の信頼性」という贅沢な土台の上で、君はどんなサービスを作ってみたい？
もし迷ったら、いつでもまた聞きに来て。次は、この強力なSpannerをどうやって効率よく使いこなすか、少し深い話をしようじゃないか。

ここをクリアした君なら、もう次のステップへ進む準備はバッチリだよ。頑張って！