Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content

Commit a0eae1a

Browse files
alvherrealvherre
committed
Add expected regress output on stricter isolation levels
These new files allow the new FK tests on isolationtester to pass on the serializable and repeatable read isolation levels (which are untested by the buildfarm). Author: Kevin Grittner Reviewed by Noah Misch
1 parent 7cb7122 commit a0eae1a

File tree

3 files changed

+291
-0
lines changed

3 files changed

+291
-0
lines changed

‎src/test/isolation/expected/fk-deadlock2_1.out

Lines changed: 110 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,110 @@
1+
Parsed test spec with 2 sessions
2+
3+
starting permutation: s1u1 s1u2 s1c s2u1 s2u2 s2c
4+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
5+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
6+
step s1c: COMMIT;
7+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
8+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
9+
step s2c: COMMIT;
10+
11+
starting permutation: s1u1 s1u2 s2u1 s1c s2u2 s2c
12+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
13+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
14+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
15+
step s1c: COMMIT;
16+
step s2u1: <... completed>
17+
ERROR: could not serialize access due to concurrent update
18+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
19+
ERROR: current transaction is aborted, commands ignored until end of transaction block
20+
step s2c: COMMIT;
21+
22+
starting permutation: s1u1 s2u1 s1u2 s2u2 s1c s2c
23+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
24+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
25+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
26+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
27+
step s1u2: <... completed>
28+
ERROR: deadlock detected
29+
step s1c: COMMIT;
30+
step s2c: COMMIT;
31+
32+
starting permutation: s1u1 s2u1 s1u2 s2u2 s2c s1c
33+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
34+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
35+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
36+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
37+
step s1u2: <... completed>
38+
ERROR: deadlock detected
39+
step s2c: COMMIT;
40+
step s1c: COMMIT;
41+
42+
starting permutation: s1u1 s2u1 s2u2 s1u2 s1c s2c
43+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
44+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
45+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
46+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
47+
ERROR: deadlock detected
48+
step s2u2: <... completed>
49+
step s1c: COMMIT;
50+
step s2c: COMMIT;
51+
52+
starting permutation: s1u1 s2u1 s2u2 s1u2 s2c s1c
53+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
54+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
55+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
56+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
57+
ERROR: deadlock detected
58+
step s2u2: <... completed>
59+
step s2c: COMMIT;
60+
step s1c: COMMIT;
61+
62+
starting permutation: s2u1 s1u1 s1u2 s2u2 s1c s2c
63+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
64+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
65+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
66+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
67+
step s1u2: <... completed>
68+
ERROR: deadlock detected
69+
step s1c: COMMIT;
70+
step s2c: COMMIT;
71+
72+
starting permutation: s2u1 s1u1 s1u2 s2u2 s2c s1c
73+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
74+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
75+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
76+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
77+
step s1u2: <... completed>
78+
ERROR: deadlock detected
79+
step s2c: COMMIT;
80+
step s1c: COMMIT;
81+
82+
starting permutation: s2u1 s1u1 s2u2 s1u2 s1c s2c
83+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
84+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
85+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
86+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
87+
ERROR: deadlock detected
88+
step s2u2: <... completed>
89+
step s1c: COMMIT;
90+
step s2c: COMMIT;
91+
92+
starting permutation: s2u1 s1u1 s2u2 s1u2 s2c s1c
93+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
94+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
95+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
96+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
97+
ERROR: deadlock detected
98+
step s2u2: <... completed>
99+
step s2c: COMMIT;
100+
step s1c: COMMIT;
101+
102+
starting permutation: s2u1 s2u2 s1u1 s2c s1u2 s1c
103+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
104+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
105+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1; <waiting ...>
106+
step s2c: COMMIT;
107+
step s1u1: <... completed>
108+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
109+
ERROR: could not serialize access due to read/write dependencies among transactions
110+
step s1c: COMMIT;

‎src/test/isolation/expected/fk-deadlock2_2.out

Lines changed: 110 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,110 @@
1+
Parsed test spec with 2 sessions
2+
3+
starting permutation: s1u1 s1u2 s1c s2u1 s2u2 s2c
4+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
5+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
6+
step s1c: COMMIT;
7+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
8+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
9+
step s2c: COMMIT;
10+
11+
starting permutation: s1u1 s1u2 s2u1 s1c s2u2 s2c
12+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
13+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
14+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
15+
step s1c: COMMIT;
16+
step s2u1: <... completed>
17+
ERROR: could not serialize access due to concurrent update
18+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
19+
ERROR: current transaction is aborted, commands ignored until end of transaction block
20+
step s2c: COMMIT;
21+
22+
starting permutation: s1u1 s2u1 s1u2 s2u2 s1c s2c
23+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
24+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
25+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
26+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
27+
step s1u2: <... completed>
28+
ERROR: deadlock detected
29+
step s1c: COMMIT;
30+
step s2c: COMMIT;
31+
32+
starting permutation: s1u1 s2u1 s1u2 s2u2 s2c s1c
33+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
34+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
35+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
36+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
37+
step s1u2: <... completed>
38+
ERROR: deadlock detected
39+
step s2c: COMMIT;
40+
step s1c: COMMIT;
41+
42+
starting permutation: s1u1 s2u1 s2u2 s1u2 s1c s2c
43+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
44+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
45+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
46+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
47+
ERROR: deadlock detected
48+
step s2u2: <... completed>
49+
step s1c: COMMIT;
50+
step s2c: COMMIT;
51+
52+
starting permutation: s1u1 s2u1 s2u2 s1u2 s2c s1c
53+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
54+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
55+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
56+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
57+
ERROR: deadlock detected
58+
step s2u2: <... completed>
59+
step s2c: COMMIT;
60+
step s1c: COMMIT;
61+
62+
starting permutation: s2u1 s1u1 s1u2 s2u2 s1c s2c
63+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
64+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
65+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
66+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
67+
step s1u2: <... completed>
68+
ERROR: deadlock detected
69+
step s1c: COMMIT;
70+
step s2c: COMMIT;
71+
72+
starting permutation: s2u1 s1u1 s1u2 s2u2 s2c s1c
73+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
74+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
75+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
76+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
77+
step s1u2: <... completed>
78+
ERROR: deadlock detected
79+
step s2c: COMMIT;
80+
step s1c: COMMIT;
81+
82+
starting permutation: s2u1 s1u1 s2u2 s1u2 s1c s2c
83+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
84+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
85+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
86+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
87+
ERROR: deadlock detected
88+
step s2u2: <... completed>
89+
step s1c: COMMIT;
90+
step s2c: COMMIT;
91+
92+
starting permutation: s2u1 s1u1 s2u2 s1u2 s2c s1c
93+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
94+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1;
95+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2; <waiting ...>
96+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
97+
ERROR: deadlock detected
98+
step s2u2: <... completed>
99+
step s2c: COMMIT;
100+
step s1c: COMMIT;
101+
102+
starting permutation: s2u1 s2u2 s1u1 s2c s1u2 s1c
103+
step s2u1: UPDATE B SET Col2 = 1 WHERE BID = 2;
104+
step s2u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
105+
step s1u1: UPDATE A SET Col1 = 1 WHERE AID = 1; <waiting ...>
106+
step s2c: COMMIT;
107+
step s1u1: <... completed>
108+
step s1u2: UPDATE B SET Col2 = 1 WHERE BID = 2;
109+
ERROR: could not serialize access due to concurrent update
110+
step s1c: COMMIT;

‎src/test/isolation/expected/fk-deadlock_1.out

Lines changed: 71 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,71 @@
1+
Parsed test spec with 2 sessions
2+
3+
starting permutation: s1i s1u s1c s2i s2u s2c
4+
step s1i: INSERT INTO child VALUES (1, 1);
5+
step s1u: UPDATE parent SET aux = 'bar';
6+
step s1c: COMMIT;
7+
step s2i: INSERT INTO child VALUES (2, 1);
8+
step s2u: UPDATE parent SET aux = 'baz';
9+
step s2c: COMMIT;
10+
11+
starting permutation: s1i s1u s2i s1c s2u s2c
12+
step s1i: INSERT INTO child VALUES (1, 1);
13+
step s1u: UPDATE parent SET aux = 'bar';
14+
step s2i: INSERT INTO child VALUES (2, 1); <waiting ...>
15+
step s1c: COMMIT;
16+
step s2i: <... completed>
17+
ERROR: could not serialize access due to concurrent update
18+
step s2u: UPDATE parent SET aux = 'baz';
19+
ERROR: current transaction is aborted, commands ignored until end of transaction block
20+
step s2c: COMMIT;
21+
22+
starting permutation: s1i s2i s1u s2u s1c s2c
23+
step s1i: INSERT INTO child VALUES (1, 1);
24+
step s2i: INSERT INTO child VALUES (2, 1);
25+
step s1u: UPDATE parent SET aux = 'bar'; <waiting ...>
26+
step s2u: UPDATE parent SET aux = 'baz';
27+
step s1u: <... completed>
28+
ERROR: deadlock detected
29+
step s1c: COMMIT;
30+
step s2c: COMMIT;
31+
32+
starting permutation: s1i s2i s2u s1u s2c s1c
33+
step s1i: INSERT INTO child VALUES (1, 1);
34+
step s2i: INSERT INTO child VALUES (2, 1);
35+
step s2u: UPDATE parent SET aux = 'baz'; <waiting ...>
36+
step s1u: UPDATE parent SET aux = 'bar';
37+
ERROR: deadlock detected
38+
step s2u: <... completed>
39+
step s2c: COMMIT;
40+
step s1c: COMMIT;
41+
42+
starting permutation: s2i s1i s1u s2u s1c s2c
43+
step s2i: INSERT INTO child VALUES (2, 1);
44+
step s1i: INSERT INTO child VALUES (1, 1);
45+
step s1u: UPDATE parent SET aux = 'bar'; <waiting ...>
46+
step s2u: UPDATE parent SET aux = 'baz';
47+
step s1u: <... completed>
48+
ERROR: deadlock detected
49+
step s1c: COMMIT;
50+
step s2c: COMMIT;
51+
52+
starting permutation: s2i s1i s2u s1u s2c s1c
53+
step s2i: INSERT INTO child VALUES (2, 1);
54+
step s1i: INSERT INTO child VALUES (1, 1);
55+
step s2u: UPDATE parent SET aux = 'baz'; <waiting ...>
56+
step s1u: UPDATE parent SET aux = 'bar';
57+
ERROR: deadlock detected
58+
step s2u: <... completed>
59+
step s2c: COMMIT;
60+
step s1c: COMMIT;
61+
62+
starting permutation: s2i s2u s1i s2c s1u s1c
63+
step s2i: INSERT INTO child VALUES (2, 1);
64+
step s2u: UPDATE parent SET aux = 'baz';
65+
step s1i: INSERT INTO child VALUES (1, 1); <waiting ...>
66+
step s2c: COMMIT;
67+
step s1i: <... completed>
68+
ERROR: could not serialize access due to concurrent update
69+
step s1u: UPDATE parent SET aux = 'bar';
70+
ERROR: current transaction is aborted, commands ignored until end of transaction block
71+
step s1c: COMMIT;

0 commit comments

Comments
 (0)