PPt4Web Хостинг презентаций

Главная / Информатика / Операционные системы. Тупики и борьба с ними
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

Чтобы скачать данную презентацию, порекомендуйте, пожалуйста, её своим друзьям в любой соц. сети.

После чего скачивание начнётся автоматически!

Кнопки:

Презентация на тему: Операционные системы. Тупики и борьба с ними


Скачать эту презентацию

Презентация на тему: Операционные системы. Тупики и борьба с ними


Скачать эту презентацию



№ слайда 1 Российский государственный торгово-экономический университет ИВАНОВСКИЙ ФИЛИАЛ К
Описание слайда:

Российский государственный торгово-экономический университет ИВАНОВСКИЙ ФИЛИАЛ Кафедра математики, экономической информатики и вычислительной техники 6. Тупики и борьба с ними ОПЕРАЦИОННЫЕ СИСТЕМЫ Ершов Б.Л.

№ слайда 2 Тупики ОГЛАВЛЕНИЕ Понятие тупика Средства обнаружения тупиков Модель Холта Сеть
Описание слайда:

Тупики ОГЛАВЛЕНИЕ Понятие тупика Средства обнаружения тупиков Модель Холта Сеть Петри Модель пространства состояний Примеры поиска тупиков Условия возникновения тупиков Борьба с тупиками 5 6 7

№ слайда 3 Оглавление Тупик – состояние вычислительной системы, в котором два и более парал
Описание слайда:

Оглавление Тупик – состояние вычислительной системы, в котором два и более параллельных процесса блокируют друг друга вследствие одновременного выполнения критических секций, обращающихся к одним и тем же критическим ресурсам, которые не могут освободить Р1 Р2 R1 R2 Процессы Р1 и Р2 вошли в критические секции и захватили ресурсы R1 и R2 соответственно. Впоследствии P1 затребовал R2, а P2 – ресурс R1. Но ресурсы уже заняты. Критические секции процессов не завершены, процессы в режиме ожидания Тупик проявляется отсутствием реакции системы на управляющие сигналы, возможности ввода и вывода данных Понятие тупика

№ слайда 4 Оглавление Разделение ресурсов – предпосылка появления тупиков. РАЗДЕЛЯЕМЫЕ РЕСУ
Описание слайда:

Оглавление Разделение ресурсов – предпосылка появления тупиков. РАЗДЕЛЯЕМЫЕ РЕСУРСЫ Повторно используемые (RR) они же Системные (SR) Потребляемые они же Расходуемые (СR) Память, Процессоры, Периферийные устройства, Файлы, Разрешение войти в CS Прерывания, Сообщения, Сигналы синхронизации не создаются создаются ПРОЦЕССОМ Ресурс может иметь множество идентичных единиц. Состояния единицы: свободна или занята Процесс не может влиять на единицу ресурса, занятую другим процессом Модель Холта: Типы ресурсов

№ слайда 5 Оглавление Описание текущего состояния: имеется два процесса ПР1 и ПР2; имеются
Описание слайда:

Оглавление Описание текущего состояния: имеется два процесса ПР1 и ПР2; имеются ресурсы R1 с тремя единицами и R2 с одной единицей; две единицы ресурса R1 выделены процессу ПР2; процесс ПР1 запросил две единицы ресурса R1; оба процесса запросили по одной единице ресурса R2 Модель Холта: Моделирование

№ слайда 6 Оглавление Сеть Петри – средство графического и аналитического моделирования раз
Описание слайда:

Оглавление Сеть Петри – средство графического и аналитического моделирования различных процессов. Недостаток: Невозможность моделирования временных характеристик процессов. Элементы сети Петри: вершины-переходы, соответствующие событиям, происходящим в системе; вершины-позиции, соответствуют условиям возникновения событий; направленные дуги (стрелки); фишки (точки в вершинах-позициях) – средства активизации переходов. Переход активен, если в каждой позиции, соединённой с ним входящей дугой имеется фишка. Движение фишки возможно только через активный переход. Расположение фишек называется разметкой сети. Сеть Петри: Понятие

№ слайда 7 Оглавление Сеть состоит из: • вершин-позиций b1, …, b5; • вершин-переходов d1, …
Описание слайда:

Оглавление Сеть состоит из: • вершин-позиций b1, …, b5; • вершин-переходов d1, …, d5; • фишек в вершинах b1 и b5. Все переходы пассивны кроме d2. Переход d2 активен, т.к. он имеет единственную входную ветвь, и она соединяет его с вершиной-позицией, в которой находится фишка. ПРАВИЛО ИЗМЕНЕНИЯ РАЗМЕТКИ: При движении фишки через переход из всех входных позиций перехода изымается по одной фишке, а во всех выходных позициях создаётся по одной фишке. Сеть Петри : Графическое представление

№ слайда 8 Оглавление Все переходы пассивны кроме d2. Переход d2 активен, т.к. он имеет еди
Описание слайда:

Оглавление Все переходы пассивны кроме d2. Переход d2 активен, т.к. он имеет единственную входную ветвь, и она соединяет его с вершиной-позицией, в которой находится фишка. Моделирование ПРАВИЛО ИЗМЕНЕНИЯ РАЗМЕТКИ: При движении фишки через переход из всех входных позиций перехода изымается по одной фишке, а во всех выходных позициях создаётся по одной фишке. Сеть Петри : Пример моделирования процесса

№ слайда 9 Оглавление P = (B, D, I, O, M) где P – сеть Петри, B – непустое множество вершин
Описание слайда:

Оглавление P = (B, D, I, O, M) где P – сеть Петри, B – непустое множество вершин-позиций, D – непустое множество вершин-переходов, I – входная функция; O – выходная функция; M – разметка сети (положения меток). B = {b1, b2, b3, b4, b5}D = {d1, d2, d3, d4, d5}M = {1,0, 0,0, 1} I = O = Сеть Петри: Математическое описание

№ слайда 10 Оглавление С помощью сетей Петри решаются следующие задачи: Сеть Петри: Решаемые
Описание слайда:

Оглавление С помощью сетей Петри решаются следующие задачи: Сеть Петри: Решаемые задачи и недостатки

№ слайда 11 Оглавление Модель пространственных состояний описывает состояния процессов на дв
Описание слайда:

Оглавление Модель пространственных состояний описывает состояния процессов на двух временных шкалах, соответствующих процессам ПР1 и ПР2 (рис. 1). В описаниях процессов (рис. 2) операторы пронумерованы. Выполнению их соответствуют пунктирные линии с теми же номерами. Линия Т1, показывающая последовательность изменения состояний, называется траекторией процесса. Рис. 2. Программный код процессов Рис. 1. Модель пространственных состояний Траектория Т1 показывает последовательность выполнения операторов 1, 2, 3, 5, 4, 6,7, 8. Процессы завершены. В т. В показана неудачная попытка выполнить 5. Модель пространства состояний

№ слайда 12 Исходные данные Системным ресурсом процессов ПР1 и ПР2 являются семафоры, описан
Описание слайда:

Исходные данные Системным ресурсом процессов ПР1 и ПР2 являются семафоры, описанные программным кодом (рис.1). Модель Холта показана на рис. 2 Оглавление Поиск тупика на системных ресурсах SR с помощью моделей Холта и пространственных состояний На модели Холта имеет место обращение двух процессов к ресурсам R1 и R2. Всё зависит от порядка работы семафоров Рис. 1 Рис. 2 Примеры поиска тупиков

№ слайда 13 Оглавление Поиск тупика на системных ресурсах SR с помощью моделей Холта и прост
Описание слайда:

Оглавление Поиск тупика на системных ресурсах SR с помощью моделей Холта и пространственных состояний Рис. 1. Программный код срабатывания семафоров Рис. 2. Модель пространственных состояний Траектория Т1 безопасна, т.к. к моменту запроса ПР2 ресурса R1 (т. В) оба ресурса захвачены ПР1, и ПР2 заблокирован. Частично процесс деблокируется в т. С и окончательно выполняется после т. Е, в которой свободны оба ресурса. На траектории Т2 возникает тупик, т.к. ПР2 захватывает ресурс R1, а после захвата ПР1 ресурса R2 процесс ПР2 требует захваченный ПР1 ресурс R2. Оба процесса заблокированы. Примеры поиска тупиков

№ слайда 14 Оглавление Для появления тупиков должны одновременно выполняться четыре условия:
Описание слайда:

Оглавление Для появления тупиков должны одновременно выполняться четыре условия: взаимное исключение не запрещает монопольный доступ к разделяемым ресурсам (условие взаимного исключения); удержание процессом захваченного ресурса на время ожидания доступа к недостающим для продолжения его работы разделяемым ресурсам (условие ожидания); невозможность перераспределения ресурсов, захваченных процессами находящимися в режиме ожидания (условие отсутствия перераспределения); существование замкнутой цепи процессов, каждый из которых ожидает освобождения ресурсов, захваченных другими процессами, входящими в цепь (условие кругового ожидания). Условия возникновения тупика

№ слайда 15 Оглавление Тупик проявляется отсутствием реакции системы на управляющие сигналы,
Описание слайда:

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

№ слайда 16 Оглавление Тупик проявляется отсутствием реакции системы на управляющие сигналы,
Описание слайда:

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

№ слайда 17 Оглавление Тупик проявляется отсутствием реакции системы на управляющие сигналы,
Описание слайда:

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

№ слайда 18 СПРАВОЧНАЯ СИСТЕМА
Описание слайда:

СПРАВОЧНАЯ СИСТЕМА

№ слайда 19 Оглавление Фишка из вершины b1 прошла переход и исчезла, а в выходных позициях b
Описание слайда:

Оглавление Фишка из вершины b1 прошла переход и исчезла, а в выходных позициях b2 и b3 появилось по одной фишке. Переход d2 стал не активным, а переходы d1 и d3 стали активны. ПРАВИЛО ИЗМЕНЕНИЯ РАЗМЕТКИ: При движении фишки через переход из всех входных позиций перехода изымается по одной фишке, а во всех выходных позициях создаётся по одной фишке. Моделирование Сеть Петри : Пример моделирования процесса

№ слайда 20 Оглавление Фишка из вершины b2 прошла в b1 через переход d1. Фишки из вершин b3
Описание слайда:

Оглавление Фишка из вершины b2 прошла в b1 через переход d1. Фишки из вершин b3 и b5 при прохождении их через переход d3 изъяты, а в вершине b4 создана новая фишка. Переход d1 и d3 стали не активными, а переходы d2 и d4 стали активными. ПРАВИЛО ИЗМЕНЕНИЯ РАЗМЕТКИ: При движении фишки через переход из всех входных позиций перехода изымается по одной фишке, а во всех выходных позициях создаётся по одной фишке. Моделирование Сеть Петри : Пример моделирования процесса

№ слайда 21 Оглавление Фишка из вершины b1 прошла переход, и в каждой выходной позиции перех
Описание слайда:

Оглавление Фишка из вершины b1 прошла переход, и в каждой выходной позиции перехода образовалось по фишке. Фишка из вершины b4 прошла через переход d4 в вершину b5. Вершины d1 и d3 стали активными. Состояние № 4 совпадает с состоянием № 2, т.е. состояние № 2 повторилось. Далее процесс будет повторяться. Цикл будет состоять из двух шагов: состояний № 2 и 3. Моделирование Сеть Петри : Пример моделирования процесса

№ слайда 22 про
Описание слайда:

про

№ слайда 23 Начало справки
Описание слайда:

Начало справки

№ слайда 24 Обычная страница справки
Описание слайда:

Обычная страница справки

№ слайда 25 Заключительная страница справки
Описание слайда:

Заключительная страница справки

№ слайда 26 Конец раздела
Описание слайда:

Конец раздела

Скачать эту презентацию


Презентации по предмету
Презентации из категории
Лучшее на fresher.ru