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

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

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

Сводка

Подробности

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