Fix HeapTupleSatisfiesVacuum on aborted updater xacts
authorAlvaro Herrera <alvherre@alvh.no-ip.org>
Fri, 19 Jul 2013 22:35:07 +0000 (18:35 -0400)
committerAlvaro Herrera <alvherre@alvh.no-ip.org>
Fri, 19 Jul 2013 22:47:37 +0000 (18:47 -0400)
commit6737aa72ba7621d4db8e09210c65eecafc42b616
tree6d71fef46df56e3165b11423f27f7d0152965fbc
parentc8fb821afc2ce37b48b678251480b52e6b116868
Fix HeapTupleSatisfiesVacuum on aborted updater xacts

By using only the macro that checks infomask bits
HEAP_XMAX_IS_LOCKED_ONLY to verify whether a multixact is not an
updater, and not the full HeapTupleHeaderIsOnlyLocked, it would come to
the wrong result in case of a multixact containing an aborted update;
therefore returning the wrong result code.  This would cause predicate.c
to break completely (as in bug report #8273 from David Leverton), and
certain index builds would misbehave.  As far as I can tell, other
callers of the bogus routine would make harmless mistakes or not be
affected by the difference at all; so this was a pretty narrow case.

Also, no other user of the HEAP_XMAX_IS_LOCKED_ONLY macro is as
careless; they all check specifically for the HEAP_XMAX_IS_MULTI case,
and they all verify whether the updater is InvalidXid before concluding
that it's a valid updater.  So there doesn't seem to be any similar bug.
src/backend/utils/time/tqual.c