From: Álvaro Herrera <alvherre@kurilemu.de>
To: Heikki Linnakangas <hlinnaka@iki.fi>
Cc: Joel Jacobson <joel@compiler.org>
Cc: Tom Lane <tgl@sss.pgh.pa.us>
Cc: pgsql-hackers <pgsql-hackers@postgresql.org>
Subject: Re: LISTEN/NOTIFY bug: VACUUM sets frozenxid past a xid in async queue
Date: Thu, 6 Nov 2025 11:24:50 +0100
Message-ID: <202511061018.gpkyckin2ixx@alvherre.pgsql> (raw)
In-Reply-To: <66213fee-00ff-4952-802d-c06454e521ac@iki.fi>
Hello,
I've been studying the code for freezing of items at vacuum-truncate
time, and one thing that jumps at me is that perhaps we ought to be more
proactive in freezing items immediately as they are processed. We can
do that for any transactions that precede RecentXmin, because by that
point, every snapshot in the system should have that committed
transaction as no longer in progress anyway. Something like
diff --git a/src/backend/commands/async.c b/src/backend/commands/async.cindex 8ac7d989641..88d5ed2b461 100644--- a/src/backend/commands/async.c+++ b/src/backend/commands/async.c@@ -2038,6 +2038,11 @@ asyncQueueProcessPageEntries(volatile QueuePosition *current,
}
else if (TransactionIdDidCommit(qe->xid))
{
+ if (TransactionIdPrecedes(RecentXmin, qe->xid))+ {+ elog(WARNING, "freezing an entry for transaction %u", qe->xid);+ qe->xid = FrozenTransactionId;+ }
memcpy(local_buf_end, qe, qe->length);
local_buf_end += qe->length;
}
If we do this, then the chances that we need to freeze items at vacuum
time are much lower, and we're not creating any danger that
TransactionIdDidCommit() errors any more than we have in the current
code.
Is there any reason this wouldn't work?
I noticed that async-notify-test-3 doesn't actually freeze any items by
itself ... you need to do "ALTER TABLE template0 allow_connections" and
then do vacuumdb -a in a loop in order for this to happen (or something
similar, I guess). Otherwise the new code in AsyncNotifyFreezeXids is
never executed.
--
Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/
"Those who use electric razors are infidels destined to burn in hell while
we drink from rivers of beer, download free vids and mingle with naked
well shaved babes." (http://slashdot.org/comments.pl?sid=44793&cid=4647152)
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: pgsql-hackers@postgresql.org
Cc: alvherre@kurilemu.de, hlinnaka@iki.fi, joel@compiler.org, tgl@sss.pgh.pa.us
Subject: Re: LISTEN/NOTIFY bug: VACUUM sets frozenxid past a xid in async queue
In-Reply-To: <202511061018.gpkyckin2ixx@alvherre.pgsql>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox