惰性冻结的公式中，OldestXmin 指当前最小的事务 id，vacuum_freeze_min_age 是一个固定参数，默认为 5000 万。假设当前的最小事务 id 为 50002500，意味着要将小于或等于 2500 的 ID 都冻结。

冻结时，首先会先判断 VM 值，如果 VM 为 1（当前数据块内不存在被删除的行）， 则跳过，不对其进行冻结。然后判断每一个块内每一行的事务 id，如果 id<=2500， 则在其某一位上标记为 frozen；若 id>2500，则跳过。比如上图中 Turple9 内最后 一行 id 为 3000，因此不冻结。