Изменения документа Примеры.
Редактировал(а) Alexandr Fokin 2025/09/20 11:33
От версии 1.17
отредактировано Alexandr Fokin
на 2023/02/25 15:08
на 2023/02/25 15:08
Изменить комментарий:
К данной версии нет комментариев
К версии 1.36
отредактировано Alexandr Fokin
на 2025/09/20 11:33
на 2025/09/20 11:33
Изменить комментарий:
К данной версии нет комментариев
Сводка
-
Свойства страницы (1 изменено, 0 добавлено, 0 удалено)
Подробности
- Свойства страницы
-
- Содержимое
-
... ... @@ -1,7 +1,13 @@ 1 +== 1) Обновление строки по ключу. == 2 + 1 1 (% style="width:1426px" %) 2 2 |(% style="width:155px" %)**Необходимый уровень изоляции**|(% style="width:614px" %)**Запрос**|(% style="width:652px" %)**Комментарий** 5 +|(% style="width:155px" %) |(% style="width:614px" %) |(% style="width:652px" %)Замечание: в приведенных ниже примерах не рассматриваются сценарии с использованием [[Оптимистичная блокировка>>doc:Архитектура и модели.Блокировки.Оптимистичная блокировка.WebHome]]. 6 +Механизмы БД и [[Пессимистичная блокировка>>doc:Архитектура и модели.Блокировки.Пессимистичная блокировка.WebHome]]. 3 3 |(% style="width:155px" %)READ COMMITTED|(% style="width:614px" %){{code language="sql"}}BEGIN; 4 4 9 + -- Проверка 10 + 5 5 UPDATE accounts 6 6 SET balance = balance + @payment 7 7 WHERE acctnum = @account1 ... ... @@ -13,10 +13,29 @@ 13 13 COMMIT;{{/code}}|(% style="width:652px" %)((( 14 14 * Относительное изменения значения (а не константное). 15 15 * Без проверок. 22 + 23 +(В данном случае строка заблокируется в момент обновления (update). Чтение (select) с проверкой условия без явного указания updatelock не будет удерживать блокировку, строка может быть изменена после проверки условия). 16 16 ))) 17 -|(% style="width:155px" %)REPEATABLE READ|(% style="width:614px" %){{code language="sql"}}BEGIN; 25 +|(% style="width:155px" %)REPEATABLE READ|(% style="width:614px" %)((( 26 +|MSSQL|{{code language="sql"}}SET TRANSACTION ISOLATION LEVEL REPEATABLE READ; 27 +BEGIN TRANSACTION 18 18 19 - if (SELECT balance FROM accounts where acctnum = @account2) < @payment 29 + if (SELECT balance FROM accounts /*FOR UPDATE*/ where acctnum = @account2 ) < @payment 30 + -- error 31 + END IF 32 + 33 + UPDATE accounts 34 + SET balance = balance + @payment 35 + WHERE acctnum = @account1 36 + 37 + UPDATE accounts 38 + SET balance = balance - @payment 39 + WHERE acctnum = @account2 40 + 41 +COMMIT;{{/code}}| 42 +|Postgres|{{code language="sql"}}BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; 43 + 44 + if (SELECT balance FROM accounts where acctnum = @account2 ) < @payment 20 20 RAISE EXCEPTION '' 21 21 END IF 22 22 ... ... @@ -28,13 +28,20 @@ 28 28 SET balance = balance - @payment 29 29 WHERE acctnum = @account2 30 30 31 -COMMIT;{{/code}}|(% style="width:652px" %)((( 56 +COMMIT;{{/code}}| 57 +| | | 58 +)))|(% style="width:652px" %)((( 32 32 * Предварительная проверка условия перед изменением строк. 33 33 Гарантия, что значение не будет изменено другими транзакциями после проверки (или их изменение будет обнаружено и приведет к ошибке). 34 34 * В запросе могут использоваться как относительные, так и константные значения, при условии что значение было сформировано после проверки допустимости операции. 35 35 63 +(В данном случае чтение (select) удерживает share блокировку, что гарантирует, что строка не будет изменена. Но параллельный переход от sharelock к updatelock приводит к deadlock, поэтому может быть лучше сразу накладывать updatelock). 64 + 36 36 ---- 37 37 38 -Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно использовать механизмявных блокировок(обычноэточто-то вродеUPDLOCK).67 +Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно явно выполнять чтение с updatelock. 39 39 (Причем для данного примера явная блокировка была бы обязательна только для проверяемого аккаунта, с которого выполняется списание). 40 40 ))) 70 + 71 + 72 +== 2) Обновление агрегата. ==