Don't try to set InvalidXid as page pruning hint

alvherre · alvherre · commit c235a6a589bb · 2013-11-28T12:00:12.000-03:00
If a transaction updates/deletes a tuple just before aborting, and a
concurrent transaction tries to prune the page concurrently, the pruner
may see HeapTupleSatisfiesVacuum return HEAPTUPLE_DELETE_IN_PROGRESS,
but a later call to HeapTupleGetUpdateXid() return InvalidXid.  This
would cause an assertion failure in development builds, but would be
otherwise Mostly Harmless.

Fix by checking whether the updater Xid is valid before trying to apply
it as page prune point.

Reported by Andres in 20131124000203.GA4403@alap2.anarazel.de
diff --git a/src/backend/access/heap/pruneheap.c b/src/backend/access/heap/pruneheap.c
@@ -479,13 +479,22 @@ heap_prune_chain(Relation relation, Buffer buffer, OffsetNumber rootoffnum,
 				break;
 
 			case HEAPTUPLE_DELETE_IN_PROGRESS:
+				{
+					TransactionId	xmax;
+
+					/*
+					 * This tuple may soon become DEAD.  Update the hint field
+					 * so that the page is reconsidered for pruning in future.
+					 * If there was a MultiXactId updater, and it aborted after
+					 * HTSV checked, then we will get an invalid Xid here.
+					 * There is no need for future pruning of the page in that
+					 * case, so skip it.
+					 */
+					xmax = HeapTupleHeaderGetUpdateXid(htup);
+					if (TransactionIdIsValid(xmax))
+						heap_prune_record_prunable(prstate, xmax);
+				}
 
-				/*
-				 * This tuple may soon become DEAD.  Update the hint field so
-				 * that the page is reconsidered for pruning in future.
-				 */
-				heap_prune_record_prunable(prstate,
-										   HeapTupleHeaderGetUpdateXid(htup));
 				break;
 
 			case HEAPTUPLE_LIVE:
