1Parsed test spec with 2 sessions
2
3starting permutation: s1b s2b s1u s1c s2d s2c
4step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
5step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
6step s1u: UPDATE foo SET a=2 WHERE a=1;
7step s1c: COMMIT;
8step s2d: DELETE FROM foo WHERE a=1;
9step s2c: COMMIT;
10
11starting permutation: s1b s2b s1u s2d s1c s2c
12step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
13step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
14step s1u: UPDATE foo SET a=2 WHERE a=1;
15step s2d: DELETE FROM foo WHERE a=1; <waiting ...>
16step s1c: COMMIT;
17step s2d: <... completed>
18ERROR:  tuple to be locked was already moved to another partition due to concurrent update
19step s2c: COMMIT;
20
21starting permutation: s1b s2b s1u s2u s1c s2c
22step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
23step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
24step s1u: UPDATE foo SET a=2 WHERE a=1;
25step s2u: UPDATE foo SET b='EFG' WHERE a=1; <waiting ...>
26step s1c: COMMIT;
27step s2u: <... completed>
28ERROR:  tuple to be locked was already moved to another partition due to concurrent update
29step s2c: COMMIT;
30
31starting permutation: s1b s2b s2d s1u s2c s1c
32step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
33step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
34step s2d: DELETE FROM foo WHERE a=1;
35step s1u: UPDATE foo SET a=2 WHERE a=1; <waiting ...>
36step s2c: COMMIT;
37step s1u: <... completed>
38step s1c: COMMIT;
39
40starting permutation: s1b s2b s1u2 s1c s2u2 s2c
41step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
42step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
43step s1u2: UPDATE footrg SET b='EFG' WHERE a=1;
44step s1c: COMMIT;
45step s2u2: UPDATE footrg SET b='XYZ' WHERE a=1;
46step s2c: COMMIT;
47
48starting permutation: s1b s2b s1u2 s2u2 s1c s2c
49step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
50step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
51step s1u2: UPDATE footrg SET b='EFG' WHERE a=1;
52step s2u2: UPDATE footrg SET b='XYZ' WHERE a=1; <waiting ...>
53step s1c: COMMIT;
54step s2u2: <... completed>
55ERROR:  tuple to be locked was already moved to another partition due to concurrent update
56step s2c: COMMIT;
57
58starting permutation: s1b s2b s2u2 s1u2 s2c s1c
59step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
60step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
61step s2u2: UPDATE footrg SET b='XYZ' WHERE a=1;
62step s1u2: UPDATE footrg SET b='EFG' WHERE a=1; <waiting ...>
63step s2c: COMMIT;
64step s1u2: <... completed>
65ERROR:  tuple to be locked was already moved to another partition due to concurrent update
66step s1c: COMMIT;
67
68starting permutation: s1b s2b s1u3pc s2i s1c s2c
69step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
70step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
71step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7;
72step s2i: INSERT INTO bar VALUES(7); <waiting ...>
73step s1c: COMMIT;
74step s2i: <... completed>
75ERROR:  tuple to be locked was already moved to another partition due to concurrent update
76step s2c: COMMIT;
77
78starting permutation: s1b s2b s1u3pc s2i s1r s2c
79step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
80step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
81step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7;
82step s2i: INSERT INTO bar VALUES(7); <waiting ...>
83step s1r: ROLLBACK;
84step s2i: <... completed>
85step s2c: COMMIT;
86
87starting permutation: s1b s2b s1u3npc s1u3pc s2i s1c s2c
88step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
89step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
90step s1u3npc: UPDATE foo_range_parted SET b='XYZ' WHERE a=7;
91step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7;
92step s2i: INSERT INTO bar VALUES(7); <waiting ...>
93step s1c: COMMIT;
94step s2i: <... completed>
95ERROR:  tuple to be locked was already moved to another partition due to concurrent update
96step s2c: COMMIT;
97
98starting permutation: s1b s2b s1u3npc s1u3pc s2i s1r s2c
99step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
100step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
101step s1u3npc: UPDATE foo_range_parted SET b='XYZ' WHERE a=7;
102step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7;
103step s2i: INSERT INTO bar VALUES(7); <waiting ...>
104step s1r: ROLLBACK;
105step s2i: <... completed>
106step s2c: COMMIT;
107
108starting permutation: s1b s2b s1u3npc s1u3pc s1u3pc s2i s1c s2c
109step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
110step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
111step s1u3npc: UPDATE foo_range_parted SET b='XYZ' WHERE a=7;
112step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7;
113step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7;
114step s2i: INSERT INTO bar VALUES(7); <waiting ...>
115step s1c: COMMIT;
116step s2i: <... completed>
117ERROR:  tuple to be locked was already moved to another partition due to concurrent update
118step s2c: COMMIT;
119
120starting permutation: s1b s2b s1u3npc s1u3pc s1u3pc s2i s1r s2c
121step s1b: BEGIN ISOLATION LEVEL READ COMMITTED;
122step s2b: BEGIN ISOLATION LEVEL READ COMMITTED;
123step s1u3npc: UPDATE foo_range_parted SET b='XYZ' WHERE a=7;
124step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7;
125step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7;
126step s2i: INSERT INTO bar VALUES(7); <waiting ...>
127step s1r: ROLLBACK;
128step s2i: <... completed>
129step s2c: COMMIT;
130