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