Содержание
- 2. Тупики ОГЛАВЛЕНИЕ Понятие тупика Средства обнаружения тупиков Модель Холта Сеть Петри Модель пространства состояний Примеры поиска
- 3. Понятие тупика Оглавление Тупик – состояние вычислительной системы, в котором два и более параллельных процесса блокируют
- 4. Модель Холта: Типы ресурсов Оглавление Разделение ресурсов – предпосылка появления тупиков. РАЗДЕЛЯЕМЫЕ РЕСУРСЫ Повторно используемые (RR)
- 5. Модель Холта: Моделирование Оглавление Описание текущего состояния: имеется два процесса ПР1 и ПР2; имеются ресурсы R1
- 6. Сеть Петри: Понятие Оглавление Сеть Петри – средство графического и аналитического моделирования различных процессов. Недостаток: Невозможность
- 7. Сеть Петри : Графическое представление Оглавление Сеть состоит из: • вершин-позиций b1, …, b5; • вершин-переходов
- 8. Сеть Петри : Пример моделирования процесса Оглавление Все переходы пассивны кроме d2. Переход d2 активен, т.к.
- 9. Сеть Петри: Математическое описание Оглавление P = (B, D, I, O, M) где P – сеть
- 10. Сеть Петри: Решаемые задачи и недостатки Оглавление С помощью сетей Петри решаются следующие задачи:
- 11. Модель пространства состояний Оглавление Модель пространственных состояний описывает состояния процессов на двух временных шкалах, соответствующих процессам
- 12. Исходные данные Системным ресурсом процессов ПР1 и ПР2 являются семафоры, описанные программным кодом (рис.1). Модель Холта
- 13. Примеры поиска тупиков Оглавление Поиск тупика на системных ресурсах SR с помощью моделей Холта и пространственных
- 14. Условия возникновения тупика Оглавление Для появления тупиков должны одновременно выполняться четыре условия: взаимное исключение не запрещает
- 15. Тупик Оглавление Тупик проявляется отсутствием реакции системы на управляющие сигналы, возможности ввода и вывода данных
- 16. Тупик Оглавление Тупик проявляется отсутствием реакции системы на управляющие сигналы, возможности ввода и вывода данных
- 17. Тупик Оглавление Тупик проявляется отсутствием реакции системы на управляющие сигналы, возможности ввода и вывода данных
- 18. СПРАВОЧНАЯ СИСТЕМА
- 19. Сеть Петри : Пример моделирования процесса Оглавление Фишка из вершины b1 прошла переход и исчезла, а
- 20. Сеть Петри : Пример моделирования процесса Оглавление Фишка из вершины b2 прошла в b1 через переход
- 21. Сеть Петри : Пример моделирования процесса Оглавление Фишка из вершины b1 прошла переход, и в каждой
- 22. про
- 23. Начало справки Начало 1 кадр
- 24. Обычная страница справки Начало 1 кадр
- 25. Заключительная страница справки Начало 1 кадр Следующий параграф
- 27. Скачать презентацию