物理法則をハックする：Cloud Spannerの「TrueTime」とシリアライザビリティの深淵
多くのエンジニアが「Spannerは強い整合性を持つ」という薄っぺらな宣伝文句を信じている。だが、アーキテクトであればその背後にある「なぜそれが可能なのか」という物理的制約への挑戦にこそ目を向けるべきだ。
Spannerのシリアライザブル（直列化可能）な分離レベルは、単なるデータベースの機能設定ではない。それは「分散システムにおける時間という概念の再定義」そのものだ。
1. 物理的な「同時性」の否定：TrueTimeの正体
一般的な分散DBがレプリケーションラグや一貫性の欠如に苦しむ中、Spannerがシリアライザビリティを担保できる理由はただ一つ。「TrueTime」という名の、原子時計とGPS受信機を組み合わせたハードウェア・レイヤの基盤があるからだ。
Spannerのトランザクションにおいて、`commit timestamp`は絶対的な順序を定義する。
もしあるトランザクション $T_1$ が $T_2$ の前に終了したならば、必ず $T_1.commit\_ts < T_2.commit\_ts$ となる。これは、TrueTimeが持つ誤差の範囲 $\epsilon$ を待ち合わせる（Commit Wait）ことによって実現される。
-- Spannerでは、読み取り時にこのタイムスタンプが「過去」として確定していることが保証される
SELECT FROM Users@{FORCE_INDEX=UsersByEmail}
WHERE Email = 'architect@example.com'
-- 内部的には、このクエリが TrueTime の不確実性を超えた
-- 確定的なスナップショットに対して実行されることが担保されている
この「待ち合わせ」は一見するとレイテンシの増大を招くように見える。しかし、これこそが「ロックの衝突」という従来型DBのボトルネックを、物理的な時刻同期という「エンジニアリングによる解決」に昇華させたSpannerの真髄だ。
2. 楽観的並行制御（OCC）の極致：ロックの階層と衝突
Spannerのトランザクションがシリアライザブルであるために、読み取り専用トランザクションと読み書きトランザクションは、内部で全く異なる挙動を示す。
- 読み取り専用: スナップショット隔離（Snapshot Isolation）を拡張し、特定のタイムスタンプにおいて確定したデータを読む。この際、ロックを取得しない。読取りが書込みをブロックすることはない。これがSpannerが大規模スケールでもスループットを維持できる魔法の正体だ。
- 読み書き: 厳密な 2PL (Two-Phase Locking) を Paxos グループ間で行う。
ここで重要なのは、「スプリット」と「シャーディング」の動的性質だ。データは `Split` 単位で管理され、その各々が Paxos リーダーを持つ。トランザクションが複数の Split に跨る場合、Paxos の合意形成がシリアライザビリティを維持するための通信コストとなる。
3. アーキテクトが見るべき「メモリとレイテンシのトレードオフ」
我々が運用で直面するのは、シリアライザビリティという「正しさ」を維持するために消費されるリソースの最適化だ。
特に意識すべきは「トランザクションの競合頻度」だ。シリアライザブルな分離レベルにおいて、同一キーへの頻繁なアクセスは、Paxosリーダー上でのロック競合を引き起こす。これは計算機リソースの無駄遣いではない。物理的な確定プロセスの待ち時間だ。
パフォーマンスを極限まで引き出すための設計指針：
1. データ分布の局所化: 物理的に近いキーを同じ Split に配置するようにテーブル設計せよ。これは Paxos 通信のオーバーヘッドを劇的に減らす。
2. カウンターのアンチパターン: 単一の行を更新し続けるカウンターは Spanner の敵だ。もし必要なら、キーをシャーディングするか、あるいは集計を非同期（Dataflow等）に委ねよ。
3. 読み取りのタイムスタンプ指定: 厳密なリアルタイム性が不要な場合、`min_read_timestamp` を指定して、最新のトランザクションのコミット待ちを回避せよ。
4. 結論：Spannerは「妥協」を排除する
Spannerのシリアライザビリティは、多くのエンジニアが慣れ親しんだ「Read Committed」の緩い一貫性とは次元が異なる。それは「全地球規模で単一のDBとして振る舞う」という極めて野心的な目標に対する、Googleのエンジニアリングによる回答だ。
もし君が大規模システムのアーキテクチャ設計をしているなら、Spannerのこの厳格な分離レベルを「制限」と捉えるな。「予測可能なシステムを構築するための最強の武器」と捉えよ。
「分散データベースでシリアライザブルを維持する」という不可能を可能にしたこのアーキテクチャの裏側には、常に「物理学との格闘」がある。その事実を理解した時、君の書くクエリとデータモデルは、以前よりも遥かに強固で信頼できるものになるはずだ。
次は、Paxos グループのリージョン間通信が引き起こす、テイルレイテンシの制御について深掘りするとしよう。……準備はできているか？
コメント