Основы современных операционных систем Лекция 14

Основы современных
операционных систем
Лекция 14
vosafonov@gmail.com
http://polyhimnie.math.spbu.ru/jtl
Безопасное состояние
(C) В.О. Сафонов, 2010
Основные утверждения (факты)
(C) В.О. Сафонов, 2010
Алгоритм построения графа
распределения ресурсов
(C) В.О. Сафонов, 2010
Граф распределения ресурсов для
стратегии избежания тупиков
(C) В.О. Сафонов, 2010
Небезопасное состояние на графе
распределения ресурсов
(C) В.О. Сафонов, 2010
Алгоритм банкира (принципы)
Автор: Э. Дейкстра
Впервые применен в операционной системе
THE
(C) В.О. Сафонов, 2010
Структуры данных для алгоритма банкира
(C) В.О. Сафонов, 2010
Алгоритм безопасности
(C) В.О. Сафонов, 2010
Алгоритм запроса ресурсов для
процесса Pi
(C) В.О. Сафонов, 2010
Пример использования алгоритма банкира
(C) В.О. Сафонов, 2010
Пример (продолжение)
(C) В.О. Сафонов, 2010
Пример (продолжение).
Запрос процесса P1: (1,0,2)
(C) В.О. Сафонов, 2010
Обнаружение тупиков
(C) В.О. Сафонов, 2010
Случай, когда каждый тип ресурса
имеет единственный экземпляр
(C) В.О. Сафонов, 2010
Граф распределения ресурсов и
граф wait-for
(C) В.О. Сафонов, 2010
16
Случай, когда ресурсы существуют в
нескольких экземплярах для каждого типа
(C) В.О. Сафонов, 2010
17
Алгоритм обнаружения тупиков
(C) В.О. Сафонов, 2010
18
Алгоритм обнаружения (прод.)
(C) В.О. Сафонов, 2010
19
Алгоритм обнаружения: пример
(C) В.О. Сафонов, 2010
20
Алгоритм обнаружения: продолжение
(C) В.О. Сафонов, 2010
21
Использование алгоритма
обнаружения тупиков
(C) В.О. Сафонов, 2010
22
Восстановление после тупика:
завершение процесса
(C) В.О. Сафонов, 2010
23
Восстановление после тупика –
перераспределение ресурсов
(C) В.О. Сафонов, 2010
24
Комбинированный подход к
обработке тупиков
(C) В.О. Сафонов, 2010
25
Q&A
(C) В.О. Сафонов, 2010