175

14.5.Решение проблем параллелизма при помощи блокировок

Рассмотрим, как будут себя вести транзакции, вступающие в конфликт при доступе к данным, если они подчиняются приведенному выше протоколу доступа к данным.

Проблема потери результатов обновления

Две транзакции по очереди записывают некоторые данные в одну и ту же строку и фиксируют изменения.

Как видно из приведенной схемы, обе транзакции успешно накладывают S-блокировки и получают доступ для чтения значения объекта Р. Для того, чтобы осуществить обновление объекта Р, транзакция А пытается наложить на него X-блокировку. Эта блокировка отвергается, т.к. объект Р уже заблокирован S-блокировкой, осуществленной транзакцией В. Транзакция А переходит в состояние ожидания до тех пор, пока транзакция В не освободит объект. Транзакция В, в свою очередь, также пытается для обновления значения объекта Р наложить на него X-блокировку. Эта блокировка также отвергается, так как объект Р уже заблокирован S-блокировкой транзакции А. Транзакция В

176

переходит в состояние ожидания, до тех пор пока объект Р не будет освобожден транзакцией А.

Врезультате обе транзакции находятся в состоянии ожидания друг друга

ине могут продолжаться и тем более завершиться. Возникла ситуация,

называемая тупиком (dead lock).

Проблема незафиксированной зависимости (чтение «грязных» данных, неаккуратное считывание)

Транзакция В изменяет данные в строке. После этого транзакция А читает измененные данные и работает с ними. Транзакция В откатывается и восстанавливает старые данные.

Результат.

Работа транзакции А была приостановлена до окончания (отката) транзакции В. После этого транзакция А продолжила работу В обычном режиме и работала с правильными данными. Конфликт разрешен за счет

177

некоторого увеличения времени работы транзакции А (потрачено время на ожидание снятия блокировки транзакцией В).

Проблема несовместимого анализа. Неповторяемое считывание

Транзакция А дважды читает одну и ту же строку. Между этими чтениями вклинивается транзакция В, которая изменяет значения в строке.

Результат.

Работа транзакции В приостановилась до окончания транзакции А. В результате транзакция А дважды корректно читает одни и те же данные. После окончания транзакции А, транзакция В продолжила работу в обычном режиме.

178

Фиктивные элементы (фантомы)

Транзакция А дважды выполняет выборку строк с одним и тем же условием. Между выборками вклинивается транзакция В, которая добавляет новую строку, удовлетворяющую условию отбора.

Результат.

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