Fix handling of orphaned 2PC files in the future at recovery

michaelpq · michaelpq · commit 8f67f994e8ea · 2024-12-30T08:06:47.000+09:00
Before 728bd99, that has improved the support for 2PC files during recovery, the initial logic scanning files in pg_twophase was done so as files in the future of the transaction ID horizon were checked first, followed by a check if a transaction ID is aborted or committed which could involve a pg_xact lookup. After this commit, these checks have been done in reverse order. Files detected as in the future do not have a state that can be checked in pg_xact, hence this caused recovery to fail abruptly should an orphaned 2PC file in the future of the transaction ID horizon exist in pg_twophase at the beginning of recovery. A test is added to check for this scenario, using an empty 2PC with a transaction ID large enough to be in the future when running the test. This test is added in 16 and older versions for now. 17 and newer versions are impacted by a second bug caused by the addition of the epoch in the 2PC file names. An equivalent test will be added in these branches in a follow-up commit, once the second set of issues reported are fixed. Author: Vitaly Davydov, Michael Paquier Discussion: https://postgr.es/m/11e597-676ab680-8d-374f23c0@145466129 Backpatch-through: 13
diff --git a/src/backend/access/transam/twophase.c b/src/backend/access/transam/twophase.c
@@ -2167,40 +2167,40 @@ ProcessTwoPhaseBuffer(TransactionId xid,
 	if (!fromdisk)
 		Assert(prepare_start_lsn != InvalidXLogRecPtr);
 
-	/* Already processed? */
-	if (TransactionIdDidCommit(xid) || TransactionIdDidAbort(xid))
+	/* Reject XID if too new */
+	if (TransactionIdFollowsOrEquals(xid, origNextXid))
 	{
 		if (fromdisk)
 		{
 			ereport(WARNING,
-					(errmsg("removing stale two-phase state file for transaction %u",
+					(errmsg("removing future two-phase state file for transaction %u",
 							xid)));
 			RemoveTwoPhaseFile(xid, true);
 		}
 		else
 		{
 			ereport(WARNING,
-					(errmsg("removing stale two-phase state from memory for transaction %u",
+					(errmsg("removing future two-phase state from memory for transaction %u",
 							xid)));
 			PrepareRedoRemove(xid, true);
 		}
 		return NULL;
 	}
 
-	/* Reject XID if too new */
-	if (TransactionIdFollowsOrEquals(xid, origNextXid))
+	/* Already processed? */
+	if (TransactionIdDidCommit(xid) || TransactionIdDidAbort(xid))
 	{
 		if (fromdisk)
 		{
 			ereport(WARNING,
-					(errmsg("removing future two-phase state file for transaction %u",
+					(errmsg("removing stale two-phase state file for transaction %u",
 							xid)));
 			RemoveTwoPhaseFile(xid, true);
 		}
 		else
 		{
 			ereport(WARNING,
-					(errmsg("removing future two-phase state from memory for transaction %u",
+					(errmsg("removing stale two-phase state from memory for transaction %u",
 							xid)));
 			PrepareRedoRemove(xid, true);
 		}

Original file line number	Diff line number	Diff line change
`@@ -2167,40 +2167,40 @@ ProcessTwoPhaseBuffer(TransactionId xid,`
`2167`	`2167`	`if (!fromdisk)`
`2168`	`2168`	`Assert(prepare_start_lsn != InvalidXLogRecPtr);`
`2169`	`2169`
`2170`		`- /* Already processed? */`
`2171`		`- if (TransactionIdDidCommit(xid) \|\| TransactionIdDidAbort(xid))`
	`2170`	`+ /* Reject XID if too new */`
	`2171`	`+ if (TransactionIdFollowsOrEquals(xid, origNextXid))`
`2172`	`2172`	`{`
`2173`	`2173`	`if (fromdisk)`
`2174`	`2174`	`{`
`2175`	`2175`	`ereport(WARNING,`
`2176`		`- (errmsg("removing stale two-phase state file for transaction %u",`
	`2176`	`+ (errmsg("removing future two-phase state file for transaction %u",`
`2177`	`2177`	`xid)));`
`2178`	`2178`	`RemoveTwoPhaseFile(xid, true);`
`2179`	`2179`	`}`
`2180`	`2180`	`else`
`2181`	`2181`	`{`
`2182`	`2182`	`ereport(WARNING,`
`2183`		`- (errmsg("removing stale two-phase state from memory for transaction %u",`
	`2183`	`+ (errmsg("removing future two-phase state from memory for transaction %u",`
`2184`	`2184`	`xid)));`
`2185`	`2185`	`PrepareRedoRemove(xid, true);`
`2186`	`2186`	`}`
`2187`	`2187`	`return NULL;`
`2188`	`2188`	`}`
`2189`	`2189`
`2190`		`- /* Reject XID if too new */`
`2191`		`- if (TransactionIdFollowsOrEquals(xid, origNextXid))`
	`2190`	`+ /* Already processed? */`
	`2191`	`+ if (TransactionIdDidCommit(xid) \|\| TransactionIdDidAbort(xid))`
`2192`	`2192`	`{`
`2193`	`2193`	`if (fromdisk)`
`2194`	`2194`	`{`
`2195`	`2195`	`ereport(WARNING,`
`2196`		`- (errmsg("removing future two-phase state file for transaction %u",`
	`2196`	`+ (errmsg("removing stale two-phase state file for transaction %u",`
`2197`	`2197`	`xid)));`
`2198`	`2198`	`RemoveTwoPhaseFile(xid, true);`
`2199`	`2199`	`}`
`2200`	`2200`	`else`
`2201`	`2201`	`{`
`2202`	`2202`	`ereport(WARNING,`
`2203`		`- (errmsg("removing future two-phase state from memory for transaction %u",`
	`2203`	`+ (errmsg("removing stale two-phase state from memory for transaction %u",`
`2204`	`2204`	`xid)));`
`2205`	`2205`	`PrepareRedoRemove(xid, true);`
`2206`	`2206`	`}`