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