1setup 2{ 3 CREATE TABLE A ( 4 AID integer not null, 5 Col1 integer, 6 PRIMARY KEY (AID) 7 ); 8 9 CREATE TABLE B ( 10 BID integer not null, 11 AID integer not null, 12 Col2 integer, 13 PRIMARY KEY (BID), 14 FOREIGN KEY (AID) REFERENCES A(AID) 15 ); 16 17 INSERT INTO A (AID) VALUES (1); 18 INSERT INTO B (BID,AID) VALUES (2,1); 19} 20 21teardown 22{ 23 DROP TABLE a, b; 24} 25 26session s1 27setup { BEGIN; SET deadlock_timeout = '100ms'; } 28step s1u1 { UPDATE A SET Col1 = 1 WHERE AID = 1; } 29step s1u2 { UPDATE B SET Col2 = 1 WHERE BID = 2; } 30step s1c { COMMIT; } 31 32session s2 33setup { BEGIN; SET deadlock_timeout = '10s'; } 34step s2u1 { UPDATE B SET Col2 = 1 WHERE BID = 2; } 35step s2u2 { UPDATE B SET Col2 = 1 WHERE BID = 2; } 36step s2c { COMMIT; } 37 38permutation s1u1 s1u2 s1c s2u1 s2u2 s2c 39permutation s1u1 s1u2 s2u1 s1c s2u2 s2c 40permutation s1u1 s2u1 s1u2 s2u2 s2c s1c 41permutation s1u1 s2u1 s2u2 s1u2 s2c s1c 42permutation s1u1 s2u1 s2u2 s2c s1u2 s1c 43permutation s2u1 s1u1 s1u2 s2u2 s2c s1c 44permutation s2u1 s1u1 s2u2 s1u2 s2c s1c 45permutation s2u1 s1u1 s2u2 s2c s1u2 s1c 46permutation s2u1 s2u2 s1u1 s1u2 s2c s1c 47permutation s2u1 s2u2 s1u1 s2c s1u2 s1c 48permutation s2u1 s2u2 s2c s1u1 s1u2 s1c 49