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

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

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

Сводка

Подробности

Свойства страницы
Родительский документ
... ... @@ -1,1 +1,1 @@
1 -Разработка.Базы данных.SQL.Механизмы.Транзакции и блокировки.Уровни изоляции.WebHome
1 +Разработка.Базы данных.SQL.Механизмы.Транзакции и блокировки.WebHome
Содержимое
... ... @@ -1,19 +1,67 @@
1 -|(% style="width:272px" %)Необходимый уровень изоляции|(% style="width:1191px" %)
2 -|(% style="width:272px" %)Read Committed Isolation Level|(% style="width:1191px" %){{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 +Механизмы БД и [[Пессимистичная блокировка>>doc:Архитектура и модели.Блокировки.Пессимистичная блокировка.WebHome]].
5 +|(% style="width:155px" %)READ COMMITTED|(% style="width:614px" %){{code language="sql"}}BEGIN;
3 3  
4 - UPDATE accounts SET balance = balance + @payment WHERE acctnum = @account1
5 - UPDATE accounts SET balance = balance - @payment WHERE acctnum = @account;
7 + -- Проверка
6 6  
7 -COMMIT;{{/code}}
8 -|(% style="width:272px" %)Read Committed Isolation Level|(% style="width:1191px" %){{code language="none"}}BEGIN;
9 + UPDATE accounts
10 + SET balance = balance + @payment
11 + WHERE acctnum = @account1
9 9  
10 - if (SELECT balance FROM accounts where acctnum = 7534) < @payment
13 + UPDATE accounts
14 + SET balance = balance - @payment
15 + WHERE acctnum = @account2
16 +
17 +COMMIT;{{/code}}|(% style="width:652px" %)(((
18 +* Относительное изменения значения (а не константное).
19 +* Без проверок.
20 +
21 +(В данном случае строка заблокируется в момент обновления (update). Чтение (select) с проверкой условия без явного указания updatelock не будет удерживать блокировку, строка может быть изменена после проверки условия).
22 +)))
23 +|(% style="width:155px" %)REPEATABLE READ|(% style="width:614px" %)(((
24 +|MSSQL|{{code language="sql"}}SET TRANSACTION ISOLATION LEVEL REPEATABLE READ;
25 +BEGIN TRANSACTION
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
11 11   RAISE EXCEPTION ''
12 12   END IF
13 13  
14 - UPDATE accounts SET balance = balance + @payment WHERE acctnum = 12345;
15 - UPDATE accounts SET balance = balance - @payment WHERE acctnum = 7534;
46 + UPDATE accounts
47 + SET balance = balance + @payment
48 + WHERE acctnum = @account1
16 16  
17 -COMMIT;{{/code}}
50 + UPDATE accounts
51 + SET balance = balance - @payment
52 + WHERE acctnum = @account2
18 18  
19 -
54 +COMMIT;{{/code}}|
55 +| | |
56 +)))|(% style="width:652px" %)(((
57 +* Предварительная проверка условия перед изменением строк.
58 +Гарантия, что значение не будет изменено другими транзакциями после проверки (или их изменение будет обнаружено и приведет к ошибке).
59 +* В запросе могут использоваться как относительные, так и константные значения, при условии что значение было сформировано после проверки допустимости операции.
60 +
61 +(В данном случае чтение (select) удерживает share блокировку, что гарантирует, что строка не будет изменена. Но параллельный переход от sharelock к updatelock приводит к deadlock, поэтому может быть лучше сразу накладывать updatelock).
62 +
63 +----
64 +
65 +Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно явно выполнять чтение с updatelock.
66 +(Причем для данного примера явная блокировка была бы обязательна только для проверяемого аккаунта, с которого выполняется списание).
67 +)))