/
githubmirror
/
postgres
Обзор
Документация
Войти
/
githubmirror
/
postgres
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
master
src/test/isolation/specs/read-only-anomaly.spec
38 строк
1 KB
Tom Lane
Allow non-quoted identifiers as isolation test session/step names.
24 июн 2021, 01:41
24 июн 2021, 01:41
a443c1b
Код
Авторство
О чём код?
# 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