【実務・中級編】タプルヘッダのxmin/xmaxとInfomask – PostgreSQL

PostgreSQLの「裏側」を覗く：xmin, xmax, そしてInfomaskが語るタプルの正体

やあ。PostgreSQLのパフォーマンスチューニングやトラブルシューティングで、一度は「MVCC（多版同時実行制御）」という言葉にぶつかったことがあるよね。

でも、教科書的な「読み取り専用のトランザクションは書き込みをブロックしない」という説明だけで満足していないかな？実務の現場では、「なぜ今、このタプルが見えているのか」「なぜVACUUMしてもゴミが残るのか」といった疑問に直面することがある。

その答えは、すべてタプルのヘッダに刻まれている。今日は、PostgreSQLの核となる「タプルヘッダ」の秘密を深掘りしていこう。

—

1. タプルヘッダ：データの「パスポート」

PostgreSQLの各行（タプル）には、ユーザーが見るデータの前に、ひっそりと23バイトのヘッダ情報がくっついている。その中でも特に重要なのが、`xmin`、`xmax`、そして`infomask`だ。

xmin と xmax：時間の刻印

xmin: このタプルを作成したトランザクションID（XID）。いわば「誕生の瞬間」。
xmax: このタプルを削除（または更新）したトランザクションID。いわば「命の終わり」。

更新（UPDATE）は、PostgreSQLの世界では「古いタプルのxmaxを埋めて、新しいタプルのxminを記録する」という操作に他ならない。これを理解していると、`VACUUM`がなぜ必要なのか、そしてなぜ「デッドタプル」が溜まるのかが直感的にわかるはずだ。

2. Infomask：状態を司る「フラグの集合体」

ここからが少しマニアックな話だ。`xmin`や`xmax`だけでは、実は情報が足りない。「そのXIDが本当にコミットされたのか？」「ロールバックされたのか？」といった、トランザクションの結末まではわからないからね。

そこで登場するのが Infomask だ。これは16ビットのフラグで、タプルの状態を瞬時に判断するために使われる。

例えば、よく現場で見かけるフラグはこんな感じだ。

HEAP_XMIN_COMMITTED: xminのトランザクションはコミット済み。
HEAP_XMIN_INVALID: xminは無効（ロールバックされたか、失敗した）。
HEAP_XMAX_COMMITTED: xmaxのトランザクションはコミット済み（＝このタプルは削除済み）。

PostgreSQLは、いちいち `pg_xact`（トランザクション状態のログ）を見に行くと重すぎるから、まずはこのInfomaskを見て「このタプルは有効だ」「これはもう消えた」と判断するんだ。いわば、エンジニアの「キャッシュ戦略」のようなものだね。

3. 実践：ページの中身を覗いてみよう

理論だけだと眠くなるだろう？実際に自分の手で確認してみよう。`pageinspect` というcontribモジュールを使えば、誰でもヘッダを覗ける。

— 拡張機能をインストール
CREATE EXTENSION pageinspect;

— 特定のテーブルの先頭ページを覗く
SELECT lp, t_xmin, t_xmax, t_infomask, t_infomask2
FROM heap_page_items(get_raw_page(‘your_table_name’, 0));

ここで `t_infomask` の数値が出てくるはずだ。例えば `2048` という値が出たら、それは `HEAP_XMIN_COMMITTED` が立っていることを意味する（ビット演算で確認してみてくれ）。

よくある現場のトラブル：なぜ「VACUUM」しても消えない？

運用中に「VACUUMしてるのにデッドタプルが減らない！」という悲鳴を聞くことがある。その原因の多くは、「古いトランザクションがまだ走っているから」だ。

あるトランザクションが長時間開いたままだと、PostgreSQLは「このトランザクションがまだこのタプルを参照しているかもしれない」と判断して、`xmax` が設定されたタプルを削除できない。`pg_stat_activity` で `backend_xmin` を確認して、長期間放置されているプロセスがないか探すのが、現場で頼られるエンジニアの定石だ。

4. 最後に：なぜこれを知る必要があるのか

「そんな低レイヤのこと知らなくても、SQLさえ書ければいいじゃん」と思うかもしれない。

でもね、DBの挙動が怪しくなったとき、クエリプランナの向こう側にある「データの実体」を想像できるかどうかが、一人前と一流の分かれ道になるんだ。

`xmin` が古すぎるタプルを見つけたとき、「これはVACUUMの凍結（Freeze）が追いついていないな」とか、「あ、このInfomaskのフラグが立ってないから、まだXIDのチェックのためにディスクI/Oが発生しているんだな」といった考察ができるようになる。

PostgreSQLは、歴史と工夫が詰まった、非常に美しいアーキテクチャをしている。ぜひ、`pageinspect` で自分のデータベースを覗いてみてほしい。きっと、今までとは違った風景が見えてくるはずだ。

じゃあ、また現場で会おう。何か詰まったら、いつでも聞いてくれ。