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