Horton

Fix bug in following update chain when locking a heap tuple

Heikki Linnakangas <heikki.linnakangas@iki.fi>

View on postgr.es
Commit: 3e3a80f62c09709de899cc7649f1c86c63b78981
Author: Heikki Linnakangas <heikki.linnakangas@iki.fi>
Date: 2025-12-23T11:37:23Z
Releases: 18.2 
Fix bug in following update chain when locking a heap tuple

After waiting for a concurrent updater to finish, heap_lock_tuple()
followed the update chain to lock all tuple versions. However, when
stepping from the initial tuple to the next one, it failed to check
that the next tuple's XMIN matches the initial tuple's XMAX. That's an
important check whenever following an update chain, and the recursive
part that follows the chain did it, but the initial step missed it.
Without the check, if the updating transaction aborts, the updated
tuple is vacuumed away and replaced by an unrelated tuple, the
unrelated tuple might get incorrectly locked.

Author: Jasper Smit <jasper.smit@servicenow.com>
Discussion: https://www.postgresql.org/message-id/CAOG+RQ74x0q=kgBBQ=mezuvOeZBfSxM1qu_o0V28bwDz3dHxLw@mail.gmail.com
Backpatch-through: 14

Files

PathChange+/−
src/backend/access/heap/heapam.c modified +33 −15
src/test/modules/injection_points/expected/heap_lock_update.out added +83 −0
src/test/modules/injection_points/Makefile modified +4 −1
src/test/modules/injection_points/meson.build modified +1 −0
src/test/modules/injection_points/specs/heap_lock_update.spec added +117 −0

Discussion