There's a small window wherein a transaction is committed but not yet

on the finished list, and we shouldn't flag it as a potential conflict
if so. We can also skip adding a doomed transaction to the list of
possible conflicts because we know it won't commit.

Dan Ports and Kevin Grittner.

diff --git a/src/backend/storage/lmgr/predicate.c b/src/backend/storage/lmgr/predicate.c
index d93de7de9045de49976f8bea000117398f3947c7..3c3a6a9d9633806b0bdabe4d5c1d86b579ac9028 100644 (file)
--- a/src/backend/storage/lmgr/predicate.c
+++ b/src/backend/storage/lmgr/predicate.c
@@ -1677,8 +1677,9 @@ RegisterSerializableTransactionInt(Snapshot snapshot)
             othersxact != NULL;
             othersxact = NextPredXact(othersxact))
        {
-           if (!SxactIsOnFinishedList(othersxact) &&
-               !SxactIsReadOnly(othersxact))
+           if (!SxactIsCommitted(othersxact)
+               && !SxactIsDoomed(othersxact)
+               && !SxactIsReadOnly(othersxact))
            {
                SetPossibleUnsafeConflict(sxact, othersxact);
            }