From 416650477aa7a2da4db57070fcb2c3524093bf09 Mon Sep 17 00:00:00 2001 From: Melanie Plageman Date: Sat, 6 Jan 2024 13:14:47 -0500 Subject: [PATCH v4 03/19] lazy_scan_prune tests tuple vis with GlobalVisTest One requirement for eventually combining the prune and freeze records, is that we must check during pruning if live tuples on the page are visible to everyone and thus, whether or not the page is all visible. We only consider opportunistically freezing tuples if the whole page is all visible and could be set all frozen. During pruning (in heap_page_prune()), we do not have access to VacuumCutoffs -- as on access pruning also calls heap_page_prune(). We do, however, have access to a GlobalVisState. This can be used to determine whether or not the tuple is visible to everyone. It also has the potential of being more up-to-date than VacuumCutoffs->OldestXmin. This commit simply modifies lazy_scan_prune() to use GlobalVisState instead of OldestXmin. Future commits will move the all_visible/all_frozen calculation into heap_page_prune(). --- src/backend/access/heap/vacuumlazy.c | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/backend/access/heap/vacuumlazy.c b/src/backend/access/heap/vacuumlazy.c index 18004907750..3a991f0ea71 100644 --- a/src/backend/access/heap/vacuumlazy.c +++ b/src/backend/access/heap/vacuumlazy.c @@ -1579,11 +1579,15 @@ lazy_scan_prune(LVRelState *vacrel, /* * The inserter definitely committed. But is it old enough - * that everyone sees it as committed? + * that everyone sees it as committed? A + * FrozenTransactionId is seen as committed to everyone. + * Otherwise, we check if there is a snapshot that + * considers this xid to still be running, and if so, we + * don't consider the page all-visible. */ xmin = HeapTupleHeaderGetXmin(htup); - if (!TransactionIdPrecedes(xmin, - vacrel->cutoffs.OldestXmin)) + if (xmin != FrozenTransactionId && + !GlobalVisTestIsRemovableXid(vacrel->vistest, xmin)) { all_visible = false; break; -- 2.40.1