【テクニカル・上級編】クエリプランのキャッシュ – Cloud Spanner

Cloud Spannerのクエリプランキャッシュ：その「非決定性」との対峙

Cloud Spannerは、分散データベースの極致だ。しかし、多くのエンジニアが「SQLを投げれば、いい感じに最適化されて実行される」というブラックボックス的な甘い期待を抱いている。

真のアーキテクトが知るべきは、「プランキャッシュという名の動的な地図」が、実行時にどのような力学で生成・破棄され、なぜ時にそれがパフォーマンスのボトルネックとなるのか、という点だ。

本稿では、Spanner内部におけるクエリプランのライフサイクルを、極限まで解像度を上げて解剖する。

—

1. プランキャッシュの階層構造：静と動の境界

Spannerのクエリプランキャッシュは、単なるKey-Valueストアではない。それは、クエリの抽象構文木（AST）をハッシュ化したキーと、コンパイル済みの実行可能バイナリを紐付ける複雑なメモリキャッシュ層だ。

この層は以下の二段階で機能している。

1. グローバル・プランキャッシュ（Global Plan Cache）: 特定のサーバーノード内で共有されるキャッシュ。
2. セッション・ローカルキャッシュ: セッション単位で保持される軽量な参照。

重要なのは、「パラメータ化されたクエリ（Parameterized Queries）」こそが、このキャッシュ効率を支配する唯一の鍵であるという事実だ。リテラル値を埋め込んだSQLを投げ続けることは、キャッシュ汚染（Cache Pollution）を招き、メタデータ管理のオーバーヘッドでCPUを枯渇させる自傷行為に他ならない。

—

2. プランの無効化（Invalidation）：なぜ「突然」遅くなるのか

クエリプランがキャッシュから追い出される、あるいは強制的に再生成される条件は、単なるTTL（Time To Live）管理ではない。以下の「トリガー」を理解せよ。

スキーマの変更 (Schema Versioning):

`ALTER TABLE` や `CREATE INDEX` が発行されると、Spannerは即座にそのテーブルに関連するすべてのキャッシュプランを無効化する。これはスキーマ進化の整合性を保証するための不可避なコストだ。

統計情報の更新 (Optimizer Statistics):

Spannerのクエリオプティマイザは、テーブルのカーディナリティ統計（`pg_catalog`相当のメタデータ）に基づいてプランを生成する。この統計が一定以上の閾値を超えて更新されると、古いプランは「最適ではない」と判断され、即座に無効化される。

オプティマイザバージョンの更新:

Spanner自体がアップデートされ、より高度な最適化アルゴリズムが導入された場合、古いプランは破棄される。これはパフォーマンス向上と引き換えの「避けては通れない再コンパイル」だ。

—

3. 「プランの非決定性」へのエンジニアリング的回答

熟練者が最も恐れるのは、「昨日までは速かったクエリが、今日なぜかプラン変更によって遅くなる」という事象だ。これはオプティマイザが「コストモデルの僅かな揺らぎ」でプランを分岐させる際に発生する。

実践：プランの固定と追跡

この「気まぐれな最適化」を回避し、システムの安定性を担保するための極意は、オプティマイザのバージョン管理と、特定のクエリに対するヒントの活用にある。

— 特定のオプティマイザバージョンを強制する例
— 予期せぬプラン変更を防ぐための最後の防衛ライン
SELECT /@ optimizer_version=6 /
u.user_id, o.order_date
FROM Users AS u
JOIN Orders AS o ON u.user_id = o.user_id
WHERE u.status = @status;

このクエリには、単なるSQL以上の意図が込められている。`optimizer_version`を固定することで、Google側のアップデートによるプランの突発的変化を遮断し、デプロイメントの再現性を確保する。

—

4. 限界を突破するための知見：メモリ最適化の極致

大規模分散システムにおいて、プランキャッシュのヒット率はスループットと直結する。以下の指針を守れ。

1. プレースホルダの活用: 同じ構造のクエリに対し、リテラル値ではなく常にパラメータを使用せよ。これはSpannerのオプティマイザがASTの共通部分を認識し、キャッシュをヒットさせるための必須条件だ。
2. `QueryStats` を監視せよ:
`SPANNER_SYS.QUERY_STATS_TOP_MINUTE` 等を定常的に監視し、キャッシュミス率が高いクエリを特定せよ。もしキャッシュミスが異常に高ければ、それは動的にクエリを生成するコードが書かれている証左である。即座にリファクタリングせよ。
3. プランの「再利用性」を設計する:
複雑すぎるJOINやネストされたサブクエリは、オプティマイザのコスト計算を複雑化させ、プラン生成コストを増大させる。可能であればViewの活用や、テーブル設計による正規化の再検討を行い、オプティマイザが「迷わず」最良のプランを選択できるシンプルな構造を目指せ。

—

終わりに：アーキテクトとしての矜持

Cloud Spannerのクエリプランキャッシュは、ブラックボックスではない。それは分散環境という荒野で、物理的な計算コストを極限まで削り取るための「知的な投資」だ。

システムが巨大化するほど、このキャッシュの挙動が全体のスループットを支配する。オプティマイザを信じるな。統計を信じろ。そして、SQLの背後にある「実行バイナリの生成プロセス」を常に想像し続けろ。

真のエンジニアとは、Spannerが裏で行っている動的な意思決定を、自身のコードを通じて制御できる者のことである。