Avoid improbable PANIC during heap_update, redux.
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 30 Sep 2022 23:36:46 +0000 (19:36 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 30 Sep 2022 23:37:00 +0000 (19:37 -0400)
commit2dc2e4e31adb71502074c8c2bf9e0766347aa6e5
tree5a659dd517fd1489abc1949b85aee4e960c47800
parent0e497eadb1f4028b147b5c58dc08cea7e73675e1
Avoid improbable PANIC during heap_update, redux.

Commit 34f581c39 intended to ensure that RelationGetBufferForTuple
would acquire a visibility-map page pin in case the otherBuffer's
all-visible bit had become set since we last had lock on that page.
But I missed a case: when we're extending the relation, VM concerns
were dealt with only in the relatively-less-likely case that we
fail to conditionally lock the otherBuffer.  I think I'd believed
that we couldn't need to worry about it if the conditional lock
succeeds, which is true for the target buffer; but the otherBuffer
was unlocked for awhile so its bit might be set anyway.  So we need
to do the GetVisibilityMapPins dance, and then also recheck the
page's free space, in both cases.

Per report from Jaime Casanova.  Back-patch to v12 as the previous
patch was (although there's still no evidence that the bug is
reachable pre-v14).

Discussion: https://postgr.es/m/E1lWLjP-00006Y-Ml@gemulon.postgresql.org
src/backend/access/heap/hio.c