- •Глава 1. Теоретические основы функционирования операционных систем 4
- •Глава 1.Теоретические основы функционирования операционных систем
- •1.1.Процессы и ресурсы
- •1.1.1.Определение процесса
- •1.1.2.Понятие ресурса
- •1.1.3.Развитие процесса в вс
- •1.1.4. Планирование процессов
- •1.1.5. Классификация процессов
- •1.1.6.Классификация ресурсов
- •1.1.7.Структуры данных для управления процессами и ресурсами
- •1.1.8.Ядро операционной системы и реализация базовых функций ос
- •1.2.Проблема синхронизации и взаимное исключение
- •1.2.1.Определение и свойства критической секции
- •1.2.2. Программные методы реализации взаимного исключения
- •1.2.3.Синхронизация процессов с помощью семафоров
- •1.2.4.Реализация примитивов взаимоисключения
- •1.2.5.Параллельное программирование и мониторы
- •1.2.6.Рандеву как модель организации взаимодействия процессов
- •1.2.7.Система прохождения сообщений
- •1.2.8.Многозадачность и языки программирования
- •1.2.9.Взаимодействие процессов и синхронизация задач в os/2
- •1.2.10.Организация взаимодействия процессов и потоков в Win32
- •1.3.Проблема тупика
- •1.3.1.Определение тупика
- •1.3.2.Необходимые условия возникновения тупика и решение задачи предотвращения тупика
- •1.3.3.Модель системы для исследования проблемы тупика
- •1.3.4.Методы распознавания тупика
- •1.3.5.Выход из тупика и восстановление работоспособности системы
- •1.3.6.Методы обхода тупиков
- •Задания для самопроверки Задания по теме «Взаимное исключение» Программные методы решения проблемы взаимного исключения
- •Задачи на работу с семафорами
- •Решение:
- •Решение:
- •Решение:
- •Решение:
- •Решение:
- •Решение:
- •Решение:
- •Контрольная по теме «Синхронизация процессов» Вариант 1
- •Вариант 2
- •Задания по теме «Тупики»
1.3.2.Необходимые условия возникновения тупика и решение задачи предотвращения тупика
Тупики могут возникнуть только в системах, где выполняются четыре необходимых условия их появления:
условие взаимоисключения (процессы требуют предоставления им права монопольного использования ресурсов, которые им выделяются);
условие ожидания ресурсов (процессы, запросившие ресурс, ожидают его выделения, не отказываясь от своих запросов);
условие неперераспределяемости ресурсов (ресурсы, выделенные процессам, не могут быть перераспределены, пока процессы не используют их до конца и не выполнят сами операцию освобождения, даже если процессы, удерживающие ресурсы, находятся в заблокированном состоянии);
условие циклического ожидания (существует кольцевая цепь процессов, в которой каждый процесс удерживает один или более ресурсов, необходимых следующему процессу в этой цепи).
Нарушение какого-либо из этих условий создает возможность предотвращения тупиков в системе.
Все методы предотвращения тупиков имеют одну цель - обеспечение условий, при которых все состояния в системе будут безопасными.
Соблюдение первых трех условий определяется режимом работы ОС, поэтому практически при разработке программных систем можно предотвратить тупики, только сделав невозможным выполнение последнего условия, которое и дает практический подход к решению задачи предотвращения тупиков.
Первый метод (самый простой для реализации) состоит в том, что все ресурсы в системе отдаются в распоряжение одного процесса. Фактически это означает организацию однопрограммного режима работы ВС, что означает неэффективное ее функционирование.
Второй подход состоит в том, чтоб определить все потребности процессов в ресурсах (максимальные потребности для всего времени выполнения процесса в ВС) сразу, при их порождении. Процесс вводится в систему только тогда, когда его максимальные запросы могут быть удовлетворены с учетом распределения ресурсов другим процессам, выполняющимся в системе. Таким образом, запрещается фактически динамическое распределение ресурсов. Тупиков не будет, так как процесс сможет получить ресурсы только тогда, когда все его запросы смогут быть удовлетворены. При этом при выполнении процесса заранее выделенные ему ресурсы могут и не потребоваться, то есть ресурсы ВС будут использоваться также неэффективно.
Третий подход к решению задачи предотвращения тупиков состоит в реализации стратегии упорядочения ресурсов.
Все ресурсы делятся на классы
K1, K2, ... , Kk
так, что ресурс из класса Ki может быть выделен процессу только тогда, когда этому процессу не распределены уже ресурсы из классов
Ki, Ki+1, ... , Kk
(при k=1 получается описанный выше вариант).
Классификация ресурсов выполняется в соответствии с их свойствами и естественным порядком запросов на них от выполняющихся процессов. Самые дорогие ресурсы выделяются обычно в старшие классы.
В операционной системе, в которой реализовано предотвращение тупиков, ресурсы могут быть классифицированы, например, следующим образом:
K1 - файлы, открываемые процессом, K2 - оперативная память ВС, запрашиваемая динамически, K3 - устройства ввода/вывода.
Эти же методы предотвращения тупиков могут быть использованы и при разработке прикладных программ (например, предназначенных для работы в сетевой среде).