diff options
Diffstat (limited to 'src/test/isolation/expected/referential-integrity.out')
| -rw-r--r-- | src/test/isolation/expected/referential-integrity.out | 839 |
1 files changed, 839 insertions, 0 deletions
diff --git a/src/test/isolation/expected/referential-integrity.out b/src/test/isolation/expected/referential-integrity.out new file mode 100644 index 0000000..7679397 --- /dev/null +++ b/src/test/isolation/expected/referential-integrity.out @@ -0,0 +1,839 @@ +Parsed test spec with 2 sessions + +starting permutation: rx1 wy1 c1 rx2 ry2 wx2 c2 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- + 1 +(1 row) + +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; + +starting permutation: rx1 wy1 rx2 c1 ry2 wx2 c2 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step c1: COMMIT; +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +ERROR: could not serialize access due to read/write dependencies among transactions +step c2: COMMIT; + +starting permutation: rx1 wy1 rx2 ry2 c1 wx2 c2 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step c1: COMMIT; +step wx2: DELETE FROM a WHERE i = 1; +ERROR: could not serialize access due to read/write dependencies among transactions +step c2: COMMIT; + +starting permutation: rx1 wy1 rx2 ry2 wx2 c1 c2 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step c1: COMMIT; +step c2: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx1 wy1 rx2 ry2 wx2 c2 c1 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; +step c1: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx1 rx2 wy1 c1 ry2 wx2 c2 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +ERROR: could not serialize access due to read/write dependencies among transactions +step c2: COMMIT; + +starting permutation: rx1 rx2 wy1 ry2 c1 wx2 c2 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step c1: COMMIT; +step wx2: DELETE FROM a WHERE i = 1; +ERROR: could not serialize access due to read/write dependencies among transactions +step c2: COMMIT; + +starting permutation: rx1 rx2 wy1 ry2 wx2 c1 c2 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step c1: COMMIT; +step c2: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx1 rx2 wy1 ry2 wx2 c2 c1 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; +step c1: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx1 rx2 ry2 wy1 c1 wx2 c2 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; +step wx2: DELETE FROM a WHERE i = 1; +ERROR: could not serialize access due to read/write dependencies among transactions +step c2: COMMIT; + +starting permutation: rx1 rx2 ry2 wy1 wx2 c1 c2 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wy1: INSERT INTO b VALUES (1); +step wx2: DELETE FROM a WHERE i = 1; +step c1: COMMIT; +step c2: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx1 rx2 ry2 wy1 wx2 c2 c1 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wy1: INSERT INTO b VALUES (1); +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; +step c1: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx1 rx2 ry2 wx2 wy1 c1 c2 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; +step c2: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx1 rx2 ry2 wx2 wy1 c2 c1 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step wy1: INSERT INTO b VALUES (1); +step c2: COMMIT; +step c1: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx1 rx2 ry2 wx2 c2 wy1 c1 +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; +step wy1: INSERT INTO b VALUES (1); +ERROR: could not serialize access due to read/write dependencies among transactions +step c1: COMMIT; + +starting permutation: rx2 rx1 wy1 c1 ry2 wx2 c2 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +ERROR: could not serialize access due to read/write dependencies among transactions +step c2: COMMIT; + +starting permutation: rx2 rx1 wy1 ry2 c1 wx2 c2 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step c1: COMMIT; +step wx2: DELETE FROM a WHERE i = 1; +ERROR: could not serialize access due to read/write dependencies among transactions +step c2: COMMIT; + +starting permutation: rx2 rx1 wy1 ry2 wx2 c1 c2 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step c1: COMMIT; +step c2: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 rx1 wy1 ry2 wx2 c2 c1 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; +step c1: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 rx1 ry2 wy1 c1 wx2 c2 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; +step wx2: DELETE FROM a WHERE i = 1; +ERROR: could not serialize access due to read/write dependencies among transactions +step c2: COMMIT; + +starting permutation: rx2 rx1 ry2 wy1 wx2 c1 c2 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wy1: INSERT INTO b VALUES (1); +step wx2: DELETE FROM a WHERE i = 1; +step c1: COMMIT; +step c2: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 rx1 ry2 wy1 wx2 c2 c1 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wy1: INSERT INTO b VALUES (1); +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; +step c1: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 rx1 ry2 wx2 wy1 c1 c2 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; +step c2: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 rx1 ry2 wx2 wy1 c2 c1 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step wy1: INSERT INTO b VALUES (1); +step c2: COMMIT; +step c1: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 rx1 ry2 wx2 c2 wy1 c1 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; +step wy1: INSERT INTO b VALUES (1); +ERROR: could not serialize access due to read/write dependencies among transactions +step c1: COMMIT; + +starting permutation: rx2 ry2 rx1 wy1 c1 wx2 c2 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; +step wx2: DELETE FROM a WHERE i = 1; +ERROR: could not serialize access due to read/write dependencies among transactions +step c2: COMMIT; + +starting permutation: rx2 ry2 rx1 wy1 wx2 c1 c2 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step wx2: DELETE FROM a WHERE i = 1; +step c1: COMMIT; +step c2: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 ry2 rx1 wy1 wx2 c2 c1 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; +step c1: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 ry2 rx1 wx2 wy1 c1 c2 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wx2: DELETE FROM a WHERE i = 1; +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; +step c2: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 ry2 rx1 wx2 wy1 c2 c1 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wx2: DELETE FROM a WHERE i = 1; +step wy1: INSERT INTO b VALUES (1); +step c2: COMMIT; +step c1: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 ry2 rx1 wx2 c2 wy1 c1 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; +step wy1: INSERT INTO b VALUES (1); +ERROR: could not serialize access due to read/write dependencies among transactions +step c1: COMMIT; + +starting permutation: rx2 ry2 wx2 rx1 wy1 c1 c2 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; +step c2: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 ry2 wx2 rx1 wy1 c2 c1 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step wy1: INSERT INTO b VALUES (1); +step c2: COMMIT; +step c1: COMMIT; +ERROR: could not serialize access due to read/write dependencies among transactions + +starting permutation: rx2 ry2 wx2 rx1 c2 wy1 c1 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step rx1: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step c2: COMMIT; +step wy1: INSERT INTO b VALUES (1); +ERROR: could not serialize access due to read/write dependencies among transactions +step c1: COMMIT; + +starting permutation: rx2 ry2 wx2 c2 rx1 wy1 c1 +step rx2: SELECT i FROM a WHERE i = 1; +i +- +1 +(1 row) + +step ry2: SELECT a_id FROM b WHERE a_id = 1; +a_id +---- +(0 rows) + +step wx2: DELETE FROM a WHERE i = 1; +step c2: COMMIT; +step rx1: SELECT i FROM a WHERE i = 1; +i +- +(0 rows) + +step wy1: INSERT INTO b VALUES (1); +step c1: COMMIT; |