Тупиковая ситуация

Проблема несовместимого анализа

Проблема незафиксированной зависимости

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

Решение проблем параллелизма

Рассмотрим описанные выше проблемы, возникающие при параллельной обработке кортежей.

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

Транзакция А	Время	Транзакция В
Извлечение кортежа p (задание S-блокировки)	t1
	t2	Извлечение кортежа p (задание S-блокировки)
Обновление кортежа p (задание X - блокировки)	t3
ожидание	t4	Обновление кортежа p (задание X-блокировки)
ожидание		ожидание

Рис.10.7. Хотя обновления не утрачиваются, но в момент времени t4 возникает тупиковая ситуация

На рис.10.8 и рис.10.9 приведены в измененном виде примеры, показанные ранее на рис.10.4 и рис.10.5 соответственно. Они демонстрируют чередующееся выполнение операций согласно описанному выше протоколу блокировки.

Транзакция А	Время	Транзакция В
	t1	Обновление кортежа p (задание X-блокировки)
Извлечение кортежа p (задание S-блокировки)	t2
ожидание	t3	Окончание или отмена выполнения (снятие X-блокировки)
Итог: извлечение кортежа р (задание S-блокировки)

Рис.10.8. Транзакция А предохраняется от выполнения операций с незафиксированным изменением в момент времени t2

Транзакция А	Время	Транзакция В
	t1	Обновление кортежа p (задание X-блокировки)
Обновление кортежа p (задание X-блокировки)	t2
ожидание	t3	Окончание или отмена выполнения (снятие X-блокировки)
Итог: обновление кортежа р (задание X-блокировки)

Рис.10.9. Транзакция А предохраняется от выполнения операций с незафиксированным изменением в момент времени t2

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

Счет 1 – 40, Счет2 – 50, Счет3 - 30
Транзакция А	Время	Транзакция В
Извлечение кортежа Счет 1 (задание S-блокировки для кортежа Счет 1) Sum=40	t1
Извлечение кортежа Счет 2   Sum=90	t2
	t3	Извлечение кортежа Счет 3 (задание S-блокировки для кортежа Счет 3)
	t4	Обновление кортежа Счет 3 (задание X-блокировки для кортежа Счет 3) 30 à 20
	t5	Извлечение кортежа Счет 1 (задание S-блокировки для кортежа Счет 1)
	t6	Обновление кортежа Счет 1 (задание X-блокировки для кортежа Счет 1) 40 à 50
Извлечение кортежа Счет 3 (задание S-блокировки для кортежа Счет 3)	t7	ожидание
ожидание		ожидание

Рис.10. Проблема несовместимого анализа разрешается, но в момент времени t7 возникает тупиковая ситуация

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

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

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

Дата добавления: 2014-01-20