Quelle  total-cash.spec   Sprache: unbekannt

# Total Cash test
#
# Another famous test of snapshot isolation anomaly.
#
# Any overlap between the transactions must cause a serialization failure.

setup
{
 CREATE TABLE accounts (accountid text NOT NULL PRIMARY KEY, balance numeric not null);
 INSERT INTO accounts VALUES ('checking', 600),('savings',600);
}

teardown
{
 DROP TABLE accounts;
}

session s1
setup  { BEGIN ISOLATION LEVEL SERIALIZABLE; }
step wx1 { UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; }
step rxy1 { SELECT SUM(balance) FROM accounts; }
step c1  { COMMIT; }

session s2
setup  { BEGIN ISOLATION LEVEL SERIALIZABLE; }
step wy2 { UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; }
step rxy2 { SELECT SUM(balance) FROM accounts; }
step c2  { COMMIT; }