【テクニカル・上級編】読み取り専用トランザクション – Cloud Spanner

Cloud Spannerの真髄：読み取り専用トランザクションの深淵

多くのエンジニアは「Spannerは高可用かつ強力な整合性を持つ分散DBである」というマーケティング的な美辞麗句を理解している。しかし、真にアーキテクチャを理解する者は、その「読み取り専用トランザクション（ReadOnly Transaction）」という、非同期かつ非ロック型のスナップショット読み取りが、いかにして物理的な限界を突破しているのかを知っているはずだ。

今日は、表面的なドキュメントをなぞることはしない。Spannerの心臓部であるTrueTimeと分散スナップショット分離の挙動に焦点を当て、エンジニアとしての視座を一段引き上げる話をしよう。

—

1. 物理的ロックの拒絶：なぜRead-Onlyは「最強」なのか

RDBMSの常識では、データの整合性を維持するためには何らかの形でロック（あるいはMVCCのオーバーヘッド）が必要だ。しかし、Spannerの読み取り専用トランザクションは、ロックを一切取得しない。

これが可能なのは、Spannerが「過去の特定のタイムスタンプ」に対する不変のスナップショットを、各ノードのデータレプリカが自律的に保持しているからだ。

内部メカニズム：TrueTimeの魔法

SpannerはGoogleが誇るTrueTime（原子時計とGPS受信機による時刻同期システム）を活用している。各トランザクションには`Commit Timestamp`が刻まれる。読み取り専用トランザクションをリクエストする際、私たちは特定のタイムスタンプ $T$ を指定する。

何が起きているのか？

システムは、$T$ において有効だったデータバージョンを、各Split（データのシャード）から即座に抽出する。このとき、書き込みトランザクションが現在進行形であっても、それらのロックを待つ必要はない。なぜなら、その書き込みは $T$ 以降の結果しか生成しないか、あるいは $T$ 以前にコミット済みであることが保証されているからだ。

2. パフォーマンスの境界：強整合性と「Staleness」の最適化

アーキテクトとして最も注意すべきは、`Strong Read`と`Stale Read`のトレードオフだ。

強整合性読み取り (Strong Read)

デフォルトの読み取りは常に最新のデータを保証する。これは、SpannerがTrueTimeの不確実性（$\epsilon$）を考慮し、すべてのレプリカが $T_{now}$ までに発生したすべての書き込みを確実に適用し終えたことを保証するまで、読み取りを待機させるからだ。

許容される不整合 (Stale Read)

もし、ビジネス要件が「数秒前のデータでも許容する」のであれば、`MaxStaleness`を指定せよ。

なぜこれが重要か？

`Stale Read`は、リーダーノードへの問い合わせを回避し、ローカルレプリカ（スレーブ）で直接処理を完了できる可能性が高い。これにより、ネットワークのRTT（往復時間）を劇的に削減し、システム全体の読み取りスループットを非線形に向上させることが可能だ。

— アーキテクトのためのクエリ最適化の極致
— 15秒以内のデータの古さを許容することで、可用性とレイテンシを極限まで引き上げる
SELECT FROM Orders@{FORCE_STALENESS=15s}
WHERE CustomerID = ‘CUST_999’;

3. メモリとストレージの内部挙動：ColossusとSSTable

Spannerの読み取り効率は、ストレージレイヤであるColossusと、各ノードのインメモリ・キャッシュ戦略によって支えられている。

読み取り専用トランザクションが実行される際、以下のプロセスが走る：
1. インデックス・シーク: 指定されたタイムスタンプに基づいて、SSTableの適切なバージョンを選択する。
2. LSM-Treeの走査: Spannerのデータ構造はLSM-Treeに近い。最新のデータはMemTableに、古いデータはSSTableに存在する。読み取り専用トランザクションは、この階層を横断して一貫性のあるマージ結果を生成する。
3. キャッシュの活用: 頻繁にアクセスされるデータは`Block Cache`に載る。読み取り専用トランザクションはこのキャッシュを破壊することなく利用するため、書き込み負荷がどれほど高くとも、キャッシュヒット率が維持されれば、読み取り性能は驚異的な安定性を見せる。

4. 伝説のアーキテクトからの忠告

多くの現場で散見される失敗は、「Read-Onlyであることを意識しすぎて、トランザクションの境界を無視すること」だ。

読み取り専用トランザクションは「一貫したスナップショット」を提供するが、それはあくまでそのトランザクションが開始された瞬間のタイムスタンプに紐付いている。途中でクエリを追加し、データが更新されることを期待してはならない。

戦略的アドバイス:

大規模な集計処理を行う場合は、必ず`Snapshot Read`を明示せよ。これにより、システムは「一つの長い読み取り」を「一つの巨大な整合性スナップショット」として扱い、途中でレプリカがダウンしても、他のレプリカから同じタイムスタンプのデータを見つけ出し、処理を継続させる。これがSpannerが「止まらない」と言われる真の理由だ。

結びに代えて

Cloud Spannerの読み取り専用トランザクションは、単なる機能ではない。それは、TrueTimeという物理的基盤の上に構築された、「分散システムにおける整合性と可用性の究極的な調和」の結晶である。

このアーキテクチャを理解した者は、もはや「読み取り負荷によるデータベースの悲鳴」を心配する必要はない。次は、インデックスのカーディナリティ設計と、マルチリージョン設定におけるレプリカ配置の最適化について深掘りしよう。

データベースを「単なる箱」として扱うな。Spannerを「時間軸を制御するエンジン」として使いこなせ。それが、我々エンジニアに与えられた特権だ。