Изменения документа Примеры.

Редактировал(а) Alexandr Fokin 2025/09/20 11:33

От версии 1.19
отредактировано Alexandr Fokin
на 2023/12/16 14:01
Изменить комментарий: Updated parent field.
К версии 1.33
отредактировано Alexandr Fokin
на 2025/09/20 11:03
Изменить комментарий: К данной версии нет комментариев

Сводка

Подробности

Свойства страницы
Родительский документ
... ... @@ -1,1 +1,1 @@
1 -xwiki:Разработка.Базы данных 2.SQL.Механизмы.Транзакции и блокировки.WebHome
1 +Разработка.Базы данных.SQL.Механизмы.Транзакции и блокировки.WebHome
Содержимое
... ... @@ -1,6 +1,7 @@
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]].
4 4  |(% style="width:155px" %)READ COMMITTED|(% style="width:614px" %){{code language="sql"}}BEGIN;
5 5  
6 6   UPDATE accounts
... ... @@ -14,10 +14,29 @@
14 14  COMMIT;{{/code}}|(% style="width:652px" %)(((
15 15  * Относительное изменения значения (а не константное).
16 16  * Без проверок.
18 +
19 +(В данном случае строка заблокируется в момент обновления (update). Чтение (select) с проверкой условия без явного указания updatelock не будет удерживать блокировку, строка может быть изменена после проверки условия).
17 17  )))
18 -|(% style="width:155px" %)REPEATABLE READ|(% style="width:614px" %){{code language="sql"}}BEGIN;
21 +|(% style="width:155px" %)REPEATABLE READ|(% style="width:614px" %)(((
22 +|MSSQL|{{code language="sql"}}SET TRANSACTION ISOLATION LEVEL REPEATABLE READ;
23 +BEGIN TRANSACTION
19 19  
20 - if (SELECT balance FROM accounts where acctnum = @account2) < @payment
25 + if (SELECT balance FROM accounts /*FOR UPDATE*/ where acctnum = @account2 ) < @payment
26 + //error
27 + END IF
28 +
29 + UPDATE accounts
30 + SET balance = balance + @payment
31 + WHERE acctnum = @account1
32 +
33 + UPDATE accounts
34 + SET balance = balance - @payment
35 + WHERE acctnum = @account2
36 +
37 +COMMIT;{{/code}}|
38 +|Postgres|{{code language="sql"}}BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ;
39 +
40 + if (SELECT balance FROM accounts where acctnum = @account2 ) < @payment
21 21   RAISE EXCEPTION ''
22 22   END IF
23 23  
... ... @@ -29,13 +29,17 @@
29 29   SET balance = balance - @payment
30 30   WHERE acctnum = @account2
31 31  
32 -COMMIT;{{/code}}|(% style="width:652px" %)(((
52 +COMMIT;{{/code}}|
53 +| | |
54 +)))|(% style="width:652px" %)(((
33 33  * Предварительная проверка условия перед изменением строк.
34 34  Гарантия, что значение не будет изменено другими транзакциями после проверки (или их изменение будет обнаружено и приведет к ошибке).
35 35  * В запросе могут использоваться как относительные, так и константные значения, при условии что значение было сформировано после проверки допустимости операции.
36 36  
59 +(В данном случае чтение (select) удерживает share блокировку, что гарантирует, что строка не будет изменена. Но параллельный переход от sharelock к updatelock приводит к deadlock, поэтому может быть лучше сразу накладывать updatelock).
60 +
37 37  ----
38 38  
39 -Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно использовать механизм явных блокировок (обычно это что-то вроде UPDLOCK).
63 +Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно явно выполнять чтение с updatelock.
40 40  (Причем для данного примера явная блокировка была бы обязательна только для проверяемого аккаунта, с которого выполняется списание).
41 41  )))