1Parsed test spec with 2 sessions
2
3starting permutation: s1s s1u s1r s1l s1c s2l s2c
4step s1s: SAVEPOINT f;
5step s1u: UPDATE foo SET key = 2;
6step s1r: ROLLBACK TO f;
7step s1l: SELECT * FROM foo FOR KEY SHARE;
8key            value
9
101              1
11step s1c: COMMIT;
12step s2l: SELECT * FROM foo FOR KEY SHARE;
13key            value
14
151              1
16step s2c: COMMIT;
17
18starting permutation: s1s s1u s1r s1l s2l s1c s2c
19step s1s: SAVEPOINT f;
20step s1u: UPDATE foo SET key = 2;
21step s1r: ROLLBACK TO f;
22step s1l: SELECT * FROM foo FOR KEY SHARE;
23key            value
24
251              1
26step s2l: SELECT * FROM foo FOR KEY SHARE;
27key            value
28
291              1
30step s1c: COMMIT;
31step s2c: COMMIT;
32
33starting permutation: s1s s1u s1r s1l s2l s2c s1c
34step s1s: SAVEPOINT f;
35step s1u: UPDATE foo SET key = 2;
36step s1r: ROLLBACK TO f;
37step s1l: SELECT * FROM foo FOR KEY SHARE;
38key            value
39
401              1
41step s2l: SELECT * FROM foo FOR KEY SHARE;
42key            value
43
441              1
45step s2c: COMMIT;
46step s1c: COMMIT;
47
48starting permutation: s1s s1u s1r s2l s1l s1c s2c
49step s1s: SAVEPOINT f;
50step s1u: UPDATE foo SET key = 2;
51step s1r: ROLLBACK TO f;
52step s2l: SELECT * FROM foo FOR KEY SHARE;
53key            value
54
551              1
56step s1l: SELECT * FROM foo FOR KEY SHARE;
57key            value
58
591              1
60step s1c: COMMIT;
61step s2c: COMMIT;
62
63starting permutation: s1s s1u s1r s2l s1l s2c s1c
64step s1s: SAVEPOINT f;
65step s1u: UPDATE foo SET key = 2;
66step s1r: ROLLBACK TO f;
67step s2l: SELECT * FROM foo FOR KEY SHARE;
68key            value
69
701              1
71step s1l: SELECT * FROM foo FOR KEY SHARE;
72key            value
73
741              1
75step s2c: COMMIT;
76step s1c: COMMIT;
77
78starting permutation: s1s s1u s1r s2l s2c s1l s1c
79step s1s: SAVEPOINT f;
80step s1u: UPDATE foo SET key = 2;
81step s1r: ROLLBACK TO f;
82step s2l: SELECT * FROM foo FOR KEY SHARE;
83key            value
84
851              1
86step s2c: COMMIT;
87step s1l: SELECT * FROM foo FOR KEY SHARE;
88key            value
89
901              1
91step s1c: COMMIT;
92
93starting permutation: s1s s1u s2l s1r s1l s1c s2c
94step s1s: SAVEPOINT f;
95step s1u: UPDATE foo SET key = 2;
96step s2l: SELECT * FROM foo FOR KEY SHARE; <waiting ...>
97step s1r: ROLLBACK TO f;
98step s2l: <... completed>
99key            value
100
1011              1
102step s1l: SELECT * FROM foo FOR KEY SHARE;
103key            value
104
1051              1
106step s1c: COMMIT;
107step s2c: COMMIT;
108
109starting permutation: s1s s1u s2l s1r s1l s2c s1c
110step s1s: SAVEPOINT f;
111step s1u: UPDATE foo SET key = 2;
112step s2l: SELECT * FROM foo FOR KEY SHARE; <waiting ...>
113step s1r: ROLLBACK TO f;
114step s2l: <... completed>
115key            value
116
1171              1
118step s1l: SELECT * FROM foo FOR KEY SHARE;
119key            value
120
1211              1
122step s2c: COMMIT;
123step s1c: COMMIT;
124
125starting permutation: s1s s1u s2l s1r s2c s1l s1c
126step s1s: SAVEPOINT f;
127step s1u: UPDATE foo SET key = 2;
128step s2l: SELECT * FROM foo FOR KEY SHARE; <waiting ...>
129step s1r: ROLLBACK TO f;
130step s2l: <... completed>
131key            value
132
1331              1
134step s2c: COMMIT;
135step s1l: SELECT * FROM foo FOR KEY SHARE;
136key            value
137
1381              1
139step s1c: COMMIT;
140
141starting permutation: s1s s2l s1u s2c s1r s1l s1c
142step s1s: SAVEPOINT f;
143step s2l: SELECT * FROM foo FOR KEY SHARE;
144key            value
145
1461              1
147step s1u: UPDATE foo SET key = 2; <waiting ...>
148step s2c: COMMIT;
149step s1u: <... completed>
150error in steps s2c s1u: ERROR:  could not serialize access due to concurrent update
151step s1r: ROLLBACK TO f;
152step s1l: SELECT * FROM foo FOR KEY SHARE;
153key            value
154
1551              1
156step s1c: COMMIT;
157
158starting permutation: s1s s2l s2c s1u s1r s1l s1c
159step s1s: SAVEPOINT f;
160step s2l: SELECT * FROM foo FOR KEY SHARE;
161key            value
162
1631              1
164step s2c: COMMIT;
165step s1u: UPDATE foo SET key = 2;
166step s1r: ROLLBACK TO f;
167step s1l: SELECT * FROM foo FOR KEY SHARE;
168key            value
169
1701              1
171step s1c: COMMIT;
172
173starting permutation: s2l s1s s1u s2c s1r s1l s1c
174step s2l: SELECT * FROM foo FOR KEY SHARE;
175key            value
176
1771              1
178step s1s: SAVEPOINT f;
179step s1u: UPDATE foo SET key = 2; <waiting ...>
180step s2c: COMMIT;
181step s1u: <... completed>
182error in steps s2c s1u: ERROR:  could not serialize access due to concurrent update
183step s1r: ROLLBACK TO f;
184step s1l: SELECT * FROM foo FOR KEY SHARE;
185key            value
186
1871              1
188step s1c: COMMIT;
189
190starting permutation: s2l s1s s2c s1u s1r s1l s1c
191step s2l: SELECT * FROM foo FOR KEY SHARE;
192key            value
193
1941              1
195step s1s: SAVEPOINT f;
196step s2c: COMMIT;
197step s1u: UPDATE foo SET key = 2;
198step s1r: ROLLBACK TO f;
199step s1l: SELECT * FROM foo FOR KEY SHARE;
200key            value
201
2021              1
203step s1c: COMMIT;
204
205starting permutation: s2l s2c s1s s1u s1r s1l s1c
206step s2l: SELECT * FROM foo FOR KEY SHARE;
207key            value
208
2091              1
210step s2c: COMMIT;
211step s1s: SAVEPOINT f;
212step s1u: UPDATE foo SET key = 2;
213step s1r: ROLLBACK TO f;
214step s1l: SELECT * FROM foo FOR KEY SHARE;
215key            value
216
2171              1
218step s1c: COMMIT;
219