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

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



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

Основы современных операционных систем Лекция 17.
Основы современных операционных систем Лекция 2. (C) В.О. Сафонов, 2010 История ОС.
Модель Холта Пример R3R3 P2P2 P1P1 R1R1 R2R2 P3P3.
Системное программное обеспечение Лекция 8 Тупики.
Основы современных операционных систем Лекция 31.
Продолжение следует…
Основы современных операционных систем Лекция 22.
Основы современных операционных систем Лекция 16.
Лекции 8-9
Основы современных операционных систем Лекция 21.
Характеристика класса.
Укажите вид модели: Приведите примеры:
Модель пространства состояний системы Система есть пара, где: 1) σ = {S 1, S 2,..., S n }; 2) π = {P 1, Р 2, …, P k }. Процесс P j : σ {σ} Область значений.
Пример1 Мир
Основы современных операционных систем Лекция 4. (C) В.О. Сафонов, 2010 Архитектура компьютерных систем.
Модели вычислительных процессов Вычислительные схемы (R i S k );(S k R j ) R1R1 R2R2 S5S5 1 S1S1 S4S4 00 R3R3 R5R5 R6R6 S1S1 S4S4 S3S3 S6S6 R4R4 S2S2 00.
Моделирование и исследование мехатронных систем Курс лекций.
Основы современных операционных систем Лекция 26.
Транксрипт:

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

(C) В.О. Сафонов, 2010 Тупики (deadlocks)

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

(C) В.О. Сафонов, 2010 Модель системы

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

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

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

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

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

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

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

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

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

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

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

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