Fix race in SSI interaction with empty btrees.
authorThomas Munro <tmunro@postgresql.org>
Mon, 3 Jul 2023 04:16:27 +0000 (16:16 +1200)
committerThomas Munro <tmunro@postgresql.org>
Mon, 3 Jul 2023 21:14:16 +0000 (09:14 +1200)
commitae6d536ed0dcb5e29126975d4a07eb308fdc5cfa
treee8ad10a2614d7d7f3e78654e3daafb9e30fb2f47
parent5396b188c92213216248fa8f311c0f031a137e2a
Fix race in SSI interaction with empty btrees.

When predicate-locking btrees, we have a special case for completely
empty btrees, since there is no page to lock.  This was racy, because,
without buffer lock held, a matching key could be inserted between the
_bt_search() and the PredicateLockRelation() calls.

Fix, by rechecking _bt_search() after taking the relation-level SIREAD
lock, if using SERIALIZABLE isolation and an empty btree is discovered.

Back-patch to all supported releases.  Fixes one aspect of bug #17949.

Reported-by: Artem Anisimov <artem.anisimov.255@gmail.com>
Reviewed-by: Dmitry Dolgov <9erthalion6@gmail.com>
Reviewed-by: Heikki Linnakangas <hlinnaka@iki.fi>
Discussion: https://postgr.es/m/17949-a0f17035294a55e2%40postgresql.org
src/backend/access/nbtree/nbtsearch.c