Update TransactionXmin when MyProc->xmin is updated

GetSnapshotData() set TransactionXmin = MyProc->xmin, but when
SnapshotResetXmin() advanced MyProc->xmin, it did not advance
TransactionXmin correspondingly. That meant that TransactionXmin could
be older than MyProc->xmin, and XIDs between than TransactionXmin and
the real MyProc->xmin could be vacuumed away. One known consequence is
in pg_subtrans lookups: we might try to look up the status of an XID
that was already truncated away.

Back- to all supported versions.

Reviewed-by: Andres Freund
Discussion: https://www.postgresql.org/message-id/d27a046d-a1e4-47d1-a95c-fbabe41debb4@iki.fi

diff --git a/src/backend/utils/time/snapmgr.c b/src/backend/utils/time/snapmgr.c
index 85b5d5cdb9e7345ecde8c0094ae74ab071c340c8..dc13b231de5394bf94a0e4f22bf68c2536d1c005 100644 (file)
--- a/src/backend/utils/time/snapmgr.c
+++ b/src/backend/utils/time/snapmgr.c
@@ -1045,7 +1045,7 @@ SnapshotResetXmin(void)
 
    if (pairingheap_is_empty(&RegisteredSnapshots))
    {
-       MyPgXact->xmin = InvalidTransactionId;
+       MyPgXact->xmin = TransactionXmin = InvalidTransactionId;
        return;
    }
 
@@ -1053,7 +1053,7 @@ SnapshotResetXmin(void)
                                        pairingheap_first(&RegisteredSnapshots));
 
    if (TransactionIdPrecedes(MyPgXact->xmin, minSnapshot->xmin))
-       MyPgXact->xmin = minSnapshot->xmin;
+       MyPgXact->xmin = TransactionXmin = minSnapshot->xmin;
 }
 
 /*