Hi In the process of re-verifying my serializable lock consistency patch, I ran the fk_concurrency testsuite against *unpatched* HEAD for comparison.
My build of HEAD had asserts enabled, and I promptly triggered
Assert(!(tp.t_data->t_infomask & HEAP_XMAX_INVALID))
in heap_delete().
The seems wrong, if result was set to HeapTupleUpdated because the tuple was
invisible
to the crosscheck snapshot, its xmax may very well be invalid.
Simply removing the assert isn't an option, because right after the assert the
tuple's
xmax is copied into update_xmax. Thus the attached patch takes care to set
update_xmax
to InvalidTransactionId explicitly in case the update is prevented by the
crosscheck snapshot.
heap_update() suffers from the same problem and is treated similarly by the
patch.
Note that this patch conflicts with the serializable_lock_consistency patch,
since it
changes that assert too, but in a different way.
best regards,
Florian Pflug
fix_assert_xmaxinvalid.v1.patch
Description: Binary data
-- Sent via pgsql-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
