mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-09-28 06:21:51 +02:00
cb5b28613d
Commit 147e3722f7
changed Tid scan so that it calls table_beginscan()
and uses the scan option for seq scan. This change caused two issues.
(1) The change caused Tid scan to take a predicate lock on the entire
relation in serializable transaction even when relation-level
lock is not necessary. This could lead to an unexpected
serialization error.
(2) The change caused Tid scan to increment the number of seq_scan
in pg_stat_*_tables views even though it's not seq scan. This
could confuse the users.
This commit adds the scan option for Tid scan and makes Tid scan
use it, to avoid those issues.
Back-patch to v12, where the bug was introduced.
Author: Tatsuhito Kasahara
Reviewed-by: Kyotaro Horiguchi, Masahiko Sawada, Fujii Masao
Discussion: https://postgr.es/m/CAP0=ZVKy+gTbFmB6X_UW0pP3WaeJ-fkUWHoD-pExS=at3CY76g@mail.gmail.com
105 lines
3.5 KiB
PL/PgSQL
105 lines
3.5 KiB
PL/PgSQL
-- tests for tidscans
|
|
|
|
CREATE TABLE tidscan(id integer);
|
|
|
|
-- only insert a few rows, we don't want to spill onto a second table page
|
|
INSERT INTO tidscan VALUES (1), (2), (3);
|
|
|
|
-- show ctids
|
|
SELECT ctid, * FROM tidscan;
|
|
|
|
-- ctid equality - implemented as tidscan
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT ctid, * FROM tidscan WHERE ctid = '(0,1)';
|
|
SELECT ctid, * FROM tidscan WHERE ctid = '(0,1)';
|
|
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT ctid, * FROM tidscan WHERE '(0,1)' = ctid;
|
|
SELECT ctid, * FROM tidscan WHERE '(0,1)' = ctid;
|
|
|
|
-- OR'd clauses
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT ctid, * FROM tidscan WHERE ctid = '(0,2)' OR '(0,1)' = ctid;
|
|
SELECT ctid, * FROM tidscan WHERE ctid = '(0,2)' OR '(0,1)' = ctid;
|
|
|
|
-- ctid = ScalarArrayOp - implemented as tidscan
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT ctid, * FROM tidscan WHERE ctid = ANY(ARRAY['(0,1)', '(0,2)']::tid[]);
|
|
SELECT ctid, * FROM tidscan WHERE ctid = ANY(ARRAY['(0,1)', '(0,2)']::tid[]);
|
|
|
|
-- ctid != ScalarArrayOp - can't be implemented as tidscan
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT ctid, * FROM tidscan WHERE ctid != ANY(ARRAY['(0,1)', '(0,2)']::tid[]);
|
|
SELECT ctid, * FROM tidscan WHERE ctid != ANY(ARRAY['(0,1)', '(0,2)']::tid[]);
|
|
|
|
-- tid equality extracted from sub-AND clauses
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT ctid, * FROM tidscan
|
|
WHERE (id = 3 AND ctid IN ('(0,2)', '(0,3)')) OR (ctid = '(0,1)' AND id = 1);
|
|
SELECT ctid, * FROM tidscan
|
|
WHERE (id = 3 AND ctid IN ('(0,2)', '(0,3)')) OR (ctid = '(0,1)' AND id = 1);
|
|
|
|
-- nestloop-with-inner-tidscan joins on tid
|
|
SET enable_hashjoin TO off; -- otherwise hash join might win
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT t1.ctid, t1.*, t2.ctid, t2.*
|
|
FROM tidscan t1 JOIN tidscan t2 ON t1.ctid = t2.ctid WHERE t1.id = 1;
|
|
SELECT t1.ctid, t1.*, t2.ctid, t2.*
|
|
FROM tidscan t1 JOIN tidscan t2 ON t1.ctid = t2.ctid WHERE t1.id = 1;
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT t1.ctid, t1.*, t2.ctid, t2.*
|
|
FROM tidscan t1 LEFT JOIN tidscan t2 ON t1.ctid = t2.ctid WHERE t1.id = 1;
|
|
SELECT t1.ctid, t1.*, t2.ctid, t2.*
|
|
FROM tidscan t1 LEFT JOIN tidscan t2 ON t1.ctid = t2.ctid WHERE t1.id = 1;
|
|
RESET enable_hashjoin;
|
|
|
|
-- exercise backward scan and rewind
|
|
BEGIN;
|
|
DECLARE c CURSOR FOR
|
|
SELECT ctid, * FROM tidscan WHERE ctid = ANY(ARRAY['(0,1)', '(0,2)']::tid[]);
|
|
FETCH ALL FROM c;
|
|
FETCH BACKWARD 1 FROM c;
|
|
FETCH FIRST FROM c;
|
|
ROLLBACK;
|
|
|
|
-- tidscan via CURRENT OF
|
|
BEGIN;
|
|
DECLARE c CURSOR FOR SELECT ctid, * FROM tidscan;
|
|
FETCH NEXT FROM c; -- skip one row
|
|
FETCH NEXT FROM c;
|
|
-- perform update
|
|
EXPLAIN (ANALYZE, COSTS OFF, SUMMARY OFF, TIMING OFF)
|
|
UPDATE tidscan SET id = -id WHERE CURRENT OF c RETURNING *;
|
|
FETCH NEXT FROM c;
|
|
-- perform update
|
|
EXPLAIN (ANALYZE, COSTS OFF, SUMMARY OFF, TIMING OFF)
|
|
UPDATE tidscan SET id = -id WHERE CURRENT OF c RETURNING *;
|
|
SELECT * FROM tidscan;
|
|
-- position cursor past any rows
|
|
FETCH NEXT FROM c;
|
|
-- should error out
|
|
EXPLAIN (ANALYZE, COSTS OFF, SUMMARY OFF, TIMING OFF)
|
|
UPDATE tidscan SET id = -id WHERE CURRENT OF c RETURNING *;
|
|
ROLLBACK;
|
|
|
|
-- bulk joins on CTID
|
|
-- (these plans don't use TID scans, but this still seems like an
|
|
-- appropriate place for these tests)
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT count(*) FROM tenk1 t1 JOIN tenk1 t2 ON t1.ctid = t2.ctid;
|
|
SELECT count(*) FROM tenk1 t1 JOIN tenk1 t2 ON t1.ctid = t2.ctid;
|
|
SET enable_hashjoin TO off;
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT count(*) FROM tenk1 t1 JOIN tenk1 t2 ON t1.ctid = t2.ctid;
|
|
SELECT count(*) FROM tenk1 t1 JOIN tenk1 t2 ON t1.ctid = t2.ctid;
|
|
RESET enable_hashjoin;
|
|
|
|
-- check predicate lock on CTID
|
|
BEGIN ISOLATION LEVEL SERIALIZABLE;
|
|
SELECT * FROM tidscan WHERE ctid = '(0,1)';
|
|
-- locktype should be 'tuple'
|
|
SELECT locktype, mode FROM pg_locks WHERE pid = pg_backend_pid() AND mode = 'SIReadLock';
|
|
ROLLBACK;
|
|
|
|
DROP TABLE tidscan;
|