]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Avoid spurious deadlocks when upgrading a tuple lock
authorAlvaro Herrera <alvherre@alvh.no-ip.org>
Tue, 18 Jun 2019 22:23:16 +0000 (18:23 -0400)
committerAlvaro Herrera <alvherre@alvh.no-ip.org>
Tue, 18 Jun 2019 22:23:16 +0000 (18:23 -0400)
commit8b21b416ed621501db3be38817c298c57470524f
tree994f58588f6b2ce007160fed63cbd9fcd34735de
parentaca127c105aae551620d607e88d76930e6b9a2cf
Avoid spurious deadlocks when upgrading a tuple lock

This puts back reverted commit de87a084c0a5, with some bug fixes.

When two (or more) transactions are waiting for transaction T1 to release a
tuple-level lock, and transaction T1 upgrades its lock to a higher level, a
spurious deadlock can be reported among the waiting transactions when T1
finishes.  The simplest example case seems to be:

T1: select id from job where name = 'a' for key share;
Y: select id from job where name = 'a' for update; -- starts waiting for T1
Z: select id from job where name = 'a' for key share;
T1: update job set name = 'b' where id = 1;
Z: update job set name = 'c' where id = 1; -- starts waiting for T1
T1: rollback;

At this point, transaction Y is rolled back on account of a deadlock: Y
holds the heavyweight tuple lock and is waiting for the Xmax to be released,
while Z holds part of the multixact and tries to acquire the heavyweight
lock (per protocol) and goes to sleep; once T1 releases its part of the
multixact, Z is awakened only to be put back to sleep on the heavyweight
lock that Y is holding while sleeping.  Kaboom.

This can be avoided by having Z skip the heavyweight lock acquisition.  As
far as I can see, the biggest downside is that if there are multiple Z
transactions, the order in which they resume after T1 finishes is not
guaranteed.

Backpatch to 9.6.  The patch applies cleanly on 9.5, but the new tests don't
work there (because isolationtester is not smart enough), so I'm not going
to risk it.

Author: Oleksii Kliukin
Discussion: https://postgr.es/m/B9C9D7CD-EB94-4635-91B6-E558ACEC0EC3@hintbits.com
Discussion: https://postgr.es/m/2815.1560521451@sss.pgh.pa.us
src/backend/access/heap/README.tuplock
src/backend/access/heap/heapam.c
src/test/isolation/expected/tuplelock-upgrade-no-deadlock.out [new file with mode: 0644]
src/test/isolation/isolation_schedule
src/test/isolation/specs/tuplelock-upgrade-no-deadlock.spec [new file with mode: 0644]