如何在PostgreSQL中模拟事务ID(XID)回绕以验证相关逻辑？

问题背景 #

我希望深入了解XID回绕对查询快照xmin（PostgreSQL 13之前用txid_snapshot_xmin(txid_current_snapshot())，13及之后用pg_snapshot_xmin(pg_snapshot_current())）以及PostgreSQL元组中存储的xmin值的影响。

我对XID回绕的理解如下：

• 经过40亿次事务后，xmin值会回绕（从0、1、2……重新开始），它在内部以xid表示，本质是一个32位整数。
• txid_snapshot_xmin(txid_current_snapshot())或pg_snapshot_xmin(pg_snapshot_current())的返回值是xid8，它会单调递增且永不回绕。
• 快照值关联一个纪元值，可通过txid_snapshot_xmin(txid_current_snapshot()) >> 32计算得出，代表回绕发生的次数。若该值与之前查询结果不同，则说明发生了回绕；反之，执行txid_snapshot_xmin(txid_current_snapshot()) % 2^32可得到分配给行的32位xmin值。

我想模拟该行为以验证我的理论，但无法访问拥有超40亿事务的高吞吐量数据库。请问是否有无需执行40亿次事务，就能在测试库中模拟大量事务以观察XID回绕的有效方法？我曾考虑修改事务计数的内部状态/计数器，但未找到可行方案。

可行的模拟方法 #

使用pg_resetwal直接修改XID（PostgreSQL 10+） #

PostgreSQL提供的pg_resetwal工具（旧版本为pg_resetxlog）可直接修改数据库的事务ID计数器，无需执行大量事务，操作步骤如下：

1. 停止PostgreSQL服务：

   sudo systemctl stop postgresql
   

   可根据你的操作系统使用对应停止命令。

2. 将XID设置到接近回绕的位置：
   32位无符号XID的最大值为4294967295，若要设置到距离回绕只剩100个事务的位置，执行：

   pg_resetwal --xid 4294967195 /var/lib/postgresql/15/main
   

   注意替换路径为你的数据库数据目录，版本号对应实际使用的PostgreSQL版本。

3. 启动PostgreSQL服务：

   sudo systemctl start postgresql
   

4. 验证XID状态：
   连接数据库后，查询当前XID及纪元值：

   -- PostgreSQL 13+
   SELECT pg_snapshot_xmin(pg_snapshot_current()) AS xid8_val,
          pg_snapshot_xmin(pg_snapshot_current()) >> 32 AS epoch,
          pg_snapshot_xmin(pg_snapshot_current()) % 4294967296 AS xid_32;
   
   -- PostgreSQL <13
   SELECT txid_snapshot_xmin(txid_current_snapshot()) AS xid8_val,
          txid_snapshot_xmin(txid_current_snapshot()) >> 32 AS epoch,
          txid_snapshot_xmin(txid_current_snapshot()) % 4294967296 AS xid_32;
   

5. 触发回绕并观察变化：
   执行100次以上事务（比如循环插入删除操作），再次查询上述值，会看到纪元值增加1，32位XID回到较小数值，而xid8_val仍保持单调递增。

注意事项 #

• 仅限测试环境使用：pg_resetwal直接修改数据库核心元数据，操作不当会导致数据库损坏，绝对不能用于生产环境。
• 提前备份数据：操作前务必备份测试库的所有数据，以防意外。
• 权限要求：执行pg_resetwal需要拥有数据库数据目录的读写权限，通常用postgres用户执行。

额外验证：观察元组xmin的变化 #

创建测试表并插入数据，在回绕前后查看元组的xmin：

CREATE TABLE test_xid (id int);

-- 回绕前插入数据
INSERT INTO test_xid VALUES (1);
SELECT xmin, * FROM test_xid;

-- 执行足够多事务触发回绕
DO $$
BEGIN
  FOR i IN 1..100 LOOP
    INSERT INTO test_xid VALUES (i);
    DELETE FROM test_xid WHERE id = i;
  END LOOP;
END $$;

-- 回绕后插入数据
INSERT INTO test_xid VALUES (2);
SELECT xmin, * FROM test_xid;

此时会看到，回绕后的元组xmin是很小的数值，而通过xid8函数查询到的对应值会包含新的纪元，确保逻辑上的单调递增。

内容的提问来源于stack exchange，提问作者Dev K