blob: 8ff1af551201a8523004ed470b0fff571d224b16 (
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
|
# The example from the paper "A read-only transaction anomaly under snapshot
# isolation"[1].
#
# Here we use snapshot isolation (REPEATABLE READ), so that s3 sees a state of
# afairs that is not consistent with any serial ordering of s1 and s2.
#
# [1] http://www.cs.umb.edu/~poneil/ROAnom.pdf
setup
{
CREATE TABLE bank_account (id TEXT PRIMARY KEY, balance DECIMAL NOT NULL);
INSERT INTO bank_account (id, balance) VALUES ('X', 0), ('Y', 0);
}
teardown
{
DROP TABLE bank_account;
}
session s1
setup { BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; }
step s1ry { SELECT balance FROM bank_account WHERE id = 'Y'; }
step s1wy { UPDATE bank_account SET balance = 20 WHERE id = 'Y'; }
step s1c { COMMIT; }
session s2
setup { BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; }
step s2rx { SELECT balance FROM bank_account WHERE id = 'X'; }
step s2ry { SELECT balance FROM bank_account WHERE id = 'Y'; }
step s2wx { UPDATE bank_account SET balance = -11 WHERE id = 'X'; }
step s2c { COMMIT; }
session s3
setup { BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; }
step s3r { SELECT id, balance FROM bank_account WHERE id IN ('X', 'Y') ORDER BY id; }
step s3c { COMMIT; }
permutation s2rx s2ry s1ry s1wy s1c s3r s2wx s2c s3c
|
