为何PostgreSQL事务回卷在20亿而非40亿事务ID时发生？

虽然事务ID（XID）是32位无符号整数，理论取值范围是0到2^{32-1（约40亿），但PostgreSQL会在XID达到2}31（约20亿）时触发紧急回卷并关闭数据库，核心原因是为了避免MVCC中的事务可见性判断出现逻辑错误，具体细节如下：

• MVCC的可见性依赖相对事务ID：PostgreSQL的多版本并发控制（MVCC）通过比较当前事务ID和元组的事务ID来判断数据是否可见。由于32位无符号整数的循环特性，如果不限制中间阈值，当XID超过2^{31后，新旧事务ID的大小比较会出现反转——比如一个旧事务的XID是2}31+1，新事务的XID是1，此时按照无符号整数比较，1会被认为比2^31+1大，但实际上1是更新的事务，这会导致可见性判断完全混乱。

• 预留安全区间处理冻结事务：PostgreSQL会定期将旧事务的元组标记为“冻结”（Frozen），冻结元组的XID会被替换成特殊的FrozenXID（值为2），这类元组会被所有事务视为可见。为了确保在回卷前有足够的时间完成冻结操作，PostgreSQL把2^{31设为临界阈值——当XID接近这个值时，系统会触发自动冻结；如果没及时处理，达到2}31时就会紧急关闭，防止出现数据损坏。

• 32位有符号整数的遗留逻辑：早期PostgreSQL的代码中，事务ID的比较逻辑曾使用有符号整数处理，虽然现在改为无符号，但2^{31这个阈值被保留了下来，因为它是32位有符号整数的正最大值（2}31-1），超过后会溢出为负数，这个历史原因也让这个阈值成为了约定俗成的安全线。

要避免这种情况，需要定期执行VACUUM FREEZE命令，手动触发元组冻结，确保系统有足够的XID空间继续运行。

内容的提问来源于stack exchange，提问作者Monika Yadav