From: Andres Freund Date: Sat, 24 May 2014 23:37:52 +0000 (+0200) Subject: Don't allocate memory inside an Assert() iff in a critical section. X-Git-Tag: REL9_4_BETA2~144 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=9fa93530c878a0e23147a65f7d9a62802b22a995;p=thirdparty%2Fpostgresql.git Don't allocate memory inside an Assert() iff in a critical section. HeapTupleHeaderGetCmax() asserts that it is only used if the tuple has been updated by the current transaction. That check is correct and sensible but requires allocating memory if xmax is a multixact. When wal_level is set to logical cmax needs to be included in a wal record , generated inside a critical section, which can trigger the assertion added in 4a170ee9e. Reported-By: Steve Singer --- diff --git a/src/backend/utils/time/combocid.c b/src/backend/utils/time/combocid.c index 52b612b15a1..a70c7542c92 100644 --- a/src/backend/utils/time/combocid.c +++ b/src/backend/utils/time/combocid.c @@ -41,6 +41,7 @@ #include "postgres.h" +#include "miscadmin.h" #include "access/htup_details.h" #include "access/xact.h" #include "utils/combocid.h" @@ -119,7 +120,14 @@ HeapTupleHeaderGetCmax(HeapTupleHeader tup) CommandId cid = HeapTupleHeaderGetRawCommandId(tup); Assert(!(tup->t_infomask & HEAP_MOVED)); - Assert(TransactionIdIsCurrentTransactionId(HeapTupleHeaderGetUpdateXid(tup))); + /* + * Because GetUpdateXid() performs memory allocations if xmax is a + * multixact we can't Assert() if we're inside a critical section. This + * weakens the check, but not using GetCmax() inside one would complicate + * things too much. + */ + Assert(CritSectionCount > 0 || + TransactionIdIsCurrentTransactionId(HeapTupleHeaderGetUpdateXid(tup))); if (tup->t_infomask & HEAP_COMBOCID) return GetRealCmax(cid);