Avoid spurious Hot Standby conflicts from btree delete records.

Similar conflicts were already avoided for related record types.
Massive over-caution resulted in a usability bug. Clear theoretical
basis for doing this is now confirmed by me.
Request to remove from Heikki (twice), over-caution by me.

diff --git a/src/backend/storage/ipc/standby.c b/src/backend/storage/ipc/standby.c
index 4d00fb651e4cf0a8bb1d9318a85a89d23abc3aee..82da9261566e8d362df294de655c29fe6db479d3 100644 (file)
--- a/src/backend/storage/ipc/standby.c
+++ b/src/backend/storage/ipc/standby.c
@@ -266,21 +266,13 @@ ResolveRecoveryConflictWithSnapshot(TransactionId latestRemovedXid, RelFileNode
 
        /*
         * If we get passed InvalidTransactionId then we are a little surprised,
-        * but it is theoretically possible, so spit out a DEBUG1 message, but not
-        * one that needs translating.
-        *
-        * We grab latestCompletedXid instead because this is the very latest
-        * value it could ever be.
+        * but it is theoretically possible in normal running. It also happens
+        * when replaying already applied WAL records after a standby crash or
+        * restart. If latestRemovedXid is invalid then there is no conflict. That
+        * rule applies across all record types that suffer from this conflict.
         */
        if (!TransactionIdIsValid(latestRemovedXid))
-       {
-               elog(DEBUG1, "invalid latestremovexXid reported, using latestcompletedxid instead");
-
-               LWLockAcquire(ProcArrayLock, LW_SHARED);
-               latestRemovedXid = ShmemVariableCache->latestCompletedXid;
-               LWLockRelease(ProcArrayLock);
-       }
-       Assert(TransactionIdIsValid(latestRemovedXid));
+               return;
 
        backends = GetConflictingVirtualXIDs(latestRemovedXid,
                                                                                 node.dbNode);