Краткие выводы

Взаимные блокировки являются потенциальной проблемой любой операционной системы. Они возникают в том случае, если все участники группы процессов заблокированы в ожидании события, которое может быть вызвано только действиями другого участника группы.
Эта ситуация приводит к тому, то все процессы пребывают в состоянии вечного ожидания. Зачастую событие, которое ожидается процессом, — это высвобождение какого-нибудь ресурса, удерживаемого другим участником группы. Еще одна ситуация, допускающая возникновение взаимоблокировки, связана с тем, что вся группа процессов обмена данными ожидает сообщения, канал связи пуст и не выставлено никакого времени ожидания.

Ресурсных взаимоблокировок можно избежать, отслеживая безопасные и небезопасные состояния. Безопасное состояние характеризуется наличием последовательности событий, гарантирующей успешное завершение работы всех процессов. Небезопасное состояние таких гарантий не дает. Алгоритм банкира позволяет уклониться от взаимоблокировки, не удовлетворяя запроса, если тот вовлечет систему в небезопасное состояние.

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

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

Активные взаимоблокировки похожи на обычные тем, что могут остановить все продвижение процессов вперед, но технически они отличаются, поскольку в них участвуют фактически не заблокированные процессы. Эффекта зависания можно избежать за счет политики распределения ресурсов по принципу «первым пришел — первым и обслужен».

<< | >>
Источник: Э. ТАНЕНБАУМ Х. БОС. СОВРЕМЕННЫЕ ОПЕРАЦИОННЫЕ СИСТЕМ Ы 4-е ИЗДАНИЕ. 2015

Еще по теме Краткие выводы:

  1. краткие выводы
  2. краткие выводы
  3. Краткие юридические профессиограммы .
  4. СОДЕРЖАНИЕ И ЕГО КРАТКИЙ АНАЛИЗ
  5. 3. Будьте кратки.
  6. КРАТКОЕ ДОХОДЧИВОЕ ИЗЛОЖЕНИЕ*
  7. КРАТКИЙ ОЧЕРК ИСТОРИЧЕСКОГО РАЗВИТИЯ ЮРИДИЧЕСКОЙ ПСИХОЛОГИИ
  8. КРАТКОЕ РЕЗЮМЕ
  9. Борис Акимович Исаев. Социология. Краткий курс, 2010
  10. КРАТКАЯ СУТЬ.
  11. 1.1.2. Краткая информация
  12. 1.2.2. Краткая информация
  13. 1.3.2. Краткая информация
  14. 1.4.2. Краткая информация
  15. 1.5.2. Краткая информация
  16. 1.6.2. Краткая информация
  17. 1.7.2. Краткая информация
  18. 1.8.2. Краткая информация