blob: 8be1538dd581c98a38a82e2636a4abad0f65b973 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
Parsed test spec with 2 sessions
starting permutation: s1as s2as s1ae s2ae s1c s2c
step s1as: LOCK TABLE a1 IN ACCESS SHARE MODE;
step s2as: LOCK TABLE a1 IN ACCESS SHARE MODE;
step s1ae: LOCK TABLE a1 IN ACCESS EXCLUSIVE MODE; <waiting ...>
step s2ae: LOCK TABLE a1 IN ACCESS EXCLUSIVE MODE;
ERROR: deadlock detected
step s1ae: <... completed>
step s1c: COMMIT;
step s2c: COMMIT;
|
