blob: bdd26bac6cf3089243fb4326cef595161cc9216b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
|
Parsed test spec with 2 sessions
starting permutation: s1brr s2brc s2ip2 s1sp s2c s1sp s1ifp2 s1c s1sfp
step s1brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s2brc: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2ip2: INSERT INTO pk_noparted VALUES (2);
step s1sp: SELECT * FROM pk_noparted;
a
-
1
(1 row)
step s2c: COMMIT;
step s1sp: SELECT * FROM pk_noparted;
a
-
1
(1 row)
step s1ifp2: INSERT INTO fk_parted_pk VALUES (2);
ERROR: insert or update on table "fk_parted_pk_2" violates foreign key constraint "fk_parted_pk_a_fkey"
step s1c: COMMIT;
step s1sfp: SELECT * FROM fk_parted_pk;
a
-
1
(1 row)
starting permutation: s2ip2 s2brr s1brc s1ifp2 s2sfp s1c s2sfp s2ifn2 s2c s2sfn
step s2ip2: INSERT INTO pk_noparted VALUES (2);
step s2brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s1brc: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1ifp2: INSERT INTO fk_parted_pk VALUES (2);
step s2sfp: SELECT * FROM fk_parted_pk;
a
-
1
(1 row)
step s1c: COMMIT;
step s2sfp: SELECT * FROM fk_parted_pk;
a
-
1
(1 row)
step s2ifn2: INSERT INTO fk_noparted VALUES (2);
step s2c: COMMIT;
step s2sfn: SELECT * FROM fk_noparted;
a
-
1
2
(2 rows)
starting permutation: s1brc s2brc s2ip2 s1sp s2c s1sp s1ifp2 s2brc s2sfp s1c s1sfp s2ifn2 s2c s2sfn
step s1brc: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2brc: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2ip2: INSERT INTO pk_noparted VALUES (2);
step s1sp: SELECT * FROM pk_noparted;
a
-
1
(1 row)
step s2c: COMMIT;
step s1sp: SELECT * FROM pk_noparted;
a
-
1
2
(2 rows)
step s1ifp2: INSERT INTO fk_parted_pk VALUES (2);
step s2brc: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2sfp: SELECT * FROM fk_parted_pk;
a
-
1
(1 row)
step s1c: COMMIT;
step s1sfp: SELECT * FROM fk_parted_pk;
a
-
1
2
(2 rows)
step s2ifn2: INSERT INTO fk_noparted VALUES (2);
step s2c: COMMIT;
step s2sfn: SELECT * FROM fk_noparted;
a
-
1
2
(2 rows)
starting permutation: s1brr s1dfp s1ifp1 s1c s1sfn
step s1brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s1dfp: DELETE FROM fk_parted_pk WHERE a = 1;
step s1ifp1: INSERT INTO fk_parted_pk VALUES (1);
step s1c: COMMIT;
step s1sfn: SELECT * FROM fk_noparted;
a
-
1
(1 row)
starting permutation: s1brc s1dfp s1ifp1 s1c s1sfn
step s1brc: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1dfp: DELETE FROM fk_parted_pk WHERE a = 1;
step s1ifp1: INSERT INTO fk_parted_pk VALUES (1);
step s1c: COMMIT;
step s1sfn: SELECT * FROM fk_noparted;
a
-
1
(1 row)
starting permutation: s2ip2 s1brr s1ifp2 s2brr s2dp2 s1c s2c
step s2ip2: INSERT INTO pk_noparted VALUES (2);
step s1brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s1ifp2: INSERT INTO fk_parted_pk VALUES (2);
step s2brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s2dp2: DELETE FROM pk_noparted WHERE a = 2; <waiting ...>
step s1c: COMMIT;
step s2dp2: <... completed>
ERROR: could not serialize access due to concurrent update
step s2c: COMMIT;
starting permutation: s2ip2 s1brr s1ifn2 s2brr s2dp2 s1c s2c
step s2ip2: INSERT INTO pk_noparted VALUES (2);
step s1brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s1ifn2: INSERT INTO fk_noparted_sn VALUES (2);
step s2brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s2dp2: DELETE FROM pk_noparted WHERE a = 2; <waiting ...>
step s1c: COMMIT;
step s2dp2: <... completed>
ERROR: could not serialize access due to concurrent update
step s2c: COMMIT;
|
