Лекция Методы управления транзакциями и сихронизационные блокировки, временные метки и версии

Введение

1. Общее понятие транзакции и основные характеристики транзакций

1.1. Атомарность транзакций

1.2. Транзакции и целостность баз данных

1.3. Изолированность транзакций

1.4. Сериализация транзакций

2. Методы сериализации транзакций

2.1. Синхронизационные блокировки

2.2. Синхронизационные тупики, их распознавание и разрушение

2.3. Метод временных меток

2.4. Методы сериализации транзакций на основе поддержки версий объектов базы данных

Заключение

Поддержка механизма транзакций – показатель уровня развитости СУБД. Корректное поддержание транзакций одновременно является основой обеспечения целостности баз данных (и поэтому транзакции вполне уместны и в однопользовательских персональных СУБД), а также составляют базис изолированности пользователей в многопользовательских системах.

Часто эти два аспекта рассматриваются по отдельности, но на самом деле они взаимосвязаны, что и будет показано в этой лекции.

В этой лекции описаны основные принципы управления транзакциями в системах управления базами данных, различные методы, алгоритмы и протоколы, способствующие достижению целей управления транзакциями. Следует заметить, что существует достаточно развитая теория управления транзакциями с собственными средствами формализации постановки задач и доказательства корректности алгоритмов. Для обеспечения более простого понимания сути материала в него не включены все эти формализмы.

В лекции описаны два основных подхода к сериализации транзакций – на основе синхронизационных блокировок и временных меток. У каждого из этих подходов имеются свои достоинства и недостатки, но на практике существенно больше распространен метод синхронизационных блокировок.

В заключение лекции были рассмотрены расширения этих подходов с применением версий объектов базы данных. Соответствующие алгоритмы и протоколы позволяют уменьшить число потенциальных конфликтов транзакций, но для их поддержки требуются дополнительные расходы внешней памяти и усложнение общей архитектуры СУБД.