blob: 5faf80d6ce0e4cd292ba3788dbbd5ef4fd689447 (
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
|
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)
|
