Fix deadlock at startup, if max_prepared_transactions is too small.

When the startup process recovers transactions by scanning pg_twophase
directory, it should clear MyLockedGxact after it's done processing each
transaction. Like we do during normal operation, at PREPARE TRANSACTION.
Otherwise, if the startup process exits due to an error, it will try to
clear the locking_backend field of the last recovered transaction. That's
usually harmless, but if the error happens in MarkAsPreparing, while
holding TwoPhaseStateLock, the shmem-exit hook will try to acquire
TwoPhaseStateLock again, and deadlock with itself.

This fixes bug #13128 reported by Grant McAlister. The bug was introduced
by commit bb38fb0d, so backpatch to all supported versions like that
commit.

diff --git a/src/backend/access/transam/twophase.c b/src/backend/access/transam/twophase.c
index c269cd633c4f2bcd6c5f45741242f598073aecdf..01aa8cb9b818b9d5a326f35f6bb658c6e5a89a9d 100644 (file)
--- a/src/backend/access/transam/twophase.c
+++ b/src/backend/access/transam/twophase.c
@@ -2055,6 +2055,12 @@ RecoverPreparedTransactions(void)
                        if (InHotStandby)
                                StandbyReleaseLockTree(xid, hdr->nsubxacts, subxids);
 
+                       /*
+                        * We're done with recovering this transaction. Clear MyLockedGxact,
+                        * like we do in PrepareTransaction() during normal operation.
+                        */
+                       PostPrepare_Twophase();
+
                        pfree(buf);
                }
        }