]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Avoid testing tuple visibility without buffer lock in RI_FKey_check().
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 23 Oct 2016 19:01:24 +0000 (15:01 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 23 Oct 2016 19:01:24 +0000 (15:01 -0400)
commit913e7e5983ff4b544879845af5305f70a4fa6277
tree1a6f4a3e66e1d2fc878c3bfa321a00be0535bf7a
parent13d5dd50956163cbd3268b1ab118aad801c78274
Avoid testing tuple visibility without buffer lock in RI_FKey_check().

Despite the argumentation I wrote in commit 7a2fe85b0, it's unsafe to do
this, because in corner cases it's possible for HeapTupleSatisfiesSelf
to try to set hint bits on the target tuple; and at least since 8.2 we
have required the buffer content lock to be held while setting hint bits.

The added regression test exercises one such corner case.  Unpatched, it
causes an assertion failure in assert-enabled builds, or otherwise would
cause a hint bit change in a buffer we don't hold lock on, which given
the right race condition could result in checksum failures or other data
consistency problems.  The odds of a problem in the field are probably
pretty small, but nonetheless back-patch to all supported branches.

Report: <19391.1477244876@sss.pgh.pa.us>
src/backend/utils/adt/ri_triggers.c
src/test/regress/expected/foreign_key.out
src/test/regress/sql/foreign_key.sql