From: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
---|---|
To: | pgsql-committers(at)postgresql(dot)org |
Subject: | pgsql: Fix corner case where SELECT FOR UPDATE could return a row twice |
Date: | 2014-12-12 00:37:55 |
Message-ID: | E1XzEF1-0006gL-MK@gemulon.postgresql.org |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-committers |
Fix corner case where SELECT FOR UPDATE could return a row twice.
In READ COMMITTED mode, if a SELECT FOR UPDATE discovers it has to redo
WHERE-clause checking on rows that have been updated since the SELECT's
snapshot, it invokes EvalPlanQual processing to do that. If this first
occurs within a non-first child table of an inheritance tree, the previous
coding could accidentally re-return a matching row from an earlier,
already-scanned child table. (And, to add insult to injury, I think this
could make it miss returning a row that should have been returned, if the
updated row that this happens on should still have passed the WHERE qual.)
Per report from Kyotaro Horiguchi; the added isolation test is based on his
test case.
This has been broken for quite awhile, so back-patch to all supported
branches.
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/2db576ba8c449fcaf61ae7aa14ed62e63ebf5924
Modified Files
--------------
src/backend/executor/nodeLockRows.c | 22 ++++++++++++++++++++++
src/test/isolation/expected/eval-plan-qual.out | 23 +++++++++++++++++++++++
src/test/isolation/specs/eval-plan-qual.spec | 16 ++++++++++++++++
3 files changed, 61 insertions(+)
From | Date | Subject | |
---|---|---|---|
Next Message | Tom Lane | 2014-12-12 02:03:19 | pgsql: Fix planning of SELECT FOR UPDATE on child table with partial in |
Previous Message | Simon Riggs | 2014-12-11 22:56:44 | pgsql: Further changes to REINDEX SCHEMA |