点击查看代码
说明:
0为无效事务id，1为initdb时的事务id，2为冻结事务id。
id1是旧的事务id, id2是新的事务id。PG普通的事务id是3到2^32-1这个范围，当用到2^32-1时会回卷，会重新从3开始再次循环使用。
这在还没回卷时是没问题的，例如id1是100，id2是200，200>100，所有200是新事务id。
但是事务id回卷时，例如id1是2^32-1，而id2是3时，由于2^32-1比3大，这样只是简单比较大小的话，id1反而成了新事务id，id2成了旧事务id了。为了解决上面事务id回卷时出现的id比较导致的问题，使用公式(int32)(id1-id2)<0来进行判断，当表达式为true时，id2是比id1新的事务id。
例如id1是100，id2是200，(int32)(100-200)=-100<0为true。
id1为2^32-1，id2为3，(int32)(2^32-1-3)=(int32)(4294967292)=-4<0为true。但是这个公式还有个问题，就是id2回卷了比id1多了2^31个事务id，是会出问题。
例如id1为2^31+100, id2为101，此时(int32)(2^31+100-101)=(int32)(2^31-1)=2147483647>0为false，
此时id2明明是新事务id，可以看到id1的数据，但是按照这个公式的判断id1>id2,也就是id1的数据比id2新，id2是看不到id1的数据的。为了解决这个问题，PG直接定义上面这种情形为非法，在设计上绝对禁止任意两个事务ID的差值绝对值超出2^31这个范围。
如果任意两个事务ID的差值绝对值即将超出2^31这个范围（日志会有各种剩余多少xid可用的告警），日志会报以下错误
ERROR: database is not accepting commands to avoid wraparound data loss in database
HINT: Stop the postmaster and vacuum that database in single-user mode.
