Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
11
Добавлен:
15.01.2021
Размер:
10.35 Mб
Скачать

Пример 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