Необходимые условия возникновения тупика и решение задачи предотвращения тупика

Тупики могут возникнуть только в системах, где выполняются четыре необходимых условия их появления:

– условие взаимоисключения (процессы требуют предоставления им права монопольного использования ресурсов, которые им выделяются);

– условие ожидания ресурсов (процессы, запросившие ресурс, ожидают его выделения, не отказываясь от своих запросов);

– условие неперераспределяемости ресурсов (ресурсы, выделенные процессам, не могут быть перераспределены, пока процессы не используют их до конца и не выполнят сами операцию освобождения, даже если процессы, удерживающие ресурсы, находятся в заблокированном состоянии);

– условие циклического ожидания (существует кольцевая цепь процессов, в которой каждый процесс удерживает один или более ресурсов, необходимых следующему процессу в этой цепи).

Нарушение какого-либо из этих условий создает возможность предотвращения тупиков в системе.

Все методы предотвращения тупиков имеют одну цель - обеспечение условий, при которых все состояния в системе будут безопасными.

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

Первый метод (самый простой для реализации) состоит в том, что все ресурсы в системе отдаются в распоряжение одного процесса. Фактически это означает организацию однопрограммного режима работы ВС, что означает неэффективное ее функционирование.

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

Третий подход к решению задачи предотвращения тупиков состоит в реализации стратегии упорядочения ресурсов.

Все ресурсы делятся на классы

K₁, K₂,..., K_k

так, что ресурс из класса K_i может быть выделен процессу только тогда, когда этому процессу не распределены уже ресурсы из классов

K_i, K_i+1,..., K_k

(при k=1 получается описанный выше вариант).

Классификация ресурсов выполняется в соответствии с их свойствами и естественным порядком запросов на них от выполняющихся процессов. Самые дорогие ресурсы выделяются обычно в старшие классы.

В операционной системе, в которой реализовано предотвращение тупиков, ресурсы могут быть классифицированы, например, следующим образом:

K₁ - файлы, открываемые процессом, K₂ - оперативная память ВС, запрашиваемая динамически, K₃ - устройства ввода/вывода.

Эти же методы предотвращения тупиков могут быть использованы и при разработке прикладных программ (например, предназначенных для работы в сетевой среде).