pgsql: Remove special case for xmin == xmax in HeapTupleSatisfiesVacuum - Mailing list pgsql-committers

From Tom Lane
Subject pgsql: Remove special case for xmin == xmax in HeapTupleSatisfiesVacuum
Date
Msg-id E1QFuKe-00060A-U9@gemulon.postgresql.org
Whole thread Raw
List pgsql-committers
Remove special case for xmin == xmax in HeapTupleSatisfiesVacuum().

VACUUM was willing to remove a committed-dead tuple immediately if it was
deleted by the same transaction that inserted it.  The idea is that such a
tuple could never have been visible to any other transaction, so we don't
need to keep it around to satisfy MVCC snapshots.  However, there was
already an exception for tuples that are part of an update chain, and this
exception created a problem: we might remove TOAST tuples (which are never
part of an update chain) while their parent tuple stayed around (if it was
part of an update chain).  This didn't pose a problem for most things,
since the parent tuple is indeed dead: no snapshot will ever consider it
visible.  But MVCC-safe CLUSTER had a problem, since it will try to copy
RECENTLY_DEAD tuples to the new table.  It then has to copy their TOAST
data too, and would fail if VACUUM had already removed the toast tuples.

Easiest fix is to get rid of the special case for xmin == xmax.  This may
delay reclaiming dead space for a little bit in some cases, but it's by far
the most reliable way to fix the issue.

Per bug #5998 from Mark Reid.  Back-patch to 8.3, which is the oldest
version with MVCC-safe CLUSTER.

Branch
------
REL8_4_STABLE

Details
-------
http://git.postgresql.org/pg/commitdiff/6e3493e2c31be5a88fa7226faf0db7fe443f1d15

Modified Files
--------------
src/backend/utils/time/tqual.c |   20 ++------------------
1 files changed, 2 insertions(+), 18 deletions(-)


pgsql-committers by date:

Previous
From: Tom Lane
Date:
Subject: pgsql: Remove special case for xmin == xmax in HeapTupleSatisfiesVacuum
Next
From: Bruce Momjian
Date:
Subject: pgsql: Lowercase status labels in pg_stat_replication view.