Set relfrozenxid to oldest extant XID seen by VACUUM.
authorPeter Geoghegan <pg@bowt.ie>
Sun, 3 Apr 2022 16:57:21 +0000 (09:57 -0700)
committerPeter Geoghegan <pg@bowt.ie>
Sun, 3 Apr 2022 16:57:21 +0000 (09:57 -0700)
commit0b018fabaaba77e39539ce7eb71e34a90ceb0825
treea4b8ae23a9e20cf23460d3ba811c67a039f605e4
parent05023a237c059c840380817abf079a9282a227b7
Set relfrozenxid to oldest extant XID seen by VACUUM.

When VACUUM set relfrozenxid before now, it set it to whatever value was
used to determine which tuples to freeze -- the FreezeLimit cutoff.
This approach was very naive.  The relfrozenxid invariant only requires
that new relfrozenxid values be <= the oldest extant XID remaining in
the table (at the point that the VACUUM operation ends), which in
general might be much more recent than FreezeLimit.

VACUUM now carefully tracks the oldest remaining XID/MultiXactId as it
goes (the oldest remaining values _after_ lazy_scan_prune processing).
The final values are set as the table's new relfrozenxid and new
relminmxid in pg_class at the end of each VACUUM.  The oldest XID might
come from a tuple's xmin, xmax, or xvac fields.  It might even come from
one of the table's remaining MultiXacts.

Final relfrozenxid values must still be >= FreezeLimit in an aggressive
VACUUM (FreezeLimit still acts as a lower bound on the final value that
aggressive VACUUM can set relfrozenxid to).  Since standard VACUUMs
still make no guarantees about advancing relfrozenxid, they might as
well set relfrozenxid to a value from well before FreezeLimit when the
opportunity presents itself.  In general standard VACUUMs may now set
relfrozenxid to any value > the original relfrozenxid and <= OldestXmin.

Credit for the general idea of using the oldest extant XID to set
pg_class.relfrozenxid at the end of VACUUM goes to Andres Freund.

Author: Peter Geoghegan <pg@bowt.ie>
Reviewed-By: Andres Freund <andres@anarazel.de>
Reviewed-By: Robert Haas <robertmhaas@gmail.com>
Discussion: https://postgr.es/m/CAH2-WzkymFbz6D_vL+jmqSn_5q1wsFvFrE+37yLgL_Rkfd6Gzg@mail.gmail.com
13 files changed:
doc/src/sgml/maintenance.sgml
src/backend/access/heap/heapam.c
src/backend/access/heap/vacuumlazy.c
src/backend/commands/cluster.c
src/backend/commands/vacuum.c
src/include/access/heapam.h
src/include/access/heapam_xlog.h
src/include/commands/vacuum.h
src/test/isolation/expected/vacuum-no-cleanup-lock.out [new file with mode: 0644]
src/test/isolation/expected/vacuum-reltuples.out [deleted file]
src/test/isolation/isolation_schedule
src/test/isolation/specs/vacuum-no-cleanup-lock.spec [new file with mode: 0644]
src/test/isolation/specs/vacuum-reltuples.spec [deleted file]