Fix race conditions associated with SPGiST redirection tuples.
authorTom Lane
Thu, 2 Aug 2012 19:34:21 +0000 (15:34 -0400)
committerTom Lane
Thu, 2 Aug 2012 19:34:21 +0000 (15:34 -0400)
commit7f7c93f85f5fb7fa86c525e04f3de031f3dde794
treeec9605d8210da6d1e0c1f8d710a60d8226f243ac
parent87a237956860c05c6c0d64a7f443b338d99ee38e
Fix race conditions associated with SPGiST redirection tuples.

The correct test for whether a redirection tuple is removable is whether
tuple's xid < RecentGlobalXmin, not OldestXmin; the previous coding
failed to protect index searches being done in concurrent transactions that
have no XID.  This mirrors the recent fix in btree's page recycling logic
made in commit d3abbbebe52eb1e59e621c880ad57df9d40d13f2.

Also, WAL-log the newest XID of any removed redirection tuple on an index
page, and apply ResolveRecoveryConflictWithSnapshot during InHotStandby WAL
replay.  This protects against concurrent Hot Standby transactions possibly
needing to see the redirection tuple(s).

Per my query of 2012-03-12 and subsequent discussion.
src/backend/access/spgist/spgutils.c
src/backend/access/spgist/spgvacuum.c
src/backend/access/spgist/spgxlog.c
src/include/access/spgist_private.h