Update TransactionXmin when MyProc->xmin is updated

hlinnaka · hlinnaka · commit 578a7fe7b6f8 · 2024-12-21T23:42:39.000+02:00
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-patch 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
@@ -875,15 +875,15 @@ SnapshotResetXmin(void)
 
 	if (pairingheap_is_empty(&RegisteredSnapshots))
 	{
-		MyProc->xmin = InvalidTransactionId;
+		MyProc->xmin = TransactionXmin = InvalidTransactionId;
 		return;
 	}
 
 	minSnapshot = pairingheap_container(SnapshotData, ph_node,
 										pairingheap_first(&RegisteredSnapshots));
 
 	if (TransactionIdPrecedes(MyProc->xmin, minSnapshot->xmin))
-		MyProc->xmin = minSnapshot->xmin;
+		MyProc->xmin = TransactionXmin = minSnapshot->xmin;
 }
 
 /*

Original file line number	Diff line number	Diff line change
`@@ -875,15 +875,15 @@ SnapshotResetXmin(void)`
`875`	`875`
`876`	`876`	`if (pairingheap_is_empty(&RegisteredSnapshots))`
`877`	`877`	`{`
`878`		`- MyProc->xmin = InvalidTransactionId;`
	`878`	`+ MyProc->xmin = TransactionXmin = InvalidTransactionId;`
`879`	`879`	`return;`
`880`	`880`	`}`
`881`	`881`
`882`	`882`	`minSnapshot = pairingheap_container(SnapshotData, ph_node,`
`883`	`883`	`pairingheap_first(&RegisteredSnapshots));`
`884`	`884`
`885`	`885`	`if (TransactionIdPrecedes(MyProc->xmin, minSnapshot->xmin))`
`886`		`- MyProc->xmin = minSnapshot->xmin;`
	`886`	`+ MyProc->xmin = TransactionXmin = minSnapshot->xmin;`
`887`	`887`	`}`
`888`	`888`
`889`	`889`	`/*`