1Parsed test spec with 2 sessions
2
3starting permutation: s1a s1b s2a s2b
4step s1a: SELECT * FROM foo FOR UPDATE NOWAIT;
5id|data
6--+----
7 1|x
8(1 row)
9
10step s1b: COMMIT;
11step s2a: SELECT * FROM foo FOR UPDATE NOWAIT;
12id|data
13--+----
14 1|x
15(1 row)
16
17step s2b: COMMIT;
18
19starting permutation: s1a s2a s1b s2b
20step s1a: SELECT * FROM foo FOR UPDATE NOWAIT;
21id|data
22--+----
23 1|x
24(1 row)
25
26step s2a: SELECT * FROM foo FOR UPDATE NOWAIT;
27ERROR:  could not obtain lock on row in relation "foo"
28step s1b: COMMIT;
29step s2b: COMMIT;
30
31starting permutation: s1a s2a s2b s1b
32step s1a: SELECT * FROM foo FOR UPDATE NOWAIT;
33id|data
34--+----
35 1|x
36(1 row)
37
38step s2a: SELECT * FROM foo FOR UPDATE NOWAIT;
39ERROR:  could not obtain lock on row in relation "foo"
40step s2b: COMMIT;
41step s1b: COMMIT;
42
43starting permutation: s2a s1a s1b s2b
44step s2a: SELECT * FROM foo FOR UPDATE NOWAIT;
45id|data
46--+----
47 1|x
48(1 row)
49
50step s1a: SELECT * FROM foo FOR UPDATE NOWAIT;
51ERROR:  could not obtain lock on row in relation "foo"
52step s1b: COMMIT;
53step s2b: COMMIT;
54
55starting permutation: s2a s1a s2b s1b
56step s2a: SELECT * FROM foo FOR UPDATE NOWAIT;
57id|data
58--+----
59 1|x
60(1 row)
61
62step s1a: SELECT * FROM foo FOR UPDATE NOWAIT;
63ERROR:  could not obtain lock on row in relation "foo"
64step s2b: COMMIT;
65step s1b: COMMIT;
66
67starting permutation: s2a s2b s1a s1b
68step s2a: SELECT * FROM foo FOR UPDATE NOWAIT;
69id|data
70--+----
71 1|x
72(1 row)
73
74step s2b: COMMIT;
75step s1a: SELECT * FROM foo FOR UPDATE NOWAIT;
76id|data
77--+----
78 1|x
79(1 row)
80
81step s1b: COMMIT;
82