Изменения документа Примеры.
Редактировал(а) Alexandr Fokin 2025/09/20 11:33
От версии 1.2
отредактировано Alexandr Fokin
на 2023/01/08 19:09
на 2023/01/08 19:09
Изменить комментарий:
К данной версии нет комментариев
К версии 1.32
отредактировано Alexandr Fokin
на 2025/09/19 15:03
на 2025/09/19 15:03
Изменить комментарий:
К данной версии нет комментариев
Сводка
-
Свойства страницы (2 изменено, 0 добавлено, 0 удалено)
Подробности
- Свойства страницы
-
- Родительский документ
-
... ... @@ -1,1 +1,1 @@ 1 -Разработка.Базы данных.SQL.Механизмы.Транзакции и блокировки. Уровни изоляции.WebHome1 +Разработка.Базы данных.SQL.Механизмы.Транзакции и блокировки.WebHome - Содержимое
-
... ... @@ -1,5 +1,7 @@ 1 -|(% style="width:257px" %)**Необходимый уровень изоляции**|(% style="width:658px" %)**Запрос**|(% style="width:579px" %)**Комментарий** 2 -|(% style="width:257px" %)Read Committed Isolation Level|(% style="width:658px" %){{code language="none"}}BEGIN; 1 +(% style="width:1426px" %) 2 +|(% style="width:155px" %)**Необходимый уровень изоляции**|(% style="width:614px" %)**Запрос**|(% style="width:652px" %)**Комментарий** 3 +|(% style="width:155px" %) |(% style="width:614px" %) |(% style="width:652px" %)Замечание: в приведенных ниже примерах не рассматриваются сценарии с использованием [[Оптимистичная блокировка>>doc:Архитектура и модели.Блокировки.Оптимистичная блокировка.WebHome]]. 4 +|(% style="width:155px" %)READ COMMITTED|(% style="width:614px" %){{code language="sql"}}BEGIN; 3 3 4 4 UPDATE accounts 5 5 SET balance = balance + @payment ... ... @@ -7,12 +7,34 @@ 7 7 8 8 UPDATE accounts 9 9 SET balance = balance - @payment 10 - WHERE acctnum = @account ;12 + WHERE acctnum = @account2 11 11 12 -COMMIT;{{/code}}|(% style="width:579px" %)Относительное изменения значения (а не константное). 13 -|(% style="width:257px" %)Read Committed Isolation Level|(% style="width:658px" %){{code language="none"}}BEGIN; 14 +COMMIT;{{/code}}|(% style="width:652px" %)((( 15 +* Относительное изменения значения (а не константное). 16 +* Без проверок. 14 14 15 - if (SELECT balance FROM accounts where acctnum = 7534) < @payment 18 +(В данном случае строка заблокируется в момент обновления, чтение (select) с проверкой без явного указания updlock, то строка может быть изменена после проверки условия). 19 +))) 20 +|(% style="width:155px" %)REPEATABLE READ|(% style="width:614px" %)((( 21 +|MSSQL|{{code language="sql"}}SET TRANSACTION ISOLATION LEVEL REPEATABLE READ; 22 +BEGIN TRANSACTION 23 + 24 + if (SELECT balance FROM accounts /*FOR UPDATE*/ where acctnum = @account2 ) < @payment 25 + //error 26 + END IF 27 + 28 + UPDATE accounts 29 + SET balance = balance + @payment 30 + WHERE acctnum = @account1 31 + 32 + UPDATE accounts 33 + SET balance = balance - @payment 34 + WHERE acctnum = @account2 35 + 36 +COMMIT;{{/code}}| 37 +|Postgres|{{code language="sql"}}BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; 38 + 39 + if (SELECT balance FROM accounts where acctnum = @account2 ) < @payment 16 16 RAISE EXCEPTION '' 17 17 END IF 18 18 ... ... @@ -22,7 +22,19 @@ 22 22 23 23 UPDATE accounts 24 24 SET balance = balance - @payment 25 - WHERE acctnum = @account ;49 + WHERE acctnum = @account2 26 26 27 -COMMIT;{{/code}}|(% style="width:579px" %)Предварительная проверка условия перед изменением строк. 51 +COMMIT;{{/code}}| 52 +| | | 53 +)))|(% style="width:652px" %)((( 54 +* Предварительная проверка условия перед изменением строк. 55 +Гарантия, что значение не будет изменено другими транзакциями после проверки (или их изменение будет обнаружено и приведет к ошибке). 56 +* В запросе могут использоваться как относительные, так и константные значения, при условии что значение было сформировано после проверки допустимости операции. 28 28 58 +(В данном случае чтение (select) накладывает share блокировку, что гарантирует, что строка не будет изменена). 59 + 60 +---- 61 + 62 +Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно использовать механизм явных блокировок (обычно это что-то вроде UPDLOCK). 63 +(Причем для данного примера явная блокировка была бы обязательна только для проверяемого аккаунта, с которого выполняется списание). 64 +)))