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

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

От версии 1.2
отредактировано Alexandr Fokin
на 2023/01/08 19:09
Изменить комментарий: К данной версии нет комментариев
К версии 1.35
отредактировано Alexandr Fokin
на 2025/09/20 11:32
Изменить комментарий: К данной версии нет комментариев

Сводка

Подробности

Свойства страницы
Родительский документ
... ... @@ -1,1 +1,1 @@
1 -Разработка.Базы данных.SQL.Механизмы.Транзакции и блокировки.Уровни изоляции.WebHome
1 +Разработка.Базы данных.SQL.Механизмы.Транзакции и блокировки.WebHome
Содержимое
... ... @@ -1,6 +1,13 @@
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 +== Обновление строки по ключу. ==
3 3  
3 +(% style="width:1426px" %)
4 +|(% style="width:155px" %)**Необходимый уровень изоляции**|(% style="width:614px" %)**Запрос**|(% style="width:652px" %)**Комментарий**
5 +|(% style="width:155px" %) |(% style="width:614px" %) |(% style="width:652px" %)Замечание: в приведенных ниже примерах не рассматриваются сценарии с использованием [[Оптимистичная блокировка>>doc:Архитектура и модели.Блокировки.Оптимистичная блокировка.WebHome]].
6 +Механизмы БД и [[Пессимистичная блокировка>>doc:Архитектура и модели.Блокировки.Пессимистичная блокировка.WebHome]].
7 +|(% style="width:155px" %)READ COMMITTED|(% style="width:614px" %){{code language="sql"}}BEGIN;
8 +
9 + -- Проверка
10 +
4 4   UPDATE accounts
5 5   SET balance = balance + @payment
6 6   WHERE acctnum = @account1
... ... @@ -7,12 +7,34 @@
7 7  
8 8   UPDATE accounts
9 9   SET balance = balance - @payment
10 - WHERE acctnum = @account;
17 + 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;
19 +COMMIT;{{/code}}|(% style="width:652px" %)(((
20 +* Относительное изменения значения (а не константное).
21 +* Без проверок.
14 14  
15 - if (SELECT balance FROM accounts where acctnum = 7534) < @payment
23 +(В данном случае строка заблокируется в момент обновления (update). Чтение (select) с проверкой условия без явного указания updatelock не будет удерживать блокировку, строка может быть изменена после проверки условия).
24 +)))
25 +|(% style="width:155px" %)REPEATABLE READ|(% style="width:614px" %)(((
26 +|MSSQL|{{code language="sql"}}SET TRANSACTION ISOLATION LEVEL REPEATABLE READ;
27 +BEGIN TRANSACTION
28 +
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
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;
54 + WHERE acctnum = @account2
26 26  
27 -COMMIT;{{/code}}|(% style="width:579px" %)Предварительная проверка условия перед изменением строк.
56 +COMMIT;{{/code}}|
57 +| | |
58 +)))|(% style="width:652px" %)(((
59 +* Предварительная проверка условия перед изменением строк.
60 +Гарантия, что значение не будет изменено другими транзакциями после проверки (или их изменение будет обнаружено и приведет к ошибке).
61 +* В запросе могут использоваться как относительные, так и константные значения, при условии что значение было сформировано после проверки допустимости операции.
28 28  
63 +(В данном случае чтение (select) удерживает share блокировку, что гарантирует, что строка не будет изменена. Но параллельный переход от sharelock к updatelock приводит к deadlock, поэтому может быть лучше сразу накладывать updatelock).
64 +
65 +----
66 +
67 +Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно явно выполнять чтение с updatelock.
68 +(Причем для данного примера явная блокировка была бы обязательна только для проверяемого аккаунта, с которого выполняется списание).
69 +)))