Fix inadequate buffer locking in FSM and VM page re-initialization.
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 13 Jul 2018 15:52:50 +0000 (11:52 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 13 Jul 2018 15:53:14 +0000 (11:53 -0400)
commit073ffefd80828dd16d6ad692b2d91501284ab7e2
treeb852fdf5fee6abbc5f63a09e4138df7ffba722d4
parent9348020cc062e89f30c8588cb8da6c2a983679ce
Fix inadequate buffer locking in FSM and VM page re-initialization.

When reading an existing FSM or VM page that was found to be corrupt by the
buffer manager, the code applied PageInit() to reinitialize the page, but
did so without any locking.  There is thus a hazard that two backends might
concurrently do PageInit, which in itself would still be OK, but the slower
one might then zero over subsequent data changes applied by the faster one.
Even that is unlikely to be fatal; but it's not desirable, so add locking
to prevent it.

This does not add any locking overhead in the normal code path where the
page is OK.  It's not immediately obvious that that's safe, but I believe
it is, for reasons explained in the added comments.

Problem noted by R P Asim.  It's been like this for a long time, so
back-patch to all supported branches.

Discussion: https://postgr.es/m/CANXE4Te4G0TGq6cr0-TvwP0H4BNiK_-hB5gHe8mF+nz0mcYfMQ@mail.gmail.com
src/backend/access/heap/visibilitymap.c
src/backend/storage/freespace/freespace.c