Модели транзакций

Исходное
Состояние БД

INSERT

UPDATE

DELETE

UPDATE

COMMIT

Новое
Состояние БД

Исходное
Состояние БД

INSERT

UPDATE

DELETE

UPDATE

ROLLBACK

Автоматическое выполнение транзакций

Управляемое выполнение транзакций

Исходное
Состояние БД

BEGIN TRANSACTION

UPDATE

SAVE TRANSACTION A

INSERT

RLOBACK A

Новое
Состояние БД

Использование журнала транзакций

Восстановление
данных

Индивидуальный
откат

Мягкий сбой

Жесткий сбой

Выполнение оператора
ROLLBACK

Аварийное завершение
программы

Принудительный

Параллельное выполнение транзакций

Типы несогласованности
данных

Пропавшие
обновления

Несогласованные
данные

Промежуточные
данные

Строки-фантомы

Принципы сериализации
транзакций

Пользователь не должен видеть
несогласованных данных

Гарантированное обеспечение
принципа

Параллельное выполнение транзакций

Конфликты между двумя
транзакциями

W-W – одна транзакция пытается
изменить

Взаимная блокировка транзакций

Объект 1

Объект 2

Транзакция 1

Транзакция 2

Select O1

S-блокировка

Update O1

X-блокировка

Update O2

Ожидание

Update O2

X-блокировка

Update

Пример графа ожидания транзакций

1

2

3

4

5

6

7

8

Транзакция

Транзакция 3 ждет завершения
работы транзакции 4

Наличие циклической конструкции

Уровни изолированности пользоваелей

Serializable

Полная изолированность транзакций. Максимальная
степень целостности данных. Каждая

Уровни изолированности пользоваелей

Гранулированные синхронизационные захваты

Дополнительные
типы
блокировок

IS (Intented for Shared Lock) – по отношению к