Разработка математического обеспечения систем управления вложенными транзакциями в параллельных и распределенных средах

• Автор: Козленко, Лилия Александровна
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Воронеж
• Количество страниц: 194 с.

СПИСОК СОКРАЩЕНИЙ
IB С Информационно-вычислительная система
"УВД Система управления базами данных
)ТСМ Distributed Transaction Communication Manager
юв Distributed Database
ЖАР On-line analytic processing
ЖТР On-line transaction processing
)S Operational System
[RID Transaction Identifier
ПЕРС Transaction Remote Procedure Call
TSN Transaction Sequence Number
/О Voting Phase
/Р Validation Phase
ГМ Transaction manager

Содержание
1ВЕДЕНИЕ
ЛАВА 1. ОБРАБОТКА ТРАНЗАКЦИЙ В ИВС - СОСТОЯНИЕ, РАЗВИТИЕ СОНЦЕПЦИЙ
1.1 Формальное определение транзакции
1.2 Менеджер транзакций, журнал транзакций
1.3 Параллельные транзакции, блокирование, многоверсионность
1.4 Расширения обработки транзакций
1.5 Иерархии транзакций, внутризапросный параллелизм
1.6 Обработка транзакций в распределенной среде
1.7 Постановка задач работы
ЛАВЛ 2. ОБРАБОТКА ТРАНЗАКЦИЙ В ПАРАЛЛЕЛЬНЫХ И РАСПРЕДЕЛЕННЫХ
:редах
2.1 Зависимости транзакций
2.2 Определение феноменов через зависимости транзакций
2.3 Потеетциальные и реальные аномалии
2.4 Изолированность транзакций при использовании техники многоверсионности

2.5 Идентификация версий объектов данных
2.6 Расширения обработки транзакций посредством иерархий тра1 вакций с
ИСПОЛЬЗОВАНИЕМ ТЕХНИКИ МНОГОВЕРСИОННОСТИ
2.7 Ограничения, накладываемые на обработку агентов распределенной
транзакции на узлах распределенной ИВС
2.8 Очистка версий объектов данных
2.9 Некоторые оценки вероятности возникновения конфликтов транзакций
2.10 Выводы
ЛАВА 3. АЛГОРИТМИЗАЦИЯ ОБРАБОТКИ ТРАНЗАКЦИЙ В ПАРАЛЛЕЛЬНЫХ И ’АСПРЕДЕЛЕННЫХ СРЕДАХ
3.1 Работа менеджера транзакций узла
3.2 Обработка распределенной транзакции
3.3 Сохранность данных в распределенной среде
3.4 Уровни изолированности транзакций
3.5 Выводы
ЛАВА 4. РЕАЛИЗАЦИЯ И ВНЕДРЕНИЕ РЕЗУЛЬТАТОВ РАБОТЫ НА ПРИМЕРЕ 1АРАЛЛЕЛЬНОЙ И РАСПРЕДЕЛЕННОЙ СУБД
4.1 Обработка транзакций параллельной СУБД
4.2 Процесс очистки
4.3 Обработка распределенной транзакции в СУБД
4.4 Выводы
ВКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
ПРИЛОЖЕНИЯ
Приложение!

Приложение II
Приложение III
Приложение IV
Приложение V
Приложение VI
Рис. 2.11. Возможные графы зависимостей для D1.
Таким образом, можно сформулировать лемму
Лемма 2. Если история транзакций содержит феномен D1, то она не довлетворяет основной теореме изолированности.
Зависимость D2. Феномен Р2 - Неповторяемое чтение (fuzzy read, in repeatable read)
ТІ считывает объект данных дважды, один раз перед транзакцией Т2, и один аз после завершения Т2 по commit, то есть после фиксации изменений, (иаграмма описывает зависимость ЧТЕНИЕ->ЗАПИСЬ- >ЧТЕНИЕ (рис. 2.12)
Рис. 2.12. Зависимость 02.
(ве операции чтения возвращают разные версии объекта данных О. Цикл графа ависимостей данного феномена показан на рис
<0,1>

<0.1>
<0,2>
Рис. 2.13. Цикл графа зависимостей для D2.