diff options
Diffstat (limited to 'src/test/isolation/expected/skip-locked.out')
| -rw-r--r-- | src/test/isolation/expected/skip-locked.out | 561 |
1 files changed, 561 insertions, 0 deletions
diff --git a/src/test/isolation/expected/skip-locked.out b/src/test/isolation/expected/skip-locked.out new file mode 100644 index 0000000..3dc5768 --- /dev/null +++ b/src/test/isolation/expected/skip-locked.out @@ -0,0 +1,561 @@ +Parsed test spec with 2 sessions + +starting permutation: s1a s1b s1c s2a s2b s2c +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1c: COMMIT; +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2c: COMMIT; + +starting permutation: s1a s1b s2a s1c s2b s2c +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1c: COMMIT; +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2c: COMMIT; + +starting permutation: s1a s1b s2a s2b s1c s2c +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1c: COMMIT; +step s2c: COMMIT; + +starting permutation: s1a s1b s2a s2b s2c s1c +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2c: COMMIT; +step s1c: COMMIT; + +starting permutation: s1a s2a s1b s1c s2b s2c +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1c: COMMIT; +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2c: COMMIT; + +starting permutation: s1a s2a s1b s2b s1c s2c +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1c: COMMIT; +step s2c: COMMIT; + +starting permutation: s1a s2a s1b s2b s2c s1c +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2c: COMMIT; +step s1c: COMMIT; + +starting permutation: s1a s2a s2b s1b s1c s2c +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1c: COMMIT; +step s2c: COMMIT; + +starting permutation: s1a s2a s2b s1b s2c s1c +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2c: COMMIT; +step s1c: COMMIT; + +starting permutation: s1a s2a s2b s2c s1b s1c +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2c: COMMIT; +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1c: COMMIT; + +starting permutation: s2a s1a s1b s1c s2b s2c +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1c: COMMIT; +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2c: COMMIT; + +starting permutation: s2a s1a s1b s2b s1c s2c +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1c: COMMIT; +step s2c: COMMIT; + +starting permutation: s2a s1a s1b s2b s2c s1c +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2c: COMMIT; +step s1c: COMMIT; + +starting permutation: s2a s1a s2b s1b s1c s2c +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1c: COMMIT; +step s2c: COMMIT; + +starting permutation: s2a s1a s2b s1b s2c s1c +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2c: COMMIT; +step s1c: COMMIT; + +starting permutation: s2a s1a s2b s2c s1b s1c +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2c: COMMIT; +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1c: COMMIT; + +starting permutation: s2a s2b s1a s1b s1c s2c +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1c: COMMIT; +step s2c: COMMIT; + +starting permutation: s2a s2b s1a s1b s2c s1c +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2c: COMMIT; +step s1c: COMMIT; + +starting permutation: s2a s2b s1a s2c s1b s1c +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 2|bar |NEW +(1 row) + +step s2c: COMMIT; +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1c: COMMIT; + +starting permutation: s2a s2b s2c s1a s1b s1c +step s2a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s2c: COMMIT; +step s1a: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1b: SELECT * FROM queue ORDER BY id FOR UPDATE SKIP LOCKED LIMIT 1; +id|data|status +--+----+------ + 1|foo |NEW +(1 row) + +step s1c: COMMIT; |