forked from orioledb/orioledb
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathioc_deadlock.out
157 lines (131 loc) · 3.95 KB
/
ioc_deadlock.out
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
147
148
149
150
151
152
153
154
155
156
157
Parsed test spec with 4 sessions
starting permutation: s1_begin s2_begin s3_begin s4_begin s1_insert s2_insert s3_insert s4_insert s2_rollback s1_rollback s3_commit s4_commit
step s1_begin: BEGIN;
step s2_begin: BEGIN;
step s3_begin: BEGIN;
step s4_begin: BEGIN;
step s1_insert: INSERT INTO o_ioc VALUES (1, 3, 1) RETURNING *;
id1|id2|id3
---+---+---
1| 3| 1
(1 row)
step s2_insert: INSERT INTO o_ioc VALUES (2, 4, 2) RETURNING *;
id1|id2|id3
---+---+---
2| 4| 2
(1 row)
step s3_insert: INSERT INTO o_ioc VALUES (3, 3, 3) RETURNING *; <waiting ...>
step s4_insert: INSERT INTO o_ioc VALUES (3, 4, 3) ON CONFLICT (id3) DO NOTHING RETURNING *; <waiting ...>
step s2_rollback: ROLLBACK;
step s1_rollback: ROLLBACK;
step s3_insert: <... completed>
id1|id2|id3
---+---+---
3| 3| 3
(1 row)
step s3_commit: COMMIT;
step s4_insert: <... completed>
id1|id2|id3
---+---+---
(0 rows)
step s4_commit: COMMIT;
starting permutation: s1_begin s2_begin s3_begin s4_begin s1_insert s2_insert s3_insert s4_insert s1_rollback s2_rollback s3_commit s4_commit
step s1_begin: BEGIN;
step s2_begin: BEGIN;
step s3_begin: BEGIN;
step s4_begin: BEGIN;
step s1_insert: INSERT INTO o_ioc VALUES (1, 3, 1) RETURNING *;
id1|id2|id3
---+---+---
1| 3| 1
(1 row)
step s2_insert: INSERT INTO o_ioc VALUES (2, 4, 2) RETURNING *;
id1|id2|id3
---+---+---
2| 4| 2
(1 row)
step s3_insert: INSERT INTO o_ioc VALUES (3, 3, 3) RETURNING *; <waiting ...>
step s4_insert: INSERT INTO o_ioc VALUES (3, 4, 3) ON CONFLICT (id3) DO NOTHING RETURNING *; <waiting ...>
step s1_rollback: ROLLBACK;
step s3_insert: <... completed>
id1|id2|id3
---+---+---
3| 3| 3
(1 row)
step s2_rollback: ROLLBACK;
step s3_commit: COMMIT;
step s4_insert: <... completed>
id1|id2|id3
---+---+---
(0 rows)
step s4_commit: COMMIT;
starting permutation: s3_begin s3_setup s4_begin s4_setup s1_setup s3_insert s4_insert s1_release_s3 s1_release s3_commit s4_commit
step s3_begin: BEGIN;
step s3_setup:
SET orioledb.enable_stopevents = true;
SET application_name = 's3';
step s4_begin: BEGIN;
step s4_setup:
SET orioledb.enable_stopevents = true;
SET application_name = 's4';
step s1_setup: SELECT pg_stopevent_set('index_insert', 'true');
pg_stopevent_set
----------------
(1 row)
step s3_insert: INSERT INTO o_ioc VALUES (3, 3, 3) RETURNING *; <waiting ...>
step s4_insert: INSERT INTO o_ioc VALUES (3, 4, 3) ON CONFLICT (id3) DO NOTHING RETURNING *; <waiting ...>
step s1_release_s3: SELECT pg_stopevent_set('index_insert', '$applicationName == "s4"');
pg_stopevent_set
----------------
(1 row)
step s1_release: SELECT pg_stopevent_reset('index_insert');
pg_stopevent_reset
------------------
t
(1 row)
step s3_insert: <... completed>
id1|id2|id3
---+---+---
3| 3| 3
(1 row)
step s3_commit: COMMIT;
step s4_insert: <... completed>
id1|id2|id3
---+---+---
(0 rows)
step s4_commit: COMMIT;
starting permutation: s3_begin s3_setup s4_begin s4_setup s1_setup s3_insert s4_insert s1_release_s4 s1_release s3_commit s4_commit
step s3_begin: BEGIN;
step s3_setup:
SET orioledb.enable_stopevents = true;
SET application_name = 's3';
step s4_begin: BEGIN;
step s4_setup:
SET orioledb.enable_stopevents = true;
SET application_name = 's4';
step s1_setup: SELECT pg_stopevent_set('index_insert', 'true');
pg_stopevent_set
----------------
(1 row)
step s3_insert: INSERT INTO o_ioc VALUES (3, 3, 3) RETURNING *; <waiting ...>
step s4_insert: INSERT INTO o_ioc VALUES (3, 4, 3) ON CONFLICT (id3) DO NOTHING RETURNING *; <waiting ...>
step s1_release_s4: SELECT pg_stopevent_set('index_insert', '$applicationName == "s3"');
pg_stopevent_set
----------------
(1 row)
step s1_release: SELECT pg_stopevent_reset('index_insert');
pg_stopevent_reset
------------------
t
(1 row)
step s3_insert: <... completed>
id1|id2|id3
---+---+---
3| 3| 3
(1 row)
step s3_commit: COMMIT;
step s4_insert: <... completed>
id1|id2|id3
---+---+---
(0 rows)
step s4_commit: COMMIT;