Add missing EPQ recheck for TID Scan

The EvalPlanQual recheck for TID Scan wasn't rechecking the TID qual
still passed after following update chains.  This could result in tuples
being updated or deleted by plans using TID Scans where the ctid of the
new (updated) tuple no longer matches the clause of the scan.  This isn't
desired behavior, and isn't consistent with what would happen if the
chosen plan had used an Index or Seq Scan, and that could lead to hard to
predict behavior for scans that contain TID quals and other quals as the
planner has freedom to choose TID or some other scan method for such
queries, and the chosen plan could change at any moment.

Here we fix this by properly implementing the recheck function for TID
Scans.

Backpatch to 13, oldest supported version

Reported-by: Sophie Alpert <p...@sophiebits.com>
Author: Sophie Alpert <p...@sophiebits.com>
Author: David Rowley <dgrowle...@gmail.com>
Reviewed-by: David Rowley <dgrowle...@gmail.com>
Reviewed-by: Chao Li <li.evan.c...@gmail.com>
Discussion: 
https://postgr.es/m/4a6268ff-3340-453a-9bf5-c98d51a6f...@app.fastmail.com
Backpatch-through: 13

Branch
------
REL_17_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/3d939a9b1c72ac34df69aa7540f212b9a79aadc5

Modified Files
--------------
src/backend/executor/nodeTidscan.c             | 19 +++++--
src/test/isolation/expected/eval-plan-qual.out | 71 ++++++++++++++++++++++++++
src/test/isolation/specs/eval-plan-qual.spec   | 11 ++++
3 files changed, 97 insertions(+), 4 deletions(-)

Reply via email to