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