]> granicus.if.org Git - postgresql/commit
Fix concurrent locking of tuple update chain
authorAlvaro Herrera <alvherre@alvh.no-ip.org>
Wed, 26 Jul 2017 21:24:16 +0000 (17:24 -0400)
committerAlvaro Herrera <alvherre@alvh.no-ip.org>
Wed, 26 Jul 2017 21:25:46 +0000 (17:25 -0400)
commitdfd0919855c6a7403bd05e520fb55b290627dbe1
treefaeee4015cc2a6e6e6822dc1b408cdc5a2ef6658
parent8ad35c7fa67dec5de61d6fef3500724c49bfc4ce
Fix concurrent locking of tuple update chain

If several sessions are concurrently locking a tuple update chain with
nonconflicting lock modes using an old snapshot, and they all succeed,
it may happen that some of them fail because of restarting the loop (due
to a concurrent Xmax change) and getting an error in the subsequent pass
while trying to obtain a tuple lock that they already have in some tuple
version.

This can only happen with very high concurrency (where a row is being
both updated and FK-checked by multiple transactions concurrently), but
it's been observed in the field and can have unpleasant consequences
such as an FK check failing to see a tuple that definitely exists:
    ERROR:  insert or update on table "child_table" violates foreign key constraint "fk_constraint_name"
    DETAIL:  Key (keyid)=(123456) is not present in table "parent_table".
(where the key is observably present in the table).

Discussion: https://postgr.es/m/20170714210011.r25mrff4nxjhmf3g@alvherre.pgsql
src/backend/access/heap/heapam.c