]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Fix race condition in COMMIT PREPARED causing orphaned 2PC files
authorMichael Paquier <michael@paquier.xyz>
Tue, 1 Oct 2024 06:44:15 +0000 (15:44 +0900)
committerMichael Paquier <michael@paquier.xyz>
Tue, 1 Oct 2024 06:44:15 +0000 (15:44 +0900)
commit34d751ba7b302f65c387dc0095c81238e169e1a3
tree301a1e34b10bf7a10861c678b7f7d6c6e25b57ed
parent5a33a39a8bb4540e760110202853aded611b1e7c
Fix race condition in COMMIT PREPARED causing orphaned 2PC files

COMMIT PREPARED removes on-disk 2PC files near its end, but the state
checked if a file is on-disk or not gets read from shared memory while
not holding the two-phase state lock.

Because of that, there was a small window where a second backend doing a
PREPARE TRANSACTION could reuse the GlobalTransaction put back into the
2PC free list by the COMMIT PREPARED, overwriting the "ondisk" flag read
afterwards by the COMMIT PREPARED to decide if its on-disk two-phase
state file should be removed, preventing the file deletion.

This commit fixes this issue so as the "ondisk" flag in the
GlobalTransaction is read while holding the two-phase state lock, not
from shared memory after its entry has been added to the free list.

Orphaned two-phase state files flushed to disk after a checkpoint are
discarded at the beginning of recovery.  However, a truncation of
pg_xact/ would make the startup process issue a FATAL when it cannot
read the SLRU page holding the state of the transaction whose 2PC file
was orphaned, which is a necessary step to decide if the 2PC file should
be removed or not.  Removing manually the file would be necessary in
this case.

Issue introduced by effe7d9552dd, so backpatch all the way down.

Mea culpa.

Author: wuchengwen
Discussion: https://postgr.es/m/tencent_A7F059B5136A359625C7B2E4A386B3C3F007@qq.com
Backpatch-through: 12
src/backend/access/transam/twophase.c