Бази даних-20210115T104840Z-001 / Реферат на тему _Современные СУБД_ / Using_MySql,_MS_SQL_Server_and_Oracle(1)
.pdfПример 44: взаимодействие конкурирующих транзакций
Неповторяющееся чтение в MySQL может быть исследовано выполнением в двух отдельных сессиях следующих блоков кода:
MySQL Решение 6.2.2.a (код для исследования аномалии неповторяющегося чтения)
|
1 |
|
-- Транзакция A: |
|
-- Транзакция B: |
|
||
|
2 |
|
SELECT |
CONCAT('Tr A ID = ', |
|
SELECT |
CONCAT('Tr B ID = ', |
|
|
3 |
|
|
CONNECTION_ID()); |
|
|
CONNECTION_ID()); |
|
|
4 |
|
SET autocommit = 0; |
|
SET autocommit = 0; |
|
||
|
5 |
|
SET SESSION TRANSACTION |
|
SET SESSION TRANSACTION |
|
||
|
|
|
ISOLATION LEVEL {УРОВЕНЬ}; |
|
ISOLATION LEVEL {УРОВЕНЬ}; |
|
||
|
6 |
|
START TRANSACTION; |
|
START TRANSACTION; |
|
||
|
7 |
|
SELECT |
CONCAT('Tr A START: ', |
|
SELECT |
CONCAT('Tr B START: ', |
|
|
8 |
|
|
CURTIME(), ' in '); |
|
|
CURTIME(), ' in '); |
|
|
9 |
|
SELECT |
`VARIABLE_VALUE` |
|
SELECT |
`VARIABLE_VALUE` |
|
|
10 |
|
FROM |
`information_schema`. |
|
FROM |
`information_schema`. |
|
|
11 |
|
|
`session_variables` |
|
|
`session_variables` |
|
|
12 |
|
WHERE |
`VARIABLE_NAME` = |
|
WHERE |
`VARIABLE_NAME` = |
|
|
13 |
|
|
'tx_isolation'; |
|
|
'tx_isolation'; |
|
|
|
|
|
|
|
|
|
|
|
14 |
|
|
|
|
SELECT |
CONCAT('Tr A SELECT-1: ', |
|
|
15 |
|
|
|
|
|
CURTIME()); |
|
|
16 |
|
SELECT |
SLEEP(5); |
|
|
|
|
|
17 |
|
|
|
|
SELECT |
`sb_is_active` |
|
|
18 |
|
|
|
|
FROM |
`subscriptions` |
|
|
19 |
|
|
|
|
WHERE |
`sb_id` = 2; |
|
|
20 |
|
SELECT |
CONCAT('Tr A UPDATE: ', |
|
|
|
|
|
21 |
|
|
CURTIME()); |
|
|
|
|
|
22 |
|
UPDATE |
`subscriptions` |
|
|
|
|
|
23 |
|
SET |
`sb_is_active` = |
|
|
|
|
24 |
|
CASE |
|
|
SELECT |
SLEEP(10); |
25WHEN `sb_is_active` = 'Y' THEN 'N'
26WHEN `sb_is_active` = 'N' THEN 'Y'
27END
28WHERE `sb_id` = 2;
29SELECT CONCAT('Tr A COMMIT: ',
|
30 |
|
CURTIME()); |
|
|
|
|
31 |
|
COMMIT; |
|
|
|
|
32 |
|
|
|
SELECT |
CONCAT('Tr A SELECT-2: ', |
|
33 |
|
|
|
|
CURTIME()); |
|
34 |
|
|
|
|
|
|
35 |
|
|
|
SELECT |
`sb_is_active` |
|
36 |
|
|
|
FROM |
`subscriptions` |
|
37 |
|
|
|
WHERE |
`sb_id` = 2; |
|
38 |
|
|
|
SELECT |
CONCAT('Tr B COMMIT: ', |
|
39 |
|
|
|
|
CURTIME()); |
|
40 |
|
|
|
COMMIT; |
|
Приведём пример журнала выполнения этого кода для ситуации, когда транзакция A выполняется на уровне изолированности REPEATABLE READ и конкурирует с транзакцией B, последовательно выполняемой во всех поддерживаемых MySQL уровнях изолированности.
A: REPEATABLE READ |
B: READ UNCOMMITTED |
Tr A ID = 151 |
Tr B ID = 152 |
Tr A START: 20:24:12 in REPEATABLE-READ |
Tr B START: 20:24:12 in READ-UNCOMMITTED |
Tr A UPDATE: 20:24:17 |
Tr B SELECT-1: 20:24:12 |
Tr A COMMIT: 20:24:17 |
sb_is_active = N |
|
Tr B SELECT-2: 20:24:22 |
|
sb_is_active = Y |
|
Tr B COMMIT: 20:24:22 |
Работа с MySQL, MS SQL Server и Oracle в примерах © EPAM Systems, RD Dep, 2016–2018 Стр: 440/545
Пример 44: взаимодействие конкурирующих транзакций
A: REPEATABLE READ |
B: READ COMMITTED |
Tr A ID = 153 |
Tr B ID = 154 |
Tr A START: 20:25:29 in REPEATABLE-READ |
Tr B START: 20:25:29 in READ-COMMITTED |
Tr A UPDATE: 20:25:34 |
Tr B SELECT-1: 20:25:29 |
Tr A COMMIT: 20:25:34 |
sb_is_active = Y |
|
Tr B SELECT-2: 20:25:39 |
|
sb_is_active = N |
|
Tr B COMMIT: 20:25:39 |
A: REPEATABLE READ |
B: REPEATABLE READ |
Tr A ID = 156 |
Tr B ID = 155 |
Tr A START: 20:26:24 in REPEATABLE-READ |
Tr B START: 20:26:24 in REPEATABLE-READ |
Tr A UPDATE: 20:26:29 |
Tr B SELECT-1: 20:26:24 |
Tr A COMMIT: 20:26:29 |
sb_is_active = N |
|
Tr B SELECT-2: 20:26:34 |
|
sb_is_active = N |
|
Tr B COMMIT: 20:26:34 |
A: REPEATABLE READ |
B: SERIALIZABLE |
Tr A ID = 157 |
Tr B ID = 158 |
Tr A START: 20:27:15 in REPEATABLE-READ |
Tr B START: 20:27:15 in SERIALIZABLE |
Tr A UPDATE: 20:27:20 |
Tr B SELECT-1: 20:27:15 |
Tr A COMMIT: 20:27:25 |
sb_is_active = Y |
|
Tr B SELECT-2: 20:27:25 |
|
sb_is_active = Y |
|
Tr B COMMIT: 20:27:25 |
Итоговые результаты взаимодействия транзакций таковы.
|
|
|
Уровень изолированности транзакции B |
|||
|
|
READ |
READ |
REPEATABLE |
SERIALIZABLE |
|
|
|
UNCOMMITTED |
COMMITTED |
READ |
||
|
|
|
||||
A |
|
Первый и вто- |
Первый и вто- |
Первый и второй |
Первый и второй SELECT |
|
READ |
рой SELECT |
рой SELECT |
SELECT возвра- |
возвратили одинаковые |
||
транзакции |
||||||
UNCOMMITTED |
возвратили |
возвратили |
тили одинаковые |
данные, транзакция A |
||
|
||||||
|
|
разные данные |
разные данные |
данные |
ждёт завершения B |
|
|
|
Первый и вто- |
Первый и вто- |
Первый и второй |
Первый и второй SELECT |
|
изолированности |
READ |
рой SELECT |
рой SELECT |
SELECT возвра- |
возвратили одинаковые |
|
|
разные данные |
разные данные |
данные |
ждёт завершения B |
||
|
COMMITTED |
возвратили |
возвратили |
тили одинаковые |
данные, транзакция A |
|
|
|
разные данные |
разные данные |
данные |
ждёт завершения B |
|
|
|
Первый и вто- |
Первый и вто- |
Первый и второй |
Первый и второй SELECT |
|
|
REPEATABLE |
рой SELECT |
рой SELECT |
SELECT возвра- |
возвратили одинаковые |
|
|
READ |
возвратили |
возвратили |
тили одинаковые |
данные, транзакция A |
|
Уровень |
|
|
|
|
|
|
|
Первый и вто- |
Первый и вто- |
Первый и второй |
Первый и второй SELECT |
||
SERIALIZABLE |
рой SELECT |
рой SELECT |
SELECT возвра- |
возвратили одинаковые |
||
возвратили |
возвратили |
тили одинаковые |
данные, транзакция A |
|||
|
||||||
|
|
разные данные |
разные данные |
данные |
ждёт завершения B |
Чтобы получить другой вариант поведения СУБД, необходимо явно блокировать читаемые записи (SELECT … LOCK IN SHARE MODE или SELECT … FOR UPDATE)37 в первой операции чтения. В данном случае это не было сделано, чтобы продемонстрировать наиболее типичное поведение MySQL. Проверить же остальные случаи реакции СУБД вам предлагается самостоятельно в задании
6.2.2.TSK.D{464}.
37 http://dev.mysql.com/doc/refman/5.6/en/innodb-locking-reads.html
Работа с MySQL, MS SQL Server и Oracle в примерах © EPAM Systems, RD Dep, 2016–2018 Стр: 441/545
Пример 44: взаимодействие конкурирующих транзакций
Фантомное чтение в MySQL может быть исследовано выполнением в двух отдельных сессиях следующих блоков кода:
MySQL |
Решение 6.2.2.a (код для исследования аномалии фантомного чтения) |
||||
1 |
-- Транзакция A: |
-- Транзакция B: |
|||
2 |
SELECT CONCAT('Tr A ID = ', |
SELECT |
CONCAT('Tr B ID = ', |
||
3 |
|
|
CONNECTION_ID()); |
|
CONNECTION_ID()); |
4 |
SET autocommit = 0; |
SET autocommit = 0; |
|||
5 |
SET SESSION TRANSACTION |
SET SESSION TRANSACTION |
|||
6 |
ISOLATION LEVEL {УРОВЕНЬ}; |
ISOLATION LEVEL {УРОВЕНЬ}; |
|||
7 |
START TRANSACTION; |
START TRANSACTION; |
|||
8 |
SELECT CONCAT('Tr A START: ', |
SELECT |
CONCAT('Tr B START: ', |
||
9 |
|
|
CURTIME(), ' in '); |
|
CURTIME(), ' in '); |
10 |
SELECT |
`VARIABLE_VALUE` |
SELECT |
`VARIABLE_VALUE` |
|
11 |
FROM |
`information_schema`. |
FROM |
`information_schema`. |
|
12 |
|
|
`session_variables` |
|
`session_variables` |
13 |
WHERE |
`VARIABLE_NAME` = |
WHERE |
`VARIABLE_NAME` = |
|
14 |
|
|
'tx_isolation'; |
|
'tx_isolation'; |
|
|
|
|
|
|
15 |
|
|
|
SELECT |
CONCAT('Tr B COUNT-1: ', |
16 |
|
|
|
|
CURTIME()); |
17 |
SELECT SLEEP(5); |
SELECT |
COUNT(*) |
||
18 |
|
|
|
FROM |
`subscriptions` |
19 |
|
|
|
WHERE |
`sb_id` > 500; |
20 |
SELECT CONCAT('Tr A INSERT: ', |
|
|
||
21 |
|
|
CURTIME()); |
|
|
22 |
INSERT INTO `subscriptions` |
|
|
||
23 |
|
|
(`sb_id`, |
|
|
24 |
|
|
`sb_subscriber`, |
|
|
25 |
|
|
`sb_book`, |
|
|
26 |
|
|
`sb_start`, |
SELECT |
SLEEP(10); |
27 |
|
|
`sb_finish`, |
|
|
28 |
|
|
`sb_is_active`) |
|
|
29 |
|
VALUES (1000, |
|
|
|
30 |
|
|
1, |
|
|
31 |
|
|
1, |
|
|
32 |
|
|
'2025-01-12', |
|
|
33 |
|
|
'2026-02-12', |
|
|
34 |
|
|
'N'); |
|
|
35 |
|
|
|
SELECT |
CONCAT('Tr B COUNT-2: ', |
36 |
SELECT SLEEP(10); |
|
CURTIME()); |
||
37 |
|
|
|
SELECT |
COUNT(*) |
38 |
|
|
|
FROM |
`subscriptions` |
39 |
|
|
|
WHERE |
`sb_id` > 500; |
40 |
SELECT CONCAT('Tr A ROLLBACK: ', |
SELECT |
SLEEP(15); |
||
41 |
|
|
CURTIME()); |
|
|
42 |
ROLLBACK; |
|
|
||
|
|
|
|
|
|
43 |
|
|
|
SELECT |
CONCAT('Tr B COUNT-3: ', |
44 |
|
|
|
|
CURTIME()); |
45 |
|
|
|
SELECT |
COUNT(*) |
46 |
|
|
|
FROM |
`subscriptions` |
47 |
|
|
|
WHERE |
`sb_id` > 500; |
48 |
|
|
|
SELECT |
CONCAT('Tr B COMMIT: ', |
49 |
|
|
|
|
CURTIME()); |
50 |
|
|
|
COMMIT; |
|
Приведём пример журнала выполнения этого кода для ситуации, когда транзакция A выполняется на уровне изолированности SERIALIZABLE и конкурирует с транзакцией B, последовательно выполняемой во всех поддерживаемых MySQL уровнях изолированности.
Работа с MySQL, MS SQL Server и Oracle в примерах © EPAM Systems, RD Dep, 2016–2018 Стр: 442/545
Пример 44: взаимодействие конкурирующих транзакций
A: SERIALIZABLE |
B: READ UNCOMMITTED |
Tr A ID = 198 |
Tr B ID = 197 |
Tr A START: 21:08:32 in SERIALIZABLE |
Tr B START: 21:08:32 in READ-UNCOMMITTED |
Tr A INSERT: 21:08:37 |
Tr B COUNT-1: 21:08:32 |
Tr A ROLLBACK: 21:08:47 |
COUNT(*) = 0 |
|
Tr B COUNT-2: 21:08:42 |
|
COUNT(*) = 1 |
|
Tr B COUNT-3: 21:08:57 |
|
COUNT(*) = 0 |
|
Tr B COMMIT: 21:08:57 |
A: SERIALIZABLE |
B: READ COMMITTED |
Tr A ID = 200 |
Tr B ID = 199 |
Tr A START: 21:09:34 in SERIALIZABLE |
Tr B START: 21:09:34 in READ-COMMITTED |
Tr A INSERT: 21:09:39 |
Tr B COUNT-1: 21:09:34 |
Tr A ROLLBACK: 21:09:49 |
COUNT(*) = 0 |
|
Tr B COUNT-2: 21:09:44 |
|
COUNT(*) = 0 |
|
Tr B COUNT-3: 21:09:59 |
|
COUNT(*) = 0 |
|
Tr B COMMIT: 21:09:59 |
A: SERIALIZABLE |
B: REPEATABLE READ |
Tr A ID = 201 |
Tr B ID = 202 |
Tr A START: 21:10:28 in SERIALIZABLE |
Tr B START: 21:10:28 in REPEATABLE-READ |
Tr A INSERT: 21:10:33 |
Tr B COUNT-1: 21:10:28 |
Tr A ROLLBACK: 21:10:43 |
COUNT(*) = 0 |
|
Tr B COUNT-2: 21:10:38 |
|
COUNT(*) = 0 |
|
Tr B COUNT-3: 21:10:53 |
|
COUNT(*) = 0 |
|
Tr B COMMIT: 21:10:53 |
A: SERIALIZABLE |
B: SERIALIZABLE |
Tr A ID = 203 |
Tr B ID = 204 |
Tr A START: 21:11:29 in SERIALIZABLE |
Tr B START: 21:11:29 in SERIALIZABLE |
Tr A INSERT: 21:11:34 |
Tr B COUNT-1: 21:11:29 |
Tr A ROLLBACK: 21:11:44 |
COUNT(*) = 0 |
|
Tr B COUNT-2: 21:11:39 |
|
COUNT(*) = 0 |
|
Tr B COUNT-3: 21:11:59 |
|
COUNT(*) = 0 |
|
Tr B COMMIT: 21:11:59 |
Итоговые результаты взаимодействия транзакций таковы.
|
|
|
Уровень изолированности транзакции B |
|
|||
|
|
READ |
READ |
REPEATABLE |
|
SERIALIZABLE |
|
|
|
UNCOMMITTED |
COMMITTED |
READ |
|
||
|
|
|
|
||||
A |
|
Транзакция B |
Транзакция B не |
Транзакция B |
Транзакция B не получает |
||
READ |
успевает обра- |
получает до- |
не получает до- |
доступа к «фантомной за- |
|||
транзакции |
|||||||
UNCOMMITTED |
ботать «фан- |
ступа к «фантом- |
ступа к «фан- |
писи», COUNT-3 ждёт за- |
|||
|
|||||||
|
|
томную запись» |
ной записи» |
томной записи» |
вершения транзакции A |
||
|
|
Транзакция B |
Транзакция B не |
Транзакция B |
Транзакция B не получает |
||
изолированности |
READ |
успевает обра- |
получает до- |
не получает до- |
доступа к «фантомной за- |
||
|
томную запись» |
ной записи» |
томной записи» |
вершения транзакции A |
|||
|
COMMITTED |
ботать «фан- |
ступа к «фантом- |
ступа к «фан- |
писи», COUNT-3 ждёт за- |
||
|
|
томную запись» |
ной записи» |
томной записи» |
вершения транзакции A |
||
|
|
Транзакция B |
Транзакция B не |
Транзакция B |
Транзакция B не получает |
||
|
REPEATABLE |
успевает обра- |
получает до- |
не получает до- |
доступа к «фантомной за- |
||
|
READ |
ботать «фан- |
ступа к «фантом- |
ступа к «фан- |
писи», COUNT-3 ждёт за- |
||
Уровень |
|
|
|
|
|
||
|
ботать «фан- |
ступа к «фантом- |
ступа к «фан- |
писи», COUNT-3 ждёт за- |
|||
|
|
Транзакция B |
Транзакция B не |
Транзакция B |
Транзакция B не получает |
||
|
SERIALIZABLE |
успевает обра- |
получает до- |
не получает до- |
доступа к «фантомной за- |
||
|
|
|
|
|
|
||
|
|
томную запись» |
ной записи» |
томной записи» |
вершения транзакции A |
На этом решение для MySQL завершено.
Работа с MySQL, MS SQL Server и Oracle в примерах © EPAM Systems, RD Dep, 2016–2018 Стр: 443/545
Пример 44: взаимодействие конкурирующих транзакций
Переходим к MS SQL Server. Данная СУБД поддерживает пять уровней изолированности транзакций, комбинации которых мы и рассмотрим:
•READ UNCOMMITTED;
•READ COMMITTED;
•REPEATABLE READ;
•SNAPSHOT;
•SERIALIZABLE.
Для выполнения эксперимента используем командный файл:
start cmd.exe /c "sqlcmd -S КОМПЬЮТЕР\СЕРВЕР -i a.sql & pause" start cmd.exe /c "sqlcmd -S КОМПЬЮТЕР\СЕРВЕР -i b.sql & pause"
Для упрощения кода приведённых далее запросов создадим функции GET_ISOLATION_LEVEL и GET_CT, возвращающие, соответственно, значение текущего уровня изолированности транзакции и значение текущего времени.
MS SQL |
Решение 6.2.2.a (код и запрос для проверки работоспособности сервисных функций) |
1CREATE FUNCTION GET_ISOLATION_LEVEL()
2RETURNS NVARCHAR(50)
3BEGIN
4DECLARE @IsolationLevel NVARCHAR(50);
5SET @IsolationLevel = (
6SELECT CASE [transaction_isolation_level]
7WHEN 0 THEN 'Unspecified'
8WHEN 1 THEN 'Read Uncommitted'
9WHEN 2 THEN 'Read Committed'
10WHEN 3 THEN 'Repeatable Read'
11WHEN 4 THEN 'Serializable'
12WHEN 5 THEN 'Snapshot' END AS TRANSACTION_ISOLATION_LEVEL
13FROM [sys].[dm_exec_sessions]
14WHERE [session_id] = @@SPID);
15RETURN @IsolationLevel;
16END;
17GO
18
19CREATE FUNCTION GET_CT()
20RETURNS NVARCHAR(50)
21BEGIN
22DECLARE @CT NVARCHAR(50);
23SET @CT = CONVERT(NVARCHAR(12), GETDATE(), 114);
24RETURN @CT;
25END;
26GO
27
28PRINT dbo.GET_ISOLATION_LEVEL();
29PRINT dbo.GET_CT();
Обратите внимание на два важных момента:
•для обеспечения работоспособности уровня изолированности транзакции SNAPSHOT необходимо выполнить команду ALTER DATABASE
[имя_базы_данных] SET ALLOW_SNAPSHOT_ISOLATION ON;
•в представленном ниже коде мы будем дважды подтверждать каждую транзакцию, показывая текущий уровень вложенности транзакций (@@TRANCOUNT), что вызвано особенностью работы MS SQL Server в режиме IMPLICIT_TRANSACTIONS ON: в этом режиме начало транзакции переводит @@TRANCOUNT в значение 2, а не в 1.
Работа с MySQL, MS SQL Server и Oracle в примерах © EPAM Systems, RD Dep, 2016–2018 Стр: 444/545
Пример 44: взаимодействие конкурирующих транзакций
Грязное чтение в MS SQL Server может быть исследовано выполнением в двух отдельных сессиях следующих блоков кода:
MS SQL Решение 6.2.2.a (код для исследования аномалии грязного чтения)
|
1 |
|
-- Транзакция A: |
|
-- Транзакция B: |
|
||
|
2 |
|
PRINT CONCAT('Tr A ID = ', @@SPID); |
|
PRINT CONCAT('Tr B ID = ', @@SPID); |
|
||
|
3 |
|
SET IMPLICIT_TRANSACTIONS ON; |
|
SET IMPLICIT_TRANSACTIONS ON; |
|
||
|
4 |
|
SET TRANSACTION ISOLATION |
|
SET TRANSACTION ISOLATION |
|
||
|
5 |
|
LEVEL {УРОВЕНЬ}; |
|
LEVEL {УРОВЕНЬ}; |
|
||
|
|
|
|
|
|
|
||
|
6 |
|
BEGIN TRANSACTION; |
|
BEGIN TRANSACTION; |
|
||
|
7 |
|
PRINT CONCAT('Tr A START: ', |
|
PRINT CONCAT('Tr B START: ', |
|
||
|
8 |
|
dbo.GET_CT(), ' in ', |
|
dbo.GET_CT(), ' in ', |
|
||
|
9 |
|
dbo.GET_ISOLATION_LEVEL()); |
|
dbo.GET_ISOLATION_LEVEL()); |
|
||
|
10 |
|
|
|
|
PRINT CONCAT('Tr B SELECT-1: ', |
|
|
|
11 |
|
|
|
|
dbo.GET_CT()); |
|
|
|
12 |
|
WAITFOR DELAY '00:00:05'; |
|
SELECT |
[sb_is_active] |
|
|
|
13 |
|
|
|
|
FROM |
[subscriptions] |
|
|
14 |
|
|
|
|
WHERE |
[sb_id] = 2; |
|
|
15 |
|
PRINT CONCAT('Tr A UPDATE: ', |
|
|
|
|
|
|
16 |
|
dbo.GET_CT()); |
|
|
|
|
|
|
17 |
|
UPDATE |
[subscriptions] |
|
|
|
|
|
18 |
|
SET |
[sb_is_active] = |
|
WAITFOR DELAY '00:00:10'; |
|
|
19 |
|
CASE |
|
|
|
|
|
20WHEN [sb_is_active] = 'Y' THEN 'N'
21WHEN [sb_is_active] = 'N' THEN 'Y'
22END
23WHERE [sb_id] = 2;
|
24 |
|
|
|
PRINT CONCAT('Tr B SELECT-2: ', |
|
|
|
25 |
|
|
|
dbo.GET_CT()); |
|
|
|
26 |
|
|
|
SELECT |
[sb_is_active] |
|
|
27 |
|
|
|
FROM |
[subscriptions] |
|
|
28 |
|
WAITFOR DELAY '00:00:20'; |
|
WHERE |
[sb_id] = 2; |
|
|
29 |
|
|
|
PRINT CONCAT('Tr B COMMIT: ', |
|
|
|
30 |
|
|
|
dbo.GET_CT()); |
|
|
|
31 |
|
|
|
COMMIT; |
|
|
|
32 |
|
|
|
PRINT CONCAT('TrС = ', @@TRANCOUNT); |
|
|
|
33 |
|
|
|
COMMIT; |
|
|
|
34 |
|
|
|
PRINT CONCAT('TrC = ', @@TRANCOUNT); |
|
|
|
35 |
|
PRINT CONCAT('Tr A ROLLBACK: ', |
|
|
|
|
36dbo.GET_CT());
37ROLLBACK;
38PRINT CONCAT('TrC = ', @@TRANCOUNT);
Работа с MySQL, MS SQL Server и Oracle в примерах © EPAM Systems, RD Dep, 2016–2018 Стр: 445/545
Пример 44: взаимодействие конкурирующих транзакций
Итоговые результаты взаимодействия транзакций таковы.
|
|
|
Уровень изолированности транзакции B |
|
||
|
|
READ |
READ |
REPEATABLE |
SNAPSHOT |
SERIALIZABLE |
|
|
UNCOMMITTED |
COMMITTED |
READ |
||
|
|
|
|
|||
|
|
|
Транзакция B |
Транзакция B |
|
Транзакция B |
|
|
|
оба раза чи- |
Транзак- |
||
|
|
Транзакция |
оба раза чи- |
оба раза чи- |
||
|
|
тает исходное |
ция B оба |
|||
|
|
B успевает |
тает исходное |
тает исходное |
||
|
|
(корректное) |
раза чи- |
|||
|
READ |
прочитать |
(корректное) |
(корректное) |
||
|
значение, SE- |
тает исход- |
||||
|
UNCOMMITTED |
незафикси- |
значение, UP- |
значение, UP- |
||
|
LECT-2 в |
ное (кор- |
||||
|
|
рованное |
DATE в тран- |
DATE в тран- |
||
|
|
транзакции B |
ректное) |
|||
|
|
значение |
закции A ждёт |
закции A ждёт |
||
|
|
ждёт завер- |
значение |
|||
|
|
|
завершения B |
завершения B |
||
|
|
|
шения A |
|
||
|
|
|
|
|
|
|
|
|
|
Транзакция B |
Транзакция B |
|
Транзакция B |
|
|
|
оба раза чи- |
Транзак- |
||
|
|
Транзакция |
оба раза чи- |
оба раза чи- |
||
|
|
тает исходное |
ция B оба |
|||
|
|
B успевает |
тает исходное |
тает исходное |
||
|
|
(корректное) |
раза чи- |
|||
|
READ |
прочитать |
(корректное) |
(корректное) |
||
|
значение, SE- |
тает исход- |
||||
|
COMMITTED |
незафикси- |
значение, UP- |
значение, UP- |
||
|
LECT-2 в |
ное (кор- |
||||
|
|
рованное |
DATE в тран- |
DATE в тран- |
||
A |
|
транзакции B |
ректное) |
|||
|
значение |
закции A ждёт |
закции A ждёт |
|||
транзакции |
|
ждёт завер- |
значение |
|||
|
|
завершения B |
завершения B |
|||
|
|
шения A |
|
|||
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
Транзакция B |
Транзакция B |
|
Транзакция B |
|
|
|
оба раза чи- |
Транзак- |
||
|
|
Транзакция |
оба раза чи- |
оба раза чи- |
||
изолированности |
|
тает исходное |
ция B оба |
|||
|
B успевает |
завершения B |
завершения B |
|||
|
|
|
||||
|
|
(корректное) |
тает исходное |
раза чи- |
тает исходное |
|
|
REPEATABLE |
прочитать |
(корректное) |
(корректное) |
||
|
значение, SE- |
тает исход- |
||||
|
READ |
незафикси- |
значение, UP- |
значение, UP- |
||
|
LECT-2 в |
ное (кор- |
||||
|
|
рованное |
DATE в тран- |
DATE в тран- |
||
|
|
транзакции B |
ректное) |
|||
|
|
значение |
закции A ждёт |
закции A ждёт |
||
|
|
ждёт завер- |
значение |
|||
|
|
|
|
|
||
Уровень |
|
|
шения A |
|
|
|
|
Транзакция |
Транзакция B |
оба раза чи- |
|
оба раза чи- |
|
|
|
|
оба раза чи- |
Транзакция B |
Транзак- |
Транзакция B |
|
|
|
|
|
||
|
|
B успевает |
тает исходное |
тает исходное |
ция B оба |
тает исходное |
|
|
(корректное) |
раза чи- |
|||
|
|
прочитать |
(корректное) |
(корректное) |
||
|
SNAPSHOT |
значение, SE- |
тает исход- |
|||
|
незафикси- |
значение, UP- |
значение, UP- |
|||
|
|
LECT-2 в |
ное (кор- |
|||
|
|
рованное |
DATE в тран- |
DATE в тран- |
||
|
|
транзакции B |
ректное) |
|||
|
|
значение |
закции A ждёт |
закции A ждёт |
||
|
|
ждёт завер- |
значение |
|||
|
|
|
завершения B |
завершения B |
||
|
|
|
шения A |
|
||
|
|
|
|
|
|
|
|
|
|
Транзакция B |
Транзакция B |
|
Транзакция B |
|
|
|
оба раза чи- |
Транзак- |
||
|
|
Транзакция |
оба раза чи- |
оба раза чи- |
||
|
|
тает исходное |
ция B оба |
|||
|
|
B успевает |
тает исходное |
тает исходное |
||
|
|
(корректное) |
раза чи- |
|||
|
|
прочитать |
(корректное) |
(корректное) |
||
|
SERIALIZABLE |
значение, SE- |
тает исход- |
|||
|
незафикси- |
значение, UP- |
значение, UP- |
|||
|
|
LECT-2 в |
ное (кор- |
|||
|
|
рованное |
DATE в тран- |
DATE в тран- |
||
|
|
транзакции B |
ректное) |
|||
|
|
значение |
закции A ждёт |
закции A ждёт |
||
|
|
ждёт завер- |
значение |
|||
|
|
|
завершения B |
завершения B |
||
|
|
|
шения A |
|
||
|
|
|
|
|
|
Работа с MySQL, MS SQL Server и Oracle в примерах © EPAM Systems, RD Dep, 2016–2018 Стр: 446/545
Пример 44: взаимодействие конкурирующих транзакций
Потерянное обновление MS SQL Server может быть исследовано выполнением в двух отдельных сессиях следующих блоков кода:
MS SQL Решение 6.2.2.a (код для исследования аномалии потерянного обновления)
|
1 |
|
-- Транзакция A: |
|
-- Транзакция B: |
|
||
|
2 |
|
PRINT CONCAT('Tr A ID = ', @@SPID); |
|
PRINT CONCAT('Tr B ID = ', @@SPID); |
|
||
|
3 |
|
SET IMPLICIT_TRANSACTIONS ON; |
|
SET IMPLICIT_TRANSACTIONS ON; |
|
||
|
4 |
|
SET TRANSACTION ISOLATION |
|
SET TRANSACTION ISOLATION |
|
||
|
5 |
|
LEVEL {УРОВЕНЬ}; |
|
LEVEL {УРОВЕНЬ}; |
|
||
|
|
|
|
|
|
|
||
|
6 |
|
BEGIN TRANSACTION; |
|
BEGIN TRANSACTION; |
|
||
|
7 |
|
PRINT CONCAT('Tr A START: ', |
|
PRINT CONCAT('Tr B START: ', |
|
||
|
8 |
|
dbo.GET_CT(), ' in ', |
|
dbo.GET_CT(), ' in ', |
|
||
|
9 |
|
dbo.GET_ISOLATION_LEVEL()); |
|
dbo.GET_ISOLATION_LEVEL()); |
|
||
|
10 |
|
PRINT CONCAT('Tr A SELECT: ', |
|
|
|
|
|
|
11 |
|
dbo.GET_CT()); |
|
|
|
|
|
|
12 |
|
SELECT |
[sb_is_active] |
|
WAITFOR DELAY '00:00:05'; |
|
|
|
13 |
|
FROM |
[subscriptions] |
|
|
|
|
|
14 |
|
WHERE |
[sb_id] = 2; |
|
|
|
|
|
|
|
|
|
|
|
||
|
15 |
|
|
|
|
PRINT CONCAT('Tr B SELECT: ', |
|
|
|
16 |
|
|
|
|
dbo.GET_CT()); |
|
|
|
17 |
|
WAITFOR DELAY '00:00:10'; |
|
SELECT |
[sb_is_active] |
|
|
|
18 |
|
|
|
|
FROM |
[subscriptions] |
|
|
19 |
|
|
|
|
WHERE |
[sb_id] = 2; |
|
|
20 |
|
PRINT CONCAT('Tr A UPDATE: ', |
|
|
|
|
|
|
21 |
|
dbo.GET_CT()); |
|
|
|
|
|
|
22 |
|
UPDATE |
[subscriptions] |
|
|
|
|
|
23 |
|
SET |
[sb_is_active] = 'Y' |
|
WAITFOR DELAY '00:00:10'; |
|
|
|
24 |
|
WHERE |
[sb_id] = 2; |
|
|
|
|
25PRINT CONCAT('Tr A COMMIT: ',
26dbo.GET_CT());
27COMMIT;
28PRINT CONCAT('TrC = ', @@TRANCOUNT);
29COMMIT;
30PRINT CONCAT('TrC = ', @@TRANCOUNT);
31 |
|
|
PRINT CONCAT('Tr B UPDATE: ', |
|
32 |
|
|
dbo.GET_CT()); |
|
33 |
|
|
UPDATE |
[subscriptions] |
34 |
WAITFOR DELAY '00:00:10'; |
SET |
[sb_is_active] = 'N' |
|
35 |
|
|
WHERE |
[sb_id] = 2; |
36 |
|
|
PRINT CONCAT('Tr B COMMIT: ', |
|
37 |
|
|
dbo.GET_CT()); |
|
38 |
|
|
COMMIT; |
|
39 |
|
|
PRINT CONCAT('TrC = ', @@TRANCOUNT); |
|
40 |
|
|
COMMIT; |
|
41 |
|
|
PRINT CONCAT('TrC = ', @@TRANCOUNT); |
|
42 |
PRINT CONCAT('Tr A SELECT AFTER: ', |
PRINT CONCAT('Tr B SELECT AFTER: ', |
||
43 |
dbo.GET_CT()); |
dbo.GET_CT()); |
||
44 |
SELECT |
[sb_is_active] |
SELECT |
[sb_is_active] |
45 |
FROM |
[subscriptions] |
FROM |
[subscriptions] |
46 |
WHERE |
[sb_id] = 2; |
WHERE |
[sb_id] = 2; |
Работа с MySQL, MS SQL Server и Oracle в примерах © EPAM Systems, RD Dep, 2016–2018 Стр: 447/545
Пример 44: взаимодействие конкурирующих транзакций
Итоговые результаты взаимодействия транзакций таковы.
|
|
|
Уровень изолированности транзакции B |
|
||
|
|
READ |
READ |
REPEATABLE |
SNAPSHOT |
SERIALIZABLE |
|
|
UNCOMMITTED |
COMMITTED |
READ |
||
|
|
|
|
|||
|
|
|
|
|
Обновление |
|
|
|
|
|
Обновление |
транзакции A |
Обновление |
|
|
|
|
сохранено, |
||
|
|
|
|
транзакции A |
транзакции A |
|
|
|
|
|
транзакция B |
||
|
|
Обновление |
Обновление |
сохранено, |
сохранено, |
|
|
READ |
отменена (по- |
||||
|
транзакции A |
транзакции A |
UPDATE в |
UPDATE в |
||
|
UNCOMMITTED |
пытка обно- |
||||
|
утеряно |
утеряно |
транзакции A |
транзакции A |
||
|
|
вить заблоки- |
||||
|
|
|
|
ждёт заверше- |
ждёт заверше- |
|
|
|
|
|
рованную за- |
||
|
|
|
|
ния B |
ния B |
|
|
|
|
|
пись в режиме |
||
|
|
|
|
|
|
|
|
|
|
|
|
SNAPSHOT) |
|
|
|
|
|
|
Обновление |
|
|
|
|
|
Обновление |
транзакции A |
Обновление |
|
|
|
|
сохранено, |
||
|
|
|
|
транзакции A |
транзакции A |
|
|
|
|
|
транзакция B |
||
|
|
Обновление |
Обновление |
сохранено, |
сохранено, |
|
|
READ |
отменена (по- |
||||
|
транзакции A |
транзакции A |
UPDATE в |
UPDATE в |
||
|
COMMITTED |
пытка обно- |
||||
|
утеряно |
утеряно |
транзакции A |
транзакции A |
||
|
|
вить заблоки- |
||||
|
|
|
|
ждёт заверше- |
ждёт заверше- |
|
|
|
|
|
рованную за- |
||
A |
|
|
|
ния B |
ния B |
|
|
|
|
пись в режиме |
|||
транзакции |
|
|
|
|
|
|
|
|
|
|
SNAPSHOT) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Обновление |
|
|
|
|
|
|
транзакции A |
|
изолированности |
|
|
|
|
сохранено, |
|
|
|
|
|
пись в режиме |
|
|
|
|
Обновление |
Обновление |
Взаимная бло- |
транзакция B |
Взаимная бло- |
|
REPEATABLE |
транзакции A |
транзакции A |
кировка тран- |
отменена (по- |
кировка тран- |
|
READ |
утеряно |
утеряно |
закций |
пытка обно- |
закций |
|
|
вить заблоки- |
||||
|
|
|
|
|
|
|
Уровень |
|
|
|
|
рованную за- |
|
|
|
|
|
транзакции A |
|
|
|
|
|
|
|
SNAPSHOT) |
|
|
|
|
|
|
Обновление |
|
|
|
|
|
Транзакция A |
сохранено, |
Транзакция A |
|
|
|
|
отменена (по- |
отменена (по- |
|
|
|
|
|
транзакция B |
||
|
|
Обновление |
Обновление |
пытка обно- |
пытка обно- |
|
|
|
отменена (по- |
||||
|
SNAPSHOT |
транзакции A |
транзакции A |
вить заблоки- |
вить заблоки- |
|
|
пытка обно- |
|||||
|
|
утеряно |
утеряно |
рованную за- |
рованную за- |
|
|
|
вить заблоки- |
||||
|
|
|
|
пись в режиме |
пись в режиме |
|
|
|
|
|
рованную за- |
||
|
|
|
|
SNAPSHOT) |
SNAPSHOT) |
|
|
|
|
|
пись в режиме |
||
|
|
|
|
|
|
|
|
|
|
|
|
SNAPSHOT) |
|
|
|
|
|
|
Обновление |
|
|
|
Обновление |
Обновление |
|
транзакции A |
|
|
|
|
сохранено, |
|
||
|
|
транзакции A |
транзакции A |
|
|
|
|
|
|
транзакция B |
|
||
|
|
утеряно, |
утеряно, |
Взаимная бло- |
Взаимная бло- |
|
|
|
отменена (по- |
||||
|
SERIALIZABLE |
COMMIT в |
COMMIT в |
кировка тран- |
кировка тран- |
|
|
пытка обно- |
|||||
|
|
транзакции A |
транзакции A |
закций |
закций |
|
|
|
вить заблоки- |
||||
|
|
ждёт заверше- |
ждёт заверше- |
|
|
|
|
|
|
рованную за- |
|
||
|
|
ния B |
ния B |
|
|
|
|
|
|
пись в режиме |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
SNAPSHOT) |
|
В учебных целях рассмотрим, что было бы, если бы в коде обеих транзакций мы «забыли» дописать второй COMMIT (см. подобранности в решении{408} задачи
6.1.1.a{408}).
Работа с MySQL, MS SQL Server и Oracle в примерах © EPAM Systems, RD Dep, 2016–2018 Стр: 448/545
Пример 44: взаимодействие конкурирующих транзакций
Итоговые ошибочные результаты взаимодействия транзакций приняли бы следующий вид.
|
|
|
Уровень изолированности транзакции B |
|
|||
|
|
READ |
READ |
REPEATABLE |
SNAPSHOT |
SERIALIZABLE |
|
|
|
UNCOMMITTED |
COMMITTED |
READ |
|||
|
|
|
|
||||
|
|
Обновление |
Обновление |
Обновление |
Обновление |
|
|
|
|
транзакции A |
транзакции A |
транзакции A |
транзакции A |
|
|
|
READ |
утеряно, UP- |
утеряно, UP- |
утеряно, UP- |
утеряно, UP- |
Обновление |
|
|
DATE в тран- |
DATE в тран- |
DATE в тран- |
DATE в тран- |
транзакции A |
||
|
UNCOMMITTED |
||||||
|
закции B ждёт |
закции B ждёт |
закции B ждёт |
закции B ждёт |
утеряно |
||
|
|
||||||
|
|
завершения |
завершения |
завершения |
завершения |
|
|
|
|
сессии A |
сессии A |
сессии A |
сессии A |
|
|
|
|
Обновление |
Обновление |
Обновление |
Обновление |
|
|
|
|
транзакции A |
транзакции A |
транзакции A |
транзакции A |
|
|
|
READ |
утеряно, UP- |
утеряно, UP- |
утеряно, UP- |
утеряно, UP- |
Обновление |
|
A |
DATE в тран- |
DATE в тран- |
DATE в тран- |
DATE в тран- |
транзакции A |
||
COMMITTED |
|||||||
транзакции |
закции B ждёт |
закции B ждёт |
закции B ждёт |
закции B ждёт |
утеряно |
||
|
|||||||
|
завершения |
завершения |
завершения |
завершения |
|
||
|
|
|
|||||
|
|
сессии A |
сессии A |
сессии A |
сессии A |
|
|
|
|
Обновление |
Обновление |
Обновление |
Обновление |
|
|
изолированности |
|
транзакции A |
транзакции A |
транзакции A |
транзакции A |
|
|
REPEATABLE |
утеряно, UP- |
утеряно, UP- |
утеряно, UP- |
утеряно, UP- |
Взаимная бло- |
||
|
|||||||
|
DATE в тран- |
DATE в тран- |
DATE в тран- |
DATE в тран- |
кировка тран- |
||
|
READ |
||||||
|
закции B ждёт |
закции B ждёт |
закции B ждёт |
закции B ждёт |
закций |
||
|
|
||||||
|
|
завершения |
завершения |
завершения |
завершения |
|
|
|
|
сессии A |
сессии A |
сессии A |
сессии A |
|
|
Уровень |
|
Обновление |
Обновление |
|
Обновление |
|
|
|
транзакции A |
транзакции A |
|
транзакции A |
|
||
|
|
|
|
||||
|
|
утеряно, UP- |
утеряно, UP- |
Обновление |
утеряно, UP- |
Обновление |
|
|
SNAPSHOT |
DATE в тран- |
DATE в тран- |
транзакции A |
DATE в тран- |
транзакции A |
|
|
|
закции B ждёт |
закции B ждёт |
утеряно |
закции B ждёт |
утеряно |
|
|
|
завершения |
завершения |
|
завершения |
|
|
|
|
сессии A |
сессии A |
|
сессии A |
|
|
|
|
Обновление |
Обновление |
|
Обновление |
|
|
|
|
транзакции A |
транзакции A |
|
транзакции A |
|
|
|
|
утеряно, UP- |
утеряно, UP- |
Взаимная бло- |
утеряно, UP- |
Взаимная бло- |
|
|
SERIALIZABLE |
DATE в тран- |
DATE в тран- |
кировка тран- |
DATE в тран- |
кировка тран- |
|
|
|
закции B ждёт |
закции B ждёт |
закций |
закции B ждёт |
закций |
|
|
|
завершения |
завершения |
|
завершения |
|
|
|
|
сессии A |
сессии A |
|
сессии A |
|
Обратите внимание на формулировку «UPDATE в транзакции B ждёт завершения сессии A». Здесь имеется в виду именно вся сессия взаимодействия с СУБД, а не просто транзакция. Из-за «забытого» COMMIT обе транзакции фактически завершаются именно в момент закрытия сессии с СУБД.
Чтобы получить ещё один вариант поведения СУБД, необходимо явно блокировать читаемые записи (UPDLOCK) в первой операции (чтении). В данном случае это не было сделано, чтобы продемонстрировать наиболее типичное поведение MS SQL Server. Проверить же остальные случаи реакции СУБД вам предлагается самостоятельно в задании 6.2.2.TSK.E{464}.
Работа с MySQL, MS SQL Server и Oracle в примерах © EPAM Systems, RD Dep, 2016–2018 Стр: 449/545