Решение проблемы потерянного обновления

Решение проблемы заключается в применении протокола блокировки для чередующихся операций (рисунок 5). Операция обновления для транзакции А в момент времени t3 не будет выполнена, поскольку она является неявным запросом с заданием X- блокировки для кортежа p, а этот запрос вступает в конфликт с S- блокировкой, уже заданной транзакцией B. Таким образом, транзакция А переходит в состояние ожидания. По аналогичным причинам транзакция В переходит в состояние ожидания. В таком случае результаты любых обновлений не будут утрачены, решение этой проблемы с помощью блокировки возможно только при решении другой проблемы (тупиковая ситуация).

Решение проблемы зависимости от незафиксированного результата

Проблема незафиксированной зависимости решается с помощью чередующегося выполнения операций согласно протоколу блокировки. Операция для транзакции А в момент времени t2 не будет выполнена. Транзакция А переходит в состояние ожидания до тех пор, пока не будет прекращено выполнение транзакции В. Тогда заданная транзакцией В блокировка будет снята и транзакция А может быть выполнена.

Решение проблемы анализа несовместимости

Решение данной проблемы заключается в применении

чередования транзакций согласно протоколу блокировки. Операция обновления в момент времени t6 не будет выполнена и переходит в состояние ожидания. Точно так же операция для транзакции А в момент времени t7 не будет выполнена и переходит в состояние ожидания.

Блокировка хотя и помогает решить одну проблему, но приводит к необходимости решения другой – тупиковой ситуации.

ТУПИКОВАЯ СИТУАЦИЯ

Тупиковая ситуация возникает при использовании блокировки, т.е.

тогда, когда две или более транзакции одновременно находятся в состоянии ожидания, причем для продолжения работы каждая из транзакций ожидает прекращения выполнения другой транзакции. На рисунке 6 показана тупиковая ситуация, включающая две транзакции.

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

Выход из тупиковой ситуации

Для обнаружения тупиковой ситуации следует обнаружить цикл в

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

Существует два подхода:

–Автоматический перезапуск транзакций с самого начала при условии, что обстоятельства, которые привели к тупиковой ситуации, не повторятся вновь.

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