Prevent tuples to be marked as dead in subtransactions on standbys
authorMichael Paquier <[email protected]>
Tue, 12 Dec 2023 16:05:18 +0000 (17:05 +0100)
committerMichael Paquier <[email protected]>
Tue, 12 Dec 2023 16:05:18 +0000 (17:05 +0100)
Dead tuples are ignored and are not marked as dead during recovery, as
it can lead to MVCC issues on a standby because its xmin may not match
with the primary.  This information is tracked by a field called
"xactStartedInRecovery" in the transaction state data, switched on when
starting a transaction in recovery.

Unfortunately, this information was not correctly tracked when starting
a subtransaction, because the transaction state used for the
subtransaction did not update "xactStartedInRecovery" based on the state
of its parent.  This would cause index scans done in subtransactions to
return inconsistent data, depending on how the xmin of the primary
and/or the standby evolved.

This is broken since the introduction of hot standby in efc16ea52067, so
backpatch all the way down.

Author: Fei Changhong
Reviewed-by: Kyotaro Horiguchi
Discussion: https://postgr.es/m/[email protected]
Backpatch-through: 12

src/backend/access/transam/xact.c

index 536edb3792ff54508b8558d22a48666e3de59bca..8442c5e6a7a85bac3098c8f8c6dbbb717fbf4591 100644 (file)
@@ -5299,6 +5299,7 @@ PushTransaction(void)
    s->blockState = TBLOCK_SUBBEGIN;
    GetUserIdAndSecContext(&s->prevUser, &s->prevSecContext);
    s->prevXactReadOnly = XactReadOnly;
+   s->startedInRecovery = p->startedInRecovery;
    s->parallelModeLevel = 0;
    s->topXidLogged = false;