Re: LISTEN/NOTIFY bug: VACUUM sets frozenxid past a xid in async queue
Matheus Alcantara <matheusssilv97@gmail.com>
From: Matheus Alcantara <matheusssilv97@gmail.com>
To: Daniil Davydov <3danissimo@gmail.com>
Cc: Álvaro Herrera <alvherre@kurilemu.de>, Alexandra Wang <alexandra.wang.oss@gmail.com>, PostgreSQL Hackers <pgsql-hackers@postgresql.org>
Date: 2025-08-19T11:31:00Z
Lists: pgsql-hackers
Commits
Same data as JSON:
GET /api/v1/messages/:b64id/commits
the thread's linked commits as JSON, with link sources.
API reference →
-
Clear 'xid' in dummy async notify entries written to fill up pages
- 84f1bf4afa5e 14.21 landed
- 21a9014cf00a 15.16 landed
- 0e8eaa2181d4 16.12 landed
- d80d5f099502 17.8 landed
- 82fa6b78dba1 18.2 landed
- 0bdc777e8007 19 (unreleased) landed
-
Fix remaining race condition with CLOG truncation and LISTEN/NOTIFY
- c2e58c0711fe 14.21 landed
- 0c862646cf2a 15.16 landed
- 44e8c60be66c 16.12 landed
- c2682810ab7d 17.8 landed
- 7b069a1876e4 18.2 landed
- 797e9ea6e54b 19 (unreleased) landed
-
Fix bug where we truncated CLOG that was still needed by LISTEN/NOTIFY
- eba917d360e7 14.21 landed
- 1a469d7b5b7d 15.16 landed
- 053e1868b7ee 16.12 landed
- d02c03ddc5e3 17.8 landed
- 321ec54625fd 18.2 landed
- 8eeb4a0f7c06 19 (unreleased) landed
-
Escalate ERRORs during async notify processing to FATAL
- 7cb05dd2d198 14.21 landed
- b1da37de21d4 15.16 landed
- c1a5bde003b8 16.12 landed
- b821c92920f0 17.8 landed
- aab4a84bb070 18.2 landed
- 1b4699090eaf 19 (unreleased) landed
-
Limit the size of TID lists during parallel GIN build
- c98dffcb7c70 19 (unreleased) cited
On Tue Aug 19, 2025 at 12:57 AM -03, Daniil Davydov wrote: >> I think that this definition is correct, but IIUC the tail can still >> have notifications with xid's that were already truncated by vacuum >> freeze. When the LISTEN is executed, we first loop through the >> notification queue to try to advance the queue pointers and we can >> eventually iterate over a notification that was added on the queue >> without any listener but it has a xid that is already truncated by vacuum >> freeze, so in this case it will fail to get the transaction status. On >> Alex steps to reproduce the issue it first executes the NOTIFY and >> then executes the LISTEN which fails after vacuum freeze. >> > > Yeah, you are right. I looked at the code again, and found out that even > if there are no active listeners, new listener should iterate from the head > to the tail. Thus, it may encounter truncated xid. Anyway, I still think that > dropping notifications is not the best way to resolve this issue. > In the steps that Alex shared, is it expected that the "LISTEN c1" command consumes the notification that was sent previously with NOTIFY? IIUC the LISTEN command should be executed before of any NOTIFY, so executing the LISTEN after a NOTIFY will not consume any previous notification added on the channel, so how bad would be to drop this notification from the queue in this situation? >> > If the "inactive" listener is the backend which is stuck somewhere, the >> > answer is "no" - this backend should be able to process all notifications. >> > >> I tried to reproduce the issue by using some kind of "inactive" >> listener but so far I didn't manage to trigger the error. >> >> After the vacuum freeze I still can see the same files on pg_xact/ and >> if I cancel the long query the notification is received correctly, and >> then if I execute vacuum freeze again on every database the oldest >> pg_xact file is truncated. >> >> So, if my tests are correct I don't think that storing the oldest xid is >> necessary anymore since I don't think that we can lose notifications >> using the patch from Daniil or I'm missing something here? >> > > You have started a very long transaction, which holds its xid and prevents > vacuum from freezing it. But what if the backend is stuck not inside a > transaction? Maybe we can just hardcode a huge delay (not inside the > transaction) or stop process execution via breakpoint in gdb. If we will use it > instead of a long query, I think that this error may be reproducible. > But how could this happen in real scenarios? I mean, how the backend could be stuck outside a transaction? -- Matheus Alcantara