Транзакции
Содержание
Георгий КорнеевВведение в базы данных / Транзакции2
Транзакция
- Минимальный фиксируемый в БД объем работы
- Неявные транзакции
- Для каждого оператора
- Нетранзакционные действия
- Изменение схемы данных
Георгий КорнеевВведение в базы данных / Транзакции3
Примеры транзакций
- Простая транзакция
- Добавление нового счета
insert into accs (id, money) values (1, 0);
- Составная транзакция
- Перевод денег
update accs set money = money - 100 where id = 1; update accs set money = money + 100 where id = 2;
- При переводе количество денег в системе должно сохраняться
Георгий КорнеевВведение в базы данных / Транзакции4
Управление транзакциями
- Старт транзакции
begin transaction
- Завершение транзакции
commit
- Изменения фиксируются в базе данных
- Откат транзакции
rollback
- Изменения игнорируются
- Может производиться автоматически
Георгий КорнеевВведение в базы данных / Транзакции5
Пример условной транзакции
- Перевод денег с проверкой баланса
begin transaction; if ((select money from accs where id = 1) ≤ 100) rollback; update accs set money = money - 100 where id = 1; update accs set money = money + 100 where id = 2; commit;
Георгий КорнеевВведение в базы данных / Транзакции6
Свойства транзакций (ACID)
- Атомарность (atomicity)
- Все или ничего
- Корректность (consistency)
- После транзакции БД остаётся в корректном состоянии
- Изоляция (isolation)
- Транзакции не взаимодействуют между собой
- Устойчивость (durability)
- Изменения не теряются
Георгий КорнеевВведение в базы данных / Транзакции7
Корректность и совместимость
- Совместимость
- Состояние БД удовлетворяет ограничениям
- Автоматически проверяется СУБД
- Корректность
- Состояние БД соответствует реальному миру
- Совместимость + дополнительные ограничения
- Сохранение денег при переводе
- Невозможно задать ограничениями
- Требуется в реальном мире
Георгий КорнеевВведение в базы данных / Транзакции8
Минимизация транзакций
- Транзакции должны быть по возможности минимальны
- Лучше всего – неявные
- Препятствия минимизации
- Условное обновление
- Множественное обновление
- Промежуточная несовместимость
- Человеческий фактор
- Завершение транзакции не должно зависеть от людей
Георгий КорнеевВведение в базы данных / Транзакции9
Восстановление
Содержание
Георгий КорнеевВведение в базы данных / Транзакции10
Сбои
Содержание
Георгий КорнеевВведение в базы данных / Транзакции11
Устойчивость
- Результаты завершённой транзакции сохраняются в БД даже при сбоях
- Оперативная памяти
- Потери при перезагрузке
- ⇒ хранение информации на диске
- Диски
- Избыточность
- Быстрые чтение и запись – последовательные
Георгий КорнеевВведение в базы данных / Транзакции12
Типы сбоев
- Локальный
- Одна транзакция
- Глобальный
- Все транзакции
- Аппаратный
- Потеря данных в памяти
- Отказ оборудования
- Потеря данных на дисках
Георгий КорнеевВведение в базы данных / Транзакции13
Восстановление после сбоя
- Транзакции
- Подтверждённые – зафиксировать
- Откаченные – откатить
- Незавершённые – откатить
- Где взять данные для отката?
- Писать изменённые данные в новое место
(shadow copy) - Писать данные в старое место + журнал изменений (transaction log)
Георгий КорнеевВведение в базы данных / Транзакции14
Журнал транзакций
Содержание
Георгий КорнеевВведение в базы данных / Транзакции15
Журнал транзакций
- Надёжное хранилище изменений
- Записывается последовательно
- Что записывается
- Старые данные
- Новые данные
- Маркеры начала и завершения транзакций
- Завершение транзакции
- Запись всех изменений в журнал
- Запись маркера завершения транзакции
- Уведомление о завершении транзакции
Георгий КорнеевВведение в базы данных / Транзакции16
Реализация журнала
- Постоянная запись на диск
- Много операций
- Данные откаченных транзакций
- Конкуренция за доступ к диску
- Запись при завершении
- Хранение изменений в памяти
- Запись при завершении
- Что делать с большим объёмом данных?
Георгий КорнеевВведение в базы данных / Транзакции17
Точки восстановления
- «Слепок» состояния системы
- Текущие изменения
- Завершённые транзакции
- Откаченные транзакции
- Открытые транзакции
- Требует приостановки изменений
- Чем реже – тем лучше
- Чем чаще – тем меньше памяти
Георгий КорнеевВведение в базы данных / Транзакции18
Структура журнала
- Точка восстановления
- События
- Идентификатор транзакции
- Указатель на предыдущее событие транзакции
- Типы событий
- Начало транзакции
- Изменение
- Завершение транзакции
- Откат транзакции
Георгий КорнеевВведение в базы данных / Транзакции19
Транзакции после сбоя (1)
Георгий КорнеевВведение в базы данных / Транзакции20
Транзакции после сбоя (2)
- Обязательное поведение
Георгий КорнеевВведение в базы данных / Транзакции21
Классический алгоритм восстановления
Содержание
Георгий КорнеевВведение в базы данных / Транзакции22
Восстановление после сбоя
- Фазы классического алгоритма
- Разметка транзакций
- Откат транзакций
- Повтор транзакций
- Множества транзакций
- Redo – повторить (накатить)
- Undo – откатить
Георгий КорнеевВведение в базы данных / Транзакции23
Фаза разметки транзакций
- Разбиение транзакций на Redo и Undo
- Чтение журнала
- От последней контрольной точки до конца
- Алгоритм
- Контрольная точка – поместить все открытые транзакции в Undo
- Маркер начала – добавить транзакцию в Undo
- Маркер конца – перенести транзакцию из Undo в Redo
Георгий КорнеевВведение в базы данных / Транзакции24
Фаза отката транзакций
- Откат транзакций из Undo
- Чтение журнала
- От последней контрольной точки к началу
- Пока Undo не пуст
- Алгоритм
- Маркер начала – удалить транзакцию из Undo
- Изменение – если транзакция в Undo, откатить
Георгий КорнеевВведение в базы данных / Транзакции25
Фаза повторения транзакций
- Повтор транзакций из Redo
- Чтение журнала
- От последней контрольной точки до конца
- Алгоритм
- Маркер конца – удалить транзакцию из Redo
- Изменение – если транзакция в Redo, применить
Георгий КорнеевВведение в базы данных / Транзакции26
Длина журнала
- Когда можно удалять данные из журнала?
- Закончены все открытые транзакции
- По точкам восстановления
- Удаляется префикс
Георгий КорнеевВведение в базы данных / Транзакции27
Повторные сбои
Содержание
Георгий КорнеевВведение в базы данных / Транзакции28
Повторные сбои
- Сбои во время восстановления
- Восстановление в памяти
- Устойчиво к повторным сбоям
- Памяти для Undo может не хватить
- Почему хватит памяти для Redo?
- Запись на диск
- Дополнение журнала транзакций
Георгий КорнеевВведение в базы данных / Транзакции29
Классический алгоритм
- Откат изменения – тоже изменение
- Действия при откате
- Откатить изменение
- Внести запись об обратном изменении
- Повторение всех действий при сбое
- Рост анализируемой части журнала
- Что делать?
Георгий КорнеевВведение в базы данных / Транзакции30
Алгоритм ARIES
Содержание
Георгий КорнеевВведение в базы данных / Транзакции31
Алгоритм ARIES
- Фазы алгоритма
- Разметка транзакций
- Повторение истории
- Откат транзакций
Георгий КорнеевВведение в базы данных / Транзакции32
Фаза повторения истории
- Восстановление состояния системы на момент сбоя
- Чтение журнала
- От последней контрольной точки до конца
- Алгоритм
- Изменение – применить
- Можно объединить с разметкой транзакций
Георгий КорнеевВведение в базы данных / Транзакции33
Фаза отката транзакций
- Восстановление корректного состояния системы
- Чтение журнала
- Для транзакций из Undo
- От конца к началу
- Алгоритм
- Изменение – откатить
- Внести запись об откате
Георгий КорнеевВведение в базы данных / Транзакции34
Повторные сбои
- Компенсационные записи
- Действия при откате
- Откатить изменение
- Записать на диск
- Внести компенсационную запись
- Повторение действий не требуется
Георгий КорнеевВведение в базы данных / Транзакции35
Классический алг. vs. ARIES
- Количество проходов
- Классический алгоритм – 3
- ARIES – 2
- Рост журнала транзакций
- Классический алгоритм – записи отмены
- ARIES – компенсационные записи
- Повторные сбои
- Классический алгоритм – потеря эффективности
- ARIES – постепенное завершение
Георгий КорнеевВведение в базы данных / Транзакции36
Отказ оборудования
Содержание
Георгий КорнеевВведение в базы данных / Транзакции37
Методы борьбы
- Репликация данных
- Избыточность оборудования
- Резервное копирование
Георгий КорнеевВведение в базы данных / Транзакции38
Репликация данных
- Несколько БД содержащих одинаковые данные
- Желательно, в разных местах
- В процессе работы
- Поддержка синхронности
- Распределённые транзакции
- При отказе
- Копия назначается основной базой
Георгий КорнеевВведение в базы данных / Транзакции39
Избыточность оборудования
- Несколько копий данных БД
- В одной системе
- В процессе работы
- Параллельная запись
- RAID
- При отказе
- Замена диска
- Копирование данных
Георгий КорнеевВведение в базы данных / Транзакции40
Резервное копирование
- Периодическое копирование всей БД
- Хранится отдельно
- В процессе работы
- Получение «слепков» базы
- Немного устаревшие данные
- При отказе
- Восстановление данных из «слепка»
- Повторное внесение данных
Георгий КорнеевВведение в базы данных / Транзакции41
Параллельное исполнение
Содержание
Георгий КорнеевВведение в базы данных / Транзакции42
Изоляция и конфликты
Содержание
Георгий КорнеевВведение в базы данных / Транзакции43
Изоляция
- Транзакции могут исполняться параллельно
- Транзакция должна исполняться так, как будто она в системе одна
- Транзакции, корректные по отдельности, должны быть корректны в совокупности
- Исполнение транзакций в разных потоках
- Синхронизация
- Блокировки
- Каких проблем можно ожидать?
Георгий КорнеевВведение в базы данных / Транзакции44
Потерянное обновление (1)
- Обновление, сделанное транзакцией 1, потеряно
Транзакция 1 Транзакция 2 retrieve t
update t
commit
retrieve t
update t
commit
Георгий КорнеевВведение в базы данных / Транзакции45
Потерянное обновление (2)
- Обновление, сделанное транзакцией 1, потеряно
Транзакция 1 Транзакция 2
update t
commitupdate t
rollback
Георгий КорнеевВведение в базы данных / Транзакции46
Незафиксированное изменение
- Значение, полученное транзакцией 1, не было зафиксировано
Транзакция 1 Транзакция 2
retrieve t
commitupdate t
rollback
Георгий КорнеевВведение в базы данных / Транзакции47
Некорректное состояние
- Значение, полученное транзакцией 1, не могло быть получено в корректном состоянии
Транзакция 1 Транзакция 2
retrieve t_1
retrieve t_2
commitupdate t_1 = t_1 - 10
update t_2 = t_2 + 10
commit
Георгий КорнеевВведение в базы данных / Транзакции48
Типы конфликтов
- Чтение – чтение
- Нет конфликтов
- Чтение – запись
- Некорректное состояние
- Запись – чтение
- Зависимость от незафиксированного обновления
- Запись – запись
- Потерянное обновление
Георгий КорнеевВведение в базы данных / Транзакции49
Блокировки
Содержание
Георгий КорнеевВведение в базы данных / Транзакции50
Блокировки
- Типы блокировок
- – отсутствует
- S разделяемая, для чтения
- X эксклюзивная, для чтения и записи
- Совместимость блокировок
– S X – + + + S + + − X + − −
Георгий КорнеевВведение в базы данных / Транзакции51
Строгий протокол двухфазной блок.
- Чтение
- Получение S
- Запись
- Получение X
- Завершение или откат транзакции
- Освобождение всех блокировок
Георгий КорнеевВведение в базы данных / Транзакции52
Взаимная блокировка
- Пример взаимной блокировки (ВБ)
Транзакция 1 Транзакция 2 retrieve t_1
update t_2
–
retrieve t_2
update t_1 - Что делать?
Георгий КорнеевВведение в базы данных / Транзакции53
Устранение ВБ
- Строим граф ожиданий
- Если есть цикл – ВБ
- Ставим таймауты
- Если долго нет прогресса – скорее всего ВБ
- Обнаружена ВБ
- Откатываем одну из транзакций
- При возможности, автоматически перезапускаем транзакции
Георгий КорнеевВведение в базы данных / Транзакции54
Предотвращение ВБ
- Стратегия обработки конфликтов
- Транзакция A претендует на блокировку, конфликтующую с блокировками транзакции B
- Стратегия ожидание-отмена
- A началась раньше B ⇒ A ожидает
- A началась позже B ⇒ A отменяется
- Стратегия отмена-ожидание
- A началась раньше B ⇒ B отменяется
- A началась позже B ⇒ A ожидает
- Почему стратегии работают?
- Стратегии порождают много лишних откатов
Георгий КорнеевВведение в базы данных / Транзакции55
Упорядочиваемость
Содержание
Георгий КорнеевВведение в базы данных / Транзакции56
Упорядочиваемость
- Любая последовательность исполнения транзакций эквивалентна какому-то последовательному исполнению
- Последовательное исполнение – транзакции выполняются одна за другой
- Эквивалентность исполнений – равенство состоянии до начала ⇒ равенство состояний после окончания
Георгий КорнеевВведение в базы данных / Транзакции57
Упорядочив. и блокировки
- Строгий протокол двухфазной блокировки гарантирует упорядочиваемость
- Двухфазная блокировка
- Получение блокировки до операции
- После отпускания любой блокировки больше получать блокировки нельзя
- Теорема двухфазной блокировки
- Если все транзакции используют протокол двухфазной блокировки ⇒ все исполнения упорядочиваемы
Георгий КорнеевВведение в базы данных / Транзакции58
Восстановление
Содержание
Георгий КорнеевВведение в базы данных / Транзакции59
Восстановление и параллелизм
- Пример конфликта
Транзакция 1 Транзакция 2
retrieve t
commitupdate t
rollback - Зафиксировано изменение, зависящее от незафиксированного
Георгий КорнеевВведение в базы данных / Транзакции60
Восстанавливаемость
- Критерий восстанавливаемости
- Если транзакция A использует значения, обновлённые транзакцией B, то A должна завершиться позже чем B
- Почему не бывает противоречий?
- В случае противоречия возникает ВБ
- Форсированные откаты
- Откат транзакции B форсирует откат транзакции A
- Цепочки откатов
Георгий КорнеевВведение в базы данных / Транзакции61
Отсутствие цепочек откатов
- Критерий
- Если транзакция A использует значения, обновлённые транзакцией B, то A не может завершиться до завершения B
- Строгий протокол блокировки удовлетворяет критерию
Георгий КорнеевВведение в базы данных / Транзакции62
Гранулярность блокировок
Содержание
Георгий КорнеевВведение в базы данных / Транзакции63
Типы блокировок
- Блокировка записей
- Блокировка страницы
- Блокировка таблицы
- Блокировка индекса
- Блокировка базы данных
Георгий КорнеевВведение в базы данных / Транзакции64
Блокировки записей
- Блокировки записей
- Блокируются отдельные записи
- Высокий параллелизм
- Много ресурсов
- Блокировка страницы
- Блокируется страница, содержащая запись
- Эскалация блокировки
- Фантомные записи
- При повторном чтении могут появиться новые записи
Георгий КорнеевВведение в базы данных / Транзакции65
Блокировки таблиц
- Блокировки таблиц
- Блокируются таблицы целиком
- Низкий параллелизм
- Мало ресурсов
- Отсутствие фантомов
- Блокировки индексов
- Блокируется элемент или страница индекса
- ⇒ запрет добавление и удаление
Георгий КорнеевВведение в базы данных / Транзакции66
Блокировка базы данных
- Резервное копирование
- Изменение состава таблиц
- Изменение прав доступа
Георгий КорнеевВведение в базы данных / Транзакции67
Транзакции в SQL
Содержание
Георгий КорнеевВведение в базы данных / Транзакции68
Уровни изоляции транзакций
Содержание
Георгий КорнеевВведение в базы данных / Транзакции69
Уровни изоляции транзакций
- Упорядочиваемый (serializable)
- Наиболее сильные гарантии
- Самое медленное исполнение
- «Слепок» (snapshot)
- Повторяемое чтение (repeatable read)
- Чтение зафиксированных (read committed)
- Чтение незафиксированных (read uncommitted)
Георгий КорнеевВведение в базы данных / Транзакции70
«Слепок»
- Каждая транзакция работает со своим «слепком» БД
- Изменения фиксируются, при отсутствии конфликтов изменений
- Используется вместо упорядочиваемого
- Не соответствует SQL
- Блокировка таблиц или индексов
- Аномалия «косая запись»
- Одновременное обновление разных записей, основанное на одних и тех же данных
Георгий КорнеевВведение в базы данных / Транзакции71
Пример «Косой записи»
- Инвариант t_1 + t_2 ≤ 0
- Транзакция 1
if (t_1 + t_2 - Δ ≤ 0) begin t_1 = t_1 - Δ end - Транзакция 2
if (t_1 + t_2 - Δ ≤ 0) begin t_2 = t_2 - Δ end
- Транзакция 1
Георгий КорнеевВведение в базы данных / Транзакции72
Повторяемое чтение
- При повторном чтении значения не меняются
- Блокировка записей или страниц на чтение
- Аномалия «фантомная запись»
- При повторном чтении могут появиться новые записи
Георгий КорнеевВведение в базы данных / Транзакции73
Чтение зафиксированных
- Чтение значений, зафиксированных другими транзакциями
- Частичные блокировки записей или страниц
- Аномалия «неповторяемое чтение»
- При повторном чтении значение может измениться
Георгий КорнеевВведение в базы данных / Транзакции74
Чтение незафиксированных
- Чтение текущих значений
- В SQL – только чтение
- Блокировки отсутствуют
- Аномалия «грязное чтение»
- Может быть прочитано некорректное значение
Георгий КорнеевВведение в базы данных / Транзакции75
Уровни изоляции и аномалии
| Аномалия / Уровень | S | SN | RR | RC | RU |
|---|---|---|---|---|---|
| Косая запись | − | + | + | + | + |
| Фантомная запись | − | − | + | + | + |
| Неповторяемое чтение | − | − | − | + | + |
| грязное чтение | − | − | − | − | + |
Георгий КорнеевВведение в базы данных / Транзакции76
Синтаксис
Содержание
Георгий КорнеевВведение в базы данных / Транзакции77
Начало транзакции
- Синтаксис
start transaction [read {only | , write}] [isolation level уровень] [настройки]
- Начинает транзакцию с указанными уровнями доступа и изоляции
- По умолчанию – упорядочиваемый
Георгий КорнеевВведение в базы данных / Транзакции78
Конец транзакции
- Синтаксис
commit [work] [and [no] chain]
rollback [work] [and [no] chain]
- Фиксирует или откатывает транзакцию
- work – ничего не значит
- and chain – сразу начать новую транзакцию с теми же настройками
Георгий КорнеевВведение в базы данных / Транзакции79
Точки сохранения
- Синтаксис
savepoint имя
rollback to имя
release имя
- Определяет точку сохранения
- Имя локально внутри транзакции
- Возвращается к точке сохранения
- Позволяет делать частичный откат транзакции
- Отменяет точку сохранения
- Освобождает ресурсы
- После окончания транзакции все точки сохранения отменяются
Георгий КорнеевВведение в базы данных / Транзакции80
Литература
Содержание
Георгий КорнеевВведение в базы данных / Транзакции81
Основная литература
- Дейт К. Введение в системы баз данных (главы 15 и 16)
- Уидом Д., Ульман Д. Основы реляционных баз данных (раздел 7.2)
Георгий КорнеевВведение в базы данных / Транзакции82
Дополнительная литература * Mohan C., Haderle D., Lindsay B., Pirahesh H., Schwarz P. ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging * Mohan C. Repeating History Beyond ARIES * Bernstein P. A., Hadzilacos V., Goodman N. Concurrency Control and Recovery in Database Systems
Георгий КорнеевВведение в базы данных / Транзакции83