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

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

От версии 1.34
отредактировано Alexandr Fokin
на 2025/09/20 11:04
Изменить комментарий: К данной версии нет комментариев
К версии 1.15
отредактировано Alexandr Fokin
на 2023/02/25 14:16
Изменить комментарий: К данной версии нет комментариев

Сводка

Подробности

Свойства страницы
Содержимое
... ... @@ -1,11 +1,7 @@
1 1  (% style="width:1426px" %)
2 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 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
17 +|(% 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
19 + if (SELECT balance FROM accounts where acctnum = @account2) < @payment
43 43   RAISE EXCEPTION ''
44 44   END IF
45 45  
... ... @@ -51,17 +51,12 @@
51 51   SET balance = balance - @payment
52 52   WHERE acctnum = @account2
53 53  
54 -COMMIT;{{/code}}|
55 -| | |
56 -)))|(% style="width:652px" %)(((
31 +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.
66 -(Причем для данного примера явная блокировка была бы обязательна только для проверяемого аккаунта, с которого выполняется списание).
38 +Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно использовать механизм явных блокировок (обычно это что-то вроде UPDLOCK).
67 67  )))