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

Презентация:



Advertisements
Похожие презентации
Основы современных операционных систем Лекция 13.
Advertisements

Системное программное обеспечение Лекция 8 Тупики.
Алгоритм обнаружения тупика 1) RATBL - таблица текущего распределения ресурсов 2) PWTBL - таблица заблокированных процессов 1 Запрос от процесса J на занятый.
Основы современных операционных систем Лекция 27.
Модель Холта Пример R3R3 P2P2 P1P1 R1R1 R2R2 P3P3.
Основы современных операционных систем Лекция 22.
Основы современных операционных систем Лекция 17.
Основы современных операционных систем Лекция 2. (C) В.О. Сафонов, 2010 История ОС.
Демидов А.В г. Операционные системы Лекция 6 Буфер оперативной памяти, Организация памяти.
Основы современных операционных систем Лекция 24.
Основы современных операционных систем Лекция 26.
Основы современных операционных систем Лекция 16.
Основы современных операционных систем Лекция 19.
Основы современных операционных систем Лекция 20.
Модель пространства состояний системы Система есть пара, где: 1) σ = {S 1, S 2,..., S n }; 2) π = {P 1, Р 2, …, P k }. Процесс P j : σ {σ} Область значений.
Основы современных операционных систем Лекция 4. (C) В.О. Сафонов, 2010 Архитектура компьютерных систем.
ИНТЕГРИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ Лекция 9 Информационная безопасность.
Основы современных операционных систем Лекция 12.
Алгоритм
Транксрипт:

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

(C) В.О. Сафонов, 2010 Безопасное состояние

(C) В.О. Сафонов, 2010 Основные утверждения (факты)

(C) В.О. Сафонов, 2010 Алгоритм построения графа распределения ресурсов

(C) В.О. Сафонов, 2010 Граф распределения ресурсов для стратегии избежания тупиков

(C) В.О. Сафонов, 2010 Небезопасное состояние на графе распределения ресурсов

(C) В.О. Сафонов, 2010 Алгоритм банкира (принципы) Автор: Э. Дейкстра Впервые применен в операционной системе THE

(C) В.О. Сафонов, 2010 Структуры данных для алгоритма банкира

(C) В.О. Сафонов, 2010 Алгоритм безопасности

(C) В.О. Сафонов, 2010 Алгоритм запроса ресурсов для процесса P i

(C) В.О. Сафонов, 2010 Пример использования алгоритма банкира

(C) В.О. Сафонов, 2010 Пример (продолжение)

(C) В.О. Сафонов, 2010 Пример (продолжение). Запрос процесса P 1: (1,0,2)

(C) В.О. Сафонов, 2010 Обнаружение тупиков

(C) В.О. Сафонов, 2010 Случай, когда каждый тип ресурса имеет единственный экземпляр

(C) В.О. Сафонов, Граф распределения ресурсов и граф wait-for

(C) В.О. Сафонов, Случай, когда ресурсы существуют в нескольких экземплярах для каждого типа

(C) В.О. Сафонов, Алгоритм обнаружения тупиков

(C) В.О. Сафонов, Алгоритм обнаружения (прод.)

(C) В.О. Сафонов, Алгоритм обнаружения: пример

(C) В.О. Сафонов, Алгоритм обнаружения: продолжение

(C) В.О. Сафонов, Использование алгоритма обнаружения тупиков

(C) В.О. Сафонов, Восстановление после тупика: завершение процесса

(C) В.О. Сафонов, Восстановление после тупика – перераспределение ресурсов

(C) В.О. Сафонов, Комбинированный подход к обработке тупиков

(C) В.О. Сафонов, 2010 Q & A