Перейти к содержимому

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

Редактировал(а) Alexandr Fokin 2025/09/20 11:33
От версии 1.6
отредактировано Alexandr Fokin
на 2023/01/09 03:08
Изменить комментарий: Update document after refactoring.
К версии 1.31
отредактировано Alexandr Fokin
на 2024/05/28 20:47
Изменить комментарий: clear view права для XWiki.XWikiGuest

Сводка

Подробности

Свойства страницы
Родительский документ
... ... @@ -1,1 +1,1 @@
1 -Разработка.Базы данных.SQL.Механизмы.Транзакции и блокировки.Уровни изоляции | Isolation levels.WebHome
1 +Разработка.Базы данных.SQL.Механизмы.Транзакции и блокировки.WebHome
Содержимое
... ... @@ -1,6 +1,7 @@
1 -(% style="width:1318px" %)
2 -|(% style="width:155px" %)**Необходимый уровень изоляции**|(% style="width:614px" %)**Запрос**|(% style="width:545px" %)**Комментарий**
3 -|(% style="width:155px" %)Read Committed|(% style="width:614px" %){{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;
4 4  
5 5   UPDATE accounts
6 6   SET balance = balance + @payment
... ... @@ -8,13 +8,32 @@
8 8  
9 9   UPDATE accounts
10 10   SET balance = balance - @payment
11 - WHERE acctnum = @account;
12 + WHERE acctnum = @account2
12 12  
13 -COMMIT;{{/code}}|(% style="width:545px" %)Относительное изменения значения (а не константное).
14 -Без проверок.
15 -|(% style="width:155px" %)Read Committed|(% style="width:614px" %){{code language="none"}}BEGIN;
14 +COMMIT;{{/code}}|(% style="width:652px" %)(((
15 +* Относительное изменения значения (а не константное).
16 +* Без проверок.
17 +)))
18 +|(% style="width:155px" %)REPEATABLE READ|(% style="width:614px" %)(((
19 +|MSSQL|{{code language="sql"}}SET TRANSACTION ISOLATION LEVEL REPEATABLE READ;
20 +BEGIN TRANSACTION
16 16  
17 - if (SELECT balance FROM accounts where acctnum = 7534) < @payment
22 + if (SELECT balance FROM accounts /*FOR UPDATE*/ where acctnum = @account2 ) < @payment
23 + //error
24 + END IF
25 +
26 + UPDATE accounts
27 + SET balance = balance + @payment
28 + WHERE acctnum = @account1
29 +
30 + UPDATE accounts
31 + SET balance = balance - @payment
32 + WHERE acctnum = @account2
33 +
34 +COMMIT;{{/code}}|
35 +|Postgres|{{code language="sql"}}BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ;
36 +
37 + if (SELECT balance FROM accounts where acctnum = @account2 ) < @payment
18 18   RAISE EXCEPTION ''
19 19   END IF
20 20  
... ... @@ -24,6 +24,17 @@
24 24  
25 25   UPDATE accounts
26 26   SET balance = balance - @payment
27 - WHERE acctnum = @account;
47 + WHERE acctnum = @account2
28 28  
29 -COMMIT;{{/code}}|(% style="width:545px" %)Предварительная проверка условия перед изменением строк.
49 +COMMIT;{{/code}}|
50 +| | |
51 +)))|(% style="width:652px" %)(((
52 +* Предварительная проверка условия перед изменением строк.
53 +Гарантия, что значение не будет изменено другими транзакциями после проверки (или их изменение будет обнаружено и приведет к ошибке).
54 +* В запросе могут использоваться как относительные, так и константные значения, при условии что значение было сформировано после проверки допустимости операции.
55 +
56 +----
57 +
58 +Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно использовать механизм явных блокировок (обычно это что-то вроде UPDLOCK).
59 +(Причем для данного примера явная блокировка была бы обязательна только для проверяемого аккаунта, с которого выполняется списание).
60 +)))