1Parsed test spec with 2 sessions
2
3starting permutation: wx1 rxy1 c1 wy2 rxy2 c2
4step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
5step rxy1: SELECT SUM(balance) FROM accounts;
6 sum
7----
81000
9(1 row)
10
11step c1: COMMIT;
12step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
13step rxy2: SELECT SUM(balance) FROM accounts;
14sum
15---
16800
17(1 row)
18
19step c2: COMMIT;
20
21starting permutation: wx1 rxy1 wy2 c1 rxy2 c2
22step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
23step rxy1: SELECT SUM(balance) FROM accounts;
24 sum
25----
261000
27(1 row)
28
29step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
30step c1: COMMIT;
31step rxy2: SELECT SUM(balance) FROM accounts;
32ERROR:  could not serialize access due to read/write dependencies among transactions
33step c2: COMMIT;
34
35starting permutation: wx1 rxy1 wy2 rxy2 c1 c2
36step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
37step rxy1: SELECT SUM(balance) FROM accounts;
38 sum
39----
401000
41(1 row)
42
43step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
44step rxy2: SELECT SUM(balance) FROM accounts;
45 sum
46----
471000
48(1 row)
49
50step c1: COMMIT;
51step c2: COMMIT;
52ERROR:  could not serialize access due to read/write dependencies among transactions
53
54starting permutation: wx1 rxy1 wy2 rxy2 c2 c1
55step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
56step rxy1: SELECT SUM(balance) FROM accounts;
57 sum
58----
591000
60(1 row)
61
62step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
63step rxy2: SELECT SUM(balance) FROM accounts;
64 sum
65----
661000
67(1 row)
68
69step c2: COMMIT;
70step c1: COMMIT;
71ERROR:  could not serialize access due to read/write dependencies among transactions
72
73starting permutation: wx1 wy2 rxy1 c1 rxy2 c2
74step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
75step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
76step rxy1: SELECT SUM(balance) FROM accounts;
77 sum
78----
791000
80(1 row)
81
82step c1: COMMIT;
83step rxy2: SELECT SUM(balance) FROM accounts;
84ERROR:  could not serialize access due to read/write dependencies among transactions
85step c2: COMMIT;
86
87starting permutation: wx1 wy2 rxy1 rxy2 c1 c2
88step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
89step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
90step rxy1: SELECT SUM(balance) FROM accounts;
91 sum
92----
931000
94(1 row)
95
96step rxy2: SELECT SUM(balance) FROM accounts;
97 sum
98----
991000
100(1 row)
101
102step c1: COMMIT;
103step c2: COMMIT;
104ERROR:  could not serialize access due to read/write dependencies among transactions
105
106starting permutation: wx1 wy2 rxy1 rxy2 c2 c1
107step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
108step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
109step rxy1: SELECT SUM(balance) FROM accounts;
110 sum
111----
1121000
113(1 row)
114
115step rxy2: SELECT SUM(balance) FROM accounts;
116 sum
117----
1181000
119(1 row)
120
121step c2: COMMIT;
122step c1: COMMIT;
123ERROR:  could not serialize access due to read/write dependencies among transactions
124
125starting permutation: wx1 wy2 rxy2 rxy1 c1 c2
126step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
127step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
128step rxy2: SELECT SUM(balance) FROM accounts;
129 sum
130----
1311000
132(1 row)
133
134step rxy1: SELECT SUM(balance) FROM accounts;
135 sum
136----
1371000
138(1 row)
139
140step c1: COMMIT;
141step c2: COMMIT;
142ERROR:  could not serialize access due to read/write dependencies among transactions
143
144starting permutation: wx1 wy2 rxy2 rxy1 c2 c1
145step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
146step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
147step rxy2: SELECT SUM(balance) FROM accounts;
148 sum
149----
1501000
151(1 row)
152
153step rxy1: SELECT SUM(balance) FROM accounts;
154 sum
155----
1561000
157(1 row)
158
159step c2: COMMIT;
160step c1: COMMIT;
161ERROR:  could not serialize access due to read/write dependencies among transactions
162
163starting permutation: wx1 wy2 rxy2 c2 rxy1 c1
164step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
165step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
166step rxy2: SELECT SUM(balance) FROM accounts;
167 sum
168----
1691000
170(1 row)
171
172step c2: COMMIT;
173step rxy1: SELECT SUM(balance) FROM accounts;
174ERROR:  could not serialize access due to read/write dependencies among transactions
175step c1: COMMIT;
176
177starting permutation: wy2 wx1 rxy1 c1 rxy2 c2
178step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
179step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
180step rxy1: SELECT SUM(balance) FROM accounts;
181 sum
182----
1831000
184(1 row)
185
186step c1: COMMIT;
187step rxy2: SELECT SUM(balance) FROM accounts;
188ERROR:  could not serialize access due to read/write dependencies among transactions
189step c2: COMMIT;
190
191starting permutation: wy2 wx1 rxy1 rxy2 c1 c2
192step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
193step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
194step rxy1: SELECT SUM(balance) FROM accounts;
195 sum
196----
1971000
198(1 row)
199
200step rxy2: SELECT SUM(balance) FROM accounts;
201 sum
202----
2031000
204(1 row)
205
206step c1: COMMIT;
207step c2: COMMIT;
208ERROR:  could not serialize access due to read/write dependencies among transactions
209
210starting permutation: wy2 wx1 rxy1 rxy2 c2 c1
211step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
212step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
213step rxy1: SELECT SUM(balance) FROM accounts;
214 sum
215----
2161000
217(1 row)
218
219step rxy2: SELECT SUM(balance) FROM accounts;
220 sum
221----
2221000
223(1 row)
224
225step c2: COMMIT;
226step c1: COMMIT;
227ERROR:  could not serialize access due to read/write dependencies among transactions
228
229starting permutation: wy2 wx1 rxy2 rxy1 c1 c2
230step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
231step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
232step rxy2: SELECT SUM(balance) FROM accounts;
233 sum
234----
2351000
236(1 row)
237
238step rxy1: SELECT SUM(balance) FROM accounts;
239 sum
240----
2411000
242(1 row)
243
244step c1: COMMIT;
245step c2: COMMIT;
246ERROR:  could not serialize access due to read/write dependencies among transactions
247
248starting permutation: wy2 wx1 rxy2 rxy1 c2 c1
249step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
250step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
251step rxy2: SELECT SUM(balance) FROM accounts;
252 sum
253----
2541000
255(1 row)
256
257step rxy1: SELECT SUM(balance) FROM accounts;
258 sum
259----
2601000
261(1 row)
262
263step c2: COMMIT;
264step c1: COMMIT;
265ERROR:  could not serialize access due to read/write dependencies among transactions
266
267starting permutation: wy2 wx1 rxy2 c2 rxy1 c1
268step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
269step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
270step rxy2: SELECT SUM(balance) FROM accounts;
271 sum
272----
2731000
274(1 row)
275
276step c2: COMMIT;
277step rxy1: SELECT SUM(balance) FROM accounts;
278ERROR:  could not serialize access due to read/write dependencies among transactions
279step c1: COMMIT;
280
281starting permutation: wy2 rxy2 wx1 rxy1 c1 c2
282step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
283step rxy2: SELECT SUM(balance) FROM accounts;
284 sum
285----
2861000
287(1 row)
288
289step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
290step rxy1: SELECT SUM(balance) FROM accounts;
291 sum
292----
2931000
294(1 row)
295
296step c1: COMMIT;
297step c2: COMMIT;
298ERROR:  could not serialize access due to read/write dependencies among transactions
299
300starting permutation: wy2 rxy2 wx1 rxy1 c2 c1
301step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
302step rxy2: SELECT SUM(balance) FROM accounts;
303 sum
304----
3051000
306(1 row)
307
308step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
309step rxy1: SELECT SUM(balance) FROM accounts;
310 sum
311----
3121000
313(1 row)
314
315step c2: COMMIT;
316step c1: COMMIT;
317ERROR:  could not serialize access due to read/write dependencies among transactions
318
319starting permutation: wy2 rxy2 wx1 c2 rxy1 c1
320step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
321step rxy2: SELECT SUM(balance) FROM accounts;
322 sum
323----
3241000
325(1 row)
326
327step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
328step c2: COMMIT;
329step rxy1: SELECT SUM(balance) FROM accounts;
330ERROR:  could not serialize access due to read/write dependencies among transactions
331step c1: COMMIT;
332
333starting permutation: wy2 rxy2 c2 wx1 rxy1 c1
334step wy2: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings';
335step rxy2: SELECT SUM(balance) FROM accounts;
336 sum
337----
3381000
339(1 row)
340
341step c2: COMMIT;
342step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking';
343step rxy1: SELECT SUM(balance) FROM accounts;
344sum
345---
346800
347(1 row)
348
349step c1: COMMIT;
350