blob: 9f46c6b665c4adcb1c38f5124722668a0c527cfa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
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; }
## Most theoretical permutations require that a blocked session execute a
## command, making them impossible in practice.
permutation "s1i" "s1u" "s1c" "s2i" "s2u" "s2c"
permutation "s1i" "s1u" "s2i" "s1c" "s2u" "s2c"
#permutation "s1i" "s1u" "s2i" "s2u" "s1c" "s2c"
#permutation "s1i" "s1u" "s2i" "s2u" "s2c" "s1c"
#permutation "s1i" "s2i" "s1u" "s1c" "s2u" "s2c"
permutation "s1i" "s2i" "s1u" "s2u" "s1c" "s2c"
#permutation "s1i" "s2i" "s1u" "s2u" "s2c" "s1c"
#permutation "s1i" "s2i" "s2u" "s1u" "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" "s1u" "s2u" "s2c" "s1c"
#permutation "s2i" "s1i" "s2u" "s1u" "s1c" "s2c"
permutation "s2i" "s1i" "s2u" "s1u" "s2c" "s1c"
#permutation "s2i" "s1i" "s2u" "s2c" "s1u" "s1c"
#permutation "s2i" "s2u" "s1i" "s1u" "s1c" "s2c"
#permutation "s2i" "s2u" "s1i" "s1u" "s2c" "s1c"
permutation "s2i" "s2u" "s1i" "s2c" "s1u" "s1c"
#permutation "s2i" "s2u" "s2c" "s1i" "s1u" "s1c"
|
