| setup |
| { |
| CREATE TABLE parent ( |
| parent_key int PRIMARY KEY, |
| aux text NOT NULL |
| ); |
| |
| CREATE TABLE child ( |
| child_key int PRIMARY KEY, |
| parent_key int NOT NULL REFERENCES parent |
| ); |
| |
| INSERT INTO parent VALUES (1, 'foo'); |
| } |
| |
| teardown |
| { |
| DROP TABLE parent, child; |
| } |
| |
| session s1 |
| setup { BEGIN; SET deadlock_timeout = '100ms'; } |
| step s1i { INSERT INTO child VALUES (1, 1); } |
| step s1u { UPDATE parent SET aux = 'bar'; } |
| step s1c { COMMIT; } |
| |
| session s2 |
| setup { BEGIN; SET deadlock_timeout = '10s'; } |
| step s2i { INSERT INTO child VALUES (2, 1); } |
| step s2u { UPDATE parent SET aux = 'baz'; } |
| step s2c { COMMIT; } |
| |
| permutation s1i s1u s1c s2i s2u s2c |
| permutation s1i s1u s2i s1c s2u s2c |
| permutation s1i s1u s2i s2u s1c s2c |
| permutation s1i s2i s1u s1c s2u s2c |
| permutation s1i s2i s1u s2u s1c s2c |
| permutation s1i s2i s2u s1u s2c s1c |
| permutation s1i s2i s2u s2c s1u s1c |
| permutation s2i s1i s1u s1c s2u s2c |
| permutation s2i s1i s1u s2u s1c s2c |
| permutation s2i s1i s2u s1u s2c s1c |
| permutation s2i s1i s2u s2c s1u s1c |
| permutation s2i s2u s1i s1u s2c s1c |
| permutation s2i s2u s1i s2c s1u s1c |
| permutation s2i s2u s2c s1i s1u s1c |
