mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-27 05:37:19 +02:00
234 lines
5.8 KiB
Plaintext
234 lines
5.8 KiB
Plaintext
|
Parsed test spec with 2 sessions
|
||
|
|
||
|
starting permutation: s1_begin s1_tuplock1 s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_tuplock1: SELECT * FROM multixact_conflict FOR KEY SHARE;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+-----------------
|
||
|
(0,1) |f |{"For Key Share"}
|
||
|
(0,2) |f |{"For Key Share"}
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_tuplock2 s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_tuplock2: SELECT * FROM multixact_conflict FOR SHARE;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+-------------
|
||
|
(0,1) |f |{"For Share"}
|
||
|
(0,2) |f |{"For Share"}
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_tuplock3 s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_tuplock3: SELECT * FROM multixact_conflict FOR NO KEY UPDATE;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+---------------------
|
||
|
(0,1) |f |{"For No Key Update"}
|
||
|
(0,2) |f |{"For No Key Update"}
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_tuplock4 s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_tuplock4: SELECT * FROM multixact_conflict FOR UPDATE;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+--------------
|
||
|
(0,1) |f |{"For Update"}
|
||
|
(0,2) |f |{"For Update"}
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_updatea s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_updatea: UPDATE multixact_conflict SET a = 10 WHERE a = 1;
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+--------
|
||
|
(0,1) |f |{Update}
|
||
|
(1 row)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_updateb s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_updateb: UPDATE multixact_conflict SET b = 11 WHERE b = 4;
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+-----------------
|
||
|
(0,2) |f |{"No Key Update"}
|
||
|
(1 row)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_lcksvpt s1_tuplock1 s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_lcksvpt: SELECT * FROM multixact_conflict FOR KEY SHARE; SAVEPOINT s;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_tuplock1: SELECT * FROM multixact_conflict FOR KEY SHARE;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+-----------------
|
||
|
(0,1) |f |{"For Key Share"}
|
||
|
(0,2) |f |{"For Key Share"}
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_lcksvpt s1_tuplock2 s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_lcksvpt: SELECT * FROM multixact_conflict FOR KEY SHARE; SAVEPOINT s;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_tuplock2: SELECT * FROM multixact_conflict FOR SHARE;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+-------------------
|
||
|
(0,1) |t |{"Key Share",Share}
|
||
|
(0,2) |t |{"Key Share",Share}
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_lcksvpt s1_tuplock3 s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_lcksvpt: SELECT * FROM multixact_conflict FOR KEY SHARE; SAVEPOINT s;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_tuplock3: SELECT * FROM multixact_conflict FOR NO KEY UPDATE;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+---------------------------------
|
||
|
(0,1) |t |{"Key Share","For No Key Update"}
|
||
|
(0,2) |t |{"Key Share","For No Key Update"}
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_lcksvpt s1_tuplock4 s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_lcksvpt: SELECT * FROM multixact_conflict FOR KEY SHARE; SAVEPOINT s;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_tuplock4: SELECT * FROM multixact_conflict FOR UPDATE;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+--------------------------
|
||
|
(0,1) |t |{"Key Share","For Update"}
|
||
|
(0,2) |t |{"Key Share","For Update"}
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_lcksvpt s1_updatea s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_lcksvpt: SELECT * FROM multixact_conflict FOR KEY SHARE; SAVEPOINT s;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_updatea: UPDATE multixact_conflict SET a = 10 WHERE a = 1;
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+--------------------
|
||
|
(0,1) |t |{"Key Share",Update}
|
||
|
(0,2) |f |{"For Key Share"}
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_commit: COMMIT;
|
||
|
|
||
|
starting permutation: s1_begin s1_lcksvpt s1_updateb s2_rowlocks s1_commit
|
||
|
step s1_begin: BEGIN;
|
||
|
step s1_lcksvpt: SELECT * FROM multixact_conflict FOR KEY SHARE; SAVEPOINT s;
|
||
|
a|b
|
||
|
-+-
|
||
|
1|2
|
||
|
3|4
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_updateb: UPDATE multixact_conflict SET b = 11 WHERE b = 4;
|
||
|
step s2_rowlocks: SELECT locked_row, multi, modes FROM pgrowlocks('multixact_conflict');
|
||
|
locked_row|multi|modes
|
||
|
----------+-----+-----------------------------
|
||
|
(0,1) |f |{"For Key Share"}
|
||
|
(0,2) |t |{"Key Share","No Key Update"}
|
||
|
(2 rows)
|
||
|
|
||
|
step s1_commit: COMMIT;
|