Allow special SKIP LOCKED condition in Assert()
authorAlvaro Herrera <alvherre@alvh.no-ip.org>
Tue, 4 Jan 2022 16:01:05 +0000 (13:01 -0300)
committerAlvaro Herrera <alvherre@alvh.no-ip.org>
Tue, 4 Jan 2022 16:01:05 +0000 (13:01 -0300)
commitf66885bec0df509ee9b604a83c17dbd7eb9959b1
tree2e6ab31728c2661c8076a25d829ed10f6b7df982
parent56a3e848c74730cde15278266b757f4262948763
Allow special SKIP LOCKED condition in Assert()

Under concurrency, it is possible for two sessions to be merrily locking
and releasing a tuple and marking it again as HEAP_XMAX_INVALID all the
while a third session attempts to lock it, miserably fails at it, and
then contemplates life, the universe and everything only to eventually
fail an assertion that said bit is not set.  Before SKIP LOCKED that was
indeed a reasonable expectation, but alas! commit df630b0dd5ea falsified
it.

This bug is as old as time itself, and even older, if you think time
begins with the oldest supported branch.  Therefore, backpatch to all
supported branches.

Author: Simon Riggs <simon.riggs@enterprisedb.com>
Discussion: https://postgr.es/m/CANbhV-FeEwMnN8yuMyss7if1ZKjOKfjcgqB26n8pqu1e=q0ebg@mail.gmail.com
src/backend/access/heap/heapam.c