9

Блокировка на уровне строк пока не решила проблему фиктивных элементов.

В) Собственно несовместимый анализ.

Клинч

Разрешение тупиковых ситуаций.

Ситуации тупика возникают при наличии не менее 2-ух транзакций, каждая из которых выполняет несколько операций. Один из методов выхода из тупиковой ситуации – откат одной из транзакций (жертвы).

При выборе жертвы возможны следующие варианты:

1)СУБД не следит за возникновением тупиков и транзакции сами решают, кому быть жертвой

2)СУБД следит за возникновением тупиков и сама следит кого выбирать

вкачестве жертвы

При таком подходе система следит за возникновением тупика путем построения графа ожидания транзакций. Граф ожидания транзакций – двудольный направленный граф, в котором есть 2 типа вершин: вершина транзакций и вершина объекта захвата. Ситуация тупика возникает, если образуется хотя бы 1 цикл. В качестве меры – одна из транзакций откатывается.

10

Преднамеренная блокировка.

1)Блокировка самой БД

2)Блокировка файлов БД

3)Блокировка таблиц

4)Блокировка страниц

5)Блокировка отдельных строк

6)Блокировка отдельных полей

Достоинства блокировок: уменьшение накладных расходов системы. При использовании блокировок различной величины есть проблема обнаружения уже имеющихся. Для решения подобных ситуаций используется протокол преднамеренных блокировок.

Суть механизма: перед тем, как пометить блокировкой некоторый объект, надо сначала пометить преднамеренной блокировкой все объекты, в состав которых входит блокируемый объект. Тогда наличие преднамеренной блокировки будет признаком для другой транзакции.

Вводятся новые типы блокировок.

1)Преднамеренная блокировка с возможностью взаимного доступа (ISблокировка). Накладывается на некоторый объект Т и означает намерение блокировать некоторый входящий в него объект в режиме S например для того, чтобы читать строки из таблицы Т вся таблица должна быть заблокирована в режиме IS. До этого в таком же режиме должен быть заблокирован файл.

2)Блокировка без взаимного доступа (IX-блокировка). Накладывается на некоторый объект Т и означает намерение блокировать некоторый входящий в него объект в режиме X. Например, если хотим удалять/модифицировать строки в таблице Т, то вся таблица должна быть помечена Х-блокировкой.

3)Преднамеренная блокировка как со взаимным доступом, так и без него (SIX-блокировка). Означает разделяемую блокировку всего составного объекта

Тс намерением блокировать входящие в него объекты в режиме Х. Расширенные блокировки – для блокировки сложных объектов (например

таблицы).

-- блокировки несовместимы

Всоответствии с матрицей скорректируем и протокол:

1)При задании Х-блокировки для сложного объекта неявно Х- блокировкой блокируются все дочерние объекты

2)При блокировке S или SIX -блокировкой сложного объекта неявно накладывается S-блокировка на все дочерние объекты.

11

3)Прежде чем заблокировать S и IS –блокировкой какой-либо объект, транзакция должна заблокировать IS или более сильной блокировкой как минимум 1 родительский объект данного.

4)Прежде чем наложить X,IX,SIX-блокировку, транзакция должна задать IX или более сложную блокировку для всех родительских объектов.

5)Перед тем, как будут отменены все блокировки для данного объекта, надо отменить блокировки для всех дочерних объектов.

Понятие относительной силы блокировки можно выразить так:

X

IS

Замечание: протокол преднамеренных блокировок не определяет однозначно, как блокировать родительский объект при блокировке дочернего. Проблема несовместного анализа. В хочет добавить строку.

минимально гарантированная блокировка – S-блокировка таблицы.

Предикатные блокировки