Исходный код вики Примеры.
Версия 1.17 от Alexandr Fokin на 2023/02/25 15:08
Последние авторы
author | version | line-number | content |
---|---|---|---|
1 | (% style="width:1426px" %) | ||
2 | |(% style="width:155px" %)**Необходимый уровень изоляции**|(% style="width:614px" %)**Запрос**|(% style="width:652px" %)**Комментарий** | ||
3 | |(% style="width:155px" %)READ COMMITTED|(% style="width:614px" %){{code language="sql"}}BEGIN; | ||
4 | |||
5 | UPDATE accounts | ||
6 | SET balance = balance + @payment | ||
7 | WHERE acctnum = @account1 | ||
8 | |||
9 | UPDATE accounts | ||
10 | SET balance = balance - @payment | ||
11 | WHERE acctnum = @account2 | ||
12 | |||
13 | COMMIT;{{/code}}|(% style="width:652px" %)((( | ||
14 | * Относительное изменения значения (а не константное). | ||
15 | * Без проверок. | ||
16 | ))) | ||
17 | |(% style="width:155px" %)REPEATABLE READ|(% style="width:614px" %){{code language="sql"}}BEGIN; | ||
18 | |||
19 | if (SELECT balance FROM accounts where acctnum = @account2) < @payment | ||
20 | RAISE EXCEPTION '' | ||
21 | END IF | ||
22 | |||
23 | UPDATE accounts | ||
24 | SET balance = balance + @payment | ||
25 | WHERE acctnum = @account1 | ||
26 | |||
27 | UPDATE accounts | ||
28 | SET balance = balance - @payment | ||
29 | WHERE acctnum = @account2 | ||
30 | |||
31 | COMMIT;{{/code}}|(% style="width:652px" %)((( | ||
32 | * Предварительная проверка условия перед изменением строк. | ||
33 | Гарантия, что значение не будет изменено другими транзакциями после проверки (или их изменение будет обнаружено и приведет к ошибке). | ||
34 | * В запросе могут использоваться как относительные, так и константные значения, при условии что значение было сформировано после проверки допустимости операции. | ||
35 | |||
36 | ---- | ||
37 | |||
38 | Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно использовать механизм явных блокировок (обычно это что-то вроде UPDLOCK). | ||
39 | (Причем для данного примера явная блокировка была бы обязательна только для проверяемого аккаунта, с которого выполняется списание). | ||
40 | ))) |