mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-10-02 19:36:52 +02:00
03030512d1
Also add regression test cases for detecting infinite recursion in locking view tests. Some document enhancements. Patch by Yugo Nagata.
177 lines
5.1 KiB
Plaintext
177 lines
5.1 KiB
Plaintext
--
|
|
-- Test the LOCK statement
|
|
--
|
|
-- Setup
|
|
CREATE SCHEMA lock_schema1;
|
|
SET search_path = lock_schema1;
|
|
CREATE TABLE lock_tbl1 (a BIGINT);
|
|
CREATE TABLE lock_tbl1a (a BIGINT);
|
|
CREATE VIEW lock_view1 AS SELECT * FROM lock_tbl1;
|
|
CREATE VIEW lock_view2(a,b) AS SELECT * FROM lock_tbl1, lock_tbl1a;
|
|
CREATE VIEW lock_view3 AS SELECT * from lock_view2;
|
|
CREATE VIEW lock_view4 AS SELECT (select a from lock_tbl1a limit 1) from lock_tbl1;
|
|
CREATE VIEW lock_view5 AS SELECT * from lock_tbl1 where a in (select * from lock_tbl1a);
|
|
CREATE VIEW lock_view6 AS SELECT * from (select * from lock_tbl1) sub;
|
|
CREATE ROLE regress_rol_lock1;
|
|
ALTER ROLE regress_rol_lock1 SET search_path = lock_schema1;
|
|
GRANT USAGE ON SCHEMA lock_schema1 TO regress_rol_lock1;
|
|
-- Try all valid lock options; also try omitting the optional TABLE keyword.
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_tbl1 IN ACCESS SHARE MODE;
|
|
LOCK lock_tbl1 IN ROW SHARE MODE;
|
|
LOCK TABLE lock_tbl1 IN ROW EXCLUSIVE MODE;
|
|
LOCK TABLE lock_tbl1 IN SHARE UPDATE EXCLUSIVE MODE;
|
|
LOCK TABLE lock_tbl1 IN SHARE MODE;
|
|
LOCK lock_tbl1 IN SHARE ROW EXCLUSIVE MODE;
|
|
LOCK TABLE lock_tbl1 IN EXCLUSIVE MODE;
|
|
LOCK TABLE lock_tbl1 IN ACCESS EXCLUSIVE MODE;
|
|
ROLLBACK;
|
|
-- Try using NOWAIT along with valid options.
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_tbl1 IN ACCESS SHARE MODE NOWAIT;
|
|
LOCK TABLE lock_tbl1 IN ROW SHARE MODE NOWAIT;
|
|
LOCK TABLE lock_tbl1 IN ROW EXCLUSIVE MODE NOWAIT;
|
|
LOCK TABLE lock_tbl1 IN SHARE UPDATE EXCLUSIVE MODE NOWAIT;
|
|
LOCK TABLE lock_tbl1 IN SHARE MODE NOWAIT;
|
|
LOCK TABLE lock_tbl1 IN SHARE ROW EXCLUSIVE MODE NOWAIT;
|
|
LOCK TABLE lock_tbl1 IN EXCLUSIVE MODE NOWAIT;
|
|
LOCK TABLE lock_tbl1 IN ACCESS EXCLUSIVE MODE NOWAIT;
|
|
ROLLBACK;
|
|
-- Verify that we can lock views.
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_view1 IN EXCLUSIVE MODE;
|
|
-- lock_view1 and lock_tbl1 are locked.
|
|
select relname from pg_locks l, pg_class c
|
|
where l.relation = c.oid and relname like '%lock_%' and mode = 'ExclusiveLock'
|
|
order by relname;
|
|
relname
|
|
------------
|
|
lock_tbl1
|
|
lock_view1
|
|
(2 rows)
|
|
|
|
ROLLBACK;
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_view2 IN EXCLUSIVE MODE;
|
|
-- lock_view1, lock_tbl1, and lock_tbl1a are locked.
|
|
select relname from pg_locks l, pg_class c
|
|
where l.relation = c.oid and relname like '%lock_%' and mode = 'ExclusiveLock'
|
|
order by relname;
|
|
relname
|
|
------------
|
|
lock_tbl1
|
|
lock_tbl1a
|
|
lock_view2
|
|
(3 rows)
|
|
|
|
ROLLBACK;
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_view3 IN EXCLUSIVE MODE;
|
|
-- lock_view3, lock_view2, lock_tbl1, and lock_tbl1a are locked recursively.
|
|
select relname from pg_locks l, pg_class c
|
|
where l.relation = c.oid and relname like '%lock_%' and mode = 'ExclusiveLock'
|
|
order by relname;
|
|
relname
|
|
------------
|
|
lock_tbl1
|
|
lock_tbl1a
|
|
lock_view2
|
|
lock_view3
|
|
(4 rows)
|
|
|
|
ROLLBACK;
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_view4 IN EXCLUSIVE MODE;
|
|
-- lock_view4, lock_tbl1, and lock_tbl1a are locked.
|
|
select relname from pg_locks l, pg_class c
|
|
where l.relation = c.oid and relname like '%lock_%' and mode = 'ExclusiveLock'
|
|
order by relname;
|
|
relname
|
|
------------
|
|
lock_tbl1
|
|
lock_tbl1a
|
|
lock_view4
|
|
(3 rows)
|
|
|
|
ROLLBACK;
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_view5 IN EXCLUSIVE MODE;
|
|
-- lock_view5, lock_tbl1, and lock_tbl1a are locked.
|
|
select relname from pg_locks l, pg_class c
|
|
where l.relation = c.oid and relname like '%lock_%' and mode = 'ExclusiveLock'
|
|
order by relname;
|
|
relname
|
|
------------
|
|
lock_tbl1
|
|
lock_tbl1a
|
|
lock_view5
|
|
(3 rows)
|
|
|
|
ROLLBACK;
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_view6 IN EXCLUSIVE MODE;
|
|
-- lock_view6 an lock_tbl1 are locked.
|
|
select relname from pg_locks l, pg_class c
|
|
where l.relation = c.oid and relname like '%lock_%' and mode = 'ExclusiveLock'
|
|
order by relname;
|
|
relname
|
|
------------
|
|
lock_tbl1
|
|
lock_view6
|
|
(2 rows)
|
|
|
|
ROLLBACK;
|
|
-- detecting infinite recursions in view definitions
|
|
CREATE OR REPLACE VIEW lock_view2 AS SELECT * from lock_view3;
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_view2 IN EXCLUSIVE MODE;
|
|
ERROR: infinite recursion detected in rules for relation "lock_view2"
|
|
ROLLBACK;
|
|
CREATE VIEW lock_view7 AS SELECT * from lock_view2;
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_view7 IN EXCLUSIVE MODE;
|
|
ERROR: infinite recursion detected in rules for relation "lock_view2"
|
|
ROLLBACK;
|
|
-- Verify that we can lock a table with inheritance children.
|
|
CREATE TABLE lock_tbl2 (b BIGINT) INHERITS (lock_tbl1);
|
|
CREATE TABLE lock_tbl3 () INHERITS (lock_tbl2);
|
|
BEGIN TRANSACTION;
|
|
LOCK TABLE lock_tbl1 * IN ACCESS EXCLUSIVE MODE;
|
|
ROLLBACK;
|
|
-- Verify that we can't lock a child table just because we have permission
|
|
-- on the parent, but that we can lock the parent only.
|
|
GRANT UPDATE ON TABLE lock_tbl1 TO regress_rol_lock1;
|
|
SET ROLE regress_rol_lock1;
|
|
BEGIN;
|
|
LOCK TABLE lock_tbl1 * IN ACCESS EXCLUSIVE MODE;
|
|
ERROR: permission denied for table lock_tbl2
|
|
ROLLBACK;
|
|
BEGIN;
|
|
LOCK TABLE ONLY lock_tbl1;
|
|
ROLLBACK;
|
|
RESET ROLE;
|
|
--
|
|
-- Clean up
|
|
--
|
|
DROP VIEW lock_view7;
|
|
DROP VIEW lock_view6;
|
|
DROP VIEW lock_view5;
|
|
DROP VIEW lock_view4;
|
|
DROP VIEW lock_view3 CASCADE;
|
|
NOTICE: drop cascades to view lock_view2
|
|
DROP VIEW lock_view1;
|
|
DROP TABLE lock_tbl3;
|
|
DROP TABLE lock_tbl2;
|
|
DROP TABLE lock_tbl1;
|
|
DROP TABLE lock_tbl1a;
|
|
DROP SCHEMA lock_schema1 CASCADE;
|
|
DROP ROLE regress_rol_lock1;
|
|
-- atomic ops tests
|
|
RESET search_path;
|
|
SELECT test_atomic_ops();
|
|
test_atomic_ops
|
|
-----------------
|
|
t
|
|
(1 row)
|
|
|