【入門編】トランザクション分離レベル – Cloud Spanner

Cloud Spannerの「トランザクション分離レベル」、SerializableとSnapshot Isolationって何？ – 日常の例でスッキリ理解しよう！

やあ、みんな！ Cloud Spanner の世界へようこそ！

今回は、データベースの「トランザクション分離レベル」という、ちょっと難しそうに聞こえるけれど、実はものすごく大事な概念について、Spanner がどういう仕組みで実現しているのかを、日常の出来事に例えながら優しく解説していくよ。「ここをクリアすれば、Cloud Spanner の基本はバッチリマスターできますよ！」って、自信を持って言えるくらい、分かりやすく説明するから安心してね。

そもそも「トランザクション」って何？

まずは基本中の基本、「トランザクション」から始めよう。

トランザクションっていうのは、データベースの世界で言うところの「一連の処理のまとまり」のこと。例えば、銀行でお金を引き出すときって、

1. 口座からお金が減る
2. ATMから現金が出てくる

っていう、2つの処理があるよね。この2つの処理は、必ず両方成功するか、どちらも失敗するか、どちらかでないといけない。片方だけ成功して、もう片方が失敗するなんてことになったら大問題だ。

こんな風に、一連の処理を「全部やるか、何もしないか」と保証してくれるのがトランザクションなんだ。Spanner も、もちろんこのトランザクションをしっかりサポートしているよ。

「トランザクション分離レベル」って、なんで必要なの？

さて、ここで「分離レベル」の話が出てくる。これは、複数の人が同時にデータベースを操作するときに、お互いの処理がどう影響し合うか、その「干渉の度合い」を決めるルールなんだ。

例えるなら、みんなで一つの大きなホワイトボードに絵を描いている状況を想像してみて。

Aさん：「この部分に青い丸を描こう！」
Bさん：「あっ、その横に赤い四角を描きたい！」
Cさん：「えーっと、私はどこに描こうかな…」

こんな風に、みんなが同時に書き込もうとすると、誰かの描いたものが隠れてしまったり、思わぬところで線が繋がってしまったり、予期しないことが起こる可能性があるよね。

トランザクション分離レベルは、この「予期しないこと」が起こらないように、「他の人が書いている最中に、どこまで見えて、どこまで書き込めるか」 を決めるためのルールのことなんだ。

Spanner は、この干渉の度合いをコントロールするために、主に Serializable と Snapshot Isolation という2つのレベルを提供しているよ。

1. Serializable（シリアライザブル）: 「完全なる順番通り」で安心！

Serializable は、トランザクション分離レベルの中で最も厳格なもの。「シリアライズ」っていうのは「順番通りに並べる」っていう意味なんだ。

日常の例で言うと…

みんなでホワイトボードに絵を描くとき、「一人ずつ順番に描いて、前の人が完全に描き終わってから、次の人が描く」 というルール。

1. Aさんが絵を描き終わるまで、BさんとCさんはじっと待つ。
2. Aさんが終わったら、Bさんが描く。その間、AさんとCさんは待つ。
3. Bさんが終わったら、Cさんが描く。

このルールなら、誰かが描いている途中で他の人が書き込むこともないし、描いたものが隠れることもない。まるで、「過去のどの状態を見ても、絶対に矛盾がない」 状態を保てるんだ。

Spanner の内部ではどうなっているの？

Spanner は、この Serializable を実現するために、「分散合意アルゴリズム（Paxos）」 と 「分散ロック」 の技術を組み合わせて、トランザクションの実行順序を厳密に管理している。

分散合意アルゴリズム (Paxos): 複数のサーバー（Spanner の場合、データが分散して保存されている）で、どのトランザクションをどの順番で実行するかを、全員で一致させるための仕組み。まるで、みんなで「この順番で描こう！」って決めるようなもの。
分散ロック: あるデータにアクセスしている間は、他の人がそのデータに触れないように「鍵」をかけるイメージ。これにより、複数のトランザクションが同じデータを同時に書き換えようとするのを防ぐ。

Serializable は、データの整合性を最も高いレベルで保証してくれるから、「絶対に間違った状態になってはいけない！」 という、お金の取引や在庫管理など、非常に重要なシステムで使われることが多いんだ。

2. Snapshot Isolation（スナップショットアイソレーション）: 「過去のきれいな状態」を見る！

Snapshot Isolation は、Serializable ほど厳しくはないけれど、それでも高いレベルの分離を提供してくれる。

日常の例で言うと…

みんなでホワイトボードに絵を描くとき、「描く前に、その時点のホワイトボードの『写真』を撮る。そして、その『写真』を見て、自分の絵を描く。他の人が後からどう描こうと、自分の絵は『写真』の時点のホワイトボードを元に描く」というルール。

1. Aさんが「描くぞ！」と思った瞬間に、ホワイトボードの「写真（スナップショット）」を撮る。
2. Aさんは、その「写真」を見ながら、自分の絵を描く。
3. Aさんが描き終わる途中や、他の人が後から何か描き足したとしても、Aさんは気にしない。自分の描くべき部分だけを、撮った「写真」を元に描く。
4. Bさんも、また別の瞬間に「描くぞ！」と思った瞬間の「写真」を撮って、それを見ながら描く。

このルールだと、AさんはBさんが描いている最中でも、自分の「写真」を見て描けるから、Serializable のように「待つ」必要がなくなる。これが「アイソレーション（分離）」、「スナップショット（写真）」の名前の由来なんだ。

Spanner の内部ではどうなっているの？

Spanner は、Snapshot Isolation を実現するために、「多版型同時実行制御（MVCC – Multi-Version Concurrency Control）」 という技術を使っている。

多版型同時実行制御 (MVCC): データを更新するときに、元のデータを消してしまうのではなく、新しいバージョン（「写真」みたいなもの）を新しく作る仕組み。各トランザクションは、自分が開始した時点の「最新のきれいなバージョン」を参照して処理を行う。

これにより、トランザクションは他のトランザクションの書き込みを待つことなく、自分の「スナップショット」を見ながら並行して実行できる。だから、Serializable よりもパフォーマンスが高くなることが多いんだ。

でも、Snapshot Isolation には一つ注意点がある。それは 「読み取りの際、他のトランザクションによる書き込みをブロックしない」 ということ。そのため、稀に 「書込の衝突（Write Conflict）」 が発生することがある。

書込の衝突って？（日常の例で補足）

さっきのホワイトボードの例で、もしAさんとBさんが、同じ場所に全く違うものを描こうとしたらどうなる？

Aさんが「ここに青い丸を描こう！」
Bさんも「ここに赤い四角を描こう！」

この場合、どちらか一方が「あれ？さっき私が描こうとした場所、もう B さんが描いちゃってる！」とか、「いや、私が描こうとしたんだけど！」ってことになり、どちらかの処理がやり直しになる可能性がある。これが書込の衝突。

Spanner では、このような衝突が起きた場合に、どちらかのトランザクションを中止して、もう一度やり直すように指示してくれる。

どちらを選ぶべき？

Serializable と Snapshot Isolation、どちらが良いかは、システムが何を一番重視するかで変わってくる。

データの正確性、整合性を絶対に譲れない！ → Serializable
例：金融取引、在庫管理の最終確認
多くのリクエストを、できるだけ速く処理したい！
でも、稀にやり直しが発生しても許容できる。 → Snapshot Isolation
例：ユーザーの閲覧履歴の記録、ログの集計

Spanner では、トランザクションを実行する際に、どちらの分離レベルを使うかを選択できるんだ。

— Serializableトランザクションの開始例
BEGIN TRANSACTION WITH OPTIONS (isolation_level = ‘SERIALIZABLE’);
— ここに Serializableで実行したい処理を書く
UPDATE Accounts SET balance = balance – 100 WHERE account_id = 1;
UPDATE Accounts SET balance = balance + 100 WHERE account_id = 2;
COMMIT;

— Snapshot Isolationトランザクションの開始例
BEGIN TRANSACTION WITH OPTIONS (isolation_level = ‘SNAPSHOT_ISOLATION’);
— ここにSnapshot Isolationで実行したい処理を書く
SELECT FROM Products WHERE category = ‘Electronics’;
UPDATE Orders SET status = ‘Shipped’ WHERE order_id = 123;
COMMIT;

（※上記は概念的なSQL例です。実際のAPIやクライアントライブラリによって構文は異なります。）

まとめ

今日は、Cloud Spanner のトランザクション分離レベル、Serializable と Snapshot Isolation について、日常の例を交えながら解説したよ。

Serializable: 順番通りに、誰にも邪魔されずに処理する。一番安全だけど、待つことも多い。
Snapshot Isolation: 過去のきれいな状態（スナップショット）を見て、自分の処理をする。速いけど、稀にやり直しが発生することも。

どちらのレベルも、Spanner が提供する強力な機能で、システムの特性に合わせて選ぶことで、データの整合性とパフォーマンスのバランスを最適化できるんだ。

この理解があれば、Cloud Spanner のトランザクション処理の奥深さがグッと見えてくるはず。さあ、これで Spanner の基本はバッチリマスターできたね！次は、もっと面白い Spanner の世界を探求していこう！