Fix aboriginal mistake in lazy VACUUM's code for truncating away
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 16 Sep 2007 02:37:46 +0000 (02:37 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 16 Sep 2007 02:37:46 +0000 (02:37 +0000)
commit43b0c9182f5796f7368bc68eec08ab80c0421670
tree9e6ece5c0566c34c767f27f0ada7d7e9ab725d7d
parent9a36a09f2e0e084a3983ae67bf3ebcd26245318d
Fix aboriginal mistake in lazy VACUUM's code for truncating away
no-longer-needed pages at the end of a table.  We thought we could throw away
pages containing HEAPTUPLE_DEAD tuples; but this is not so, because such
tuples very likely have index entries pointing at them, and we wouldn't have
removed the index entries.  The problem only emerges in a somewhat unlikely
race condition: the dead tuples have to have been inserted by a transaction
that later aborted, and this has to have happened between VACUUM's initial
scan of the page and then rechecking it for empty in count_nondeletable_pages.
But that timespan will include an index-cleaning pass, so it's not all that
hard to hit.  This seems to explain a couple of previously unsolved bug
reports.
src/backend/commands/vacuumlazy.c