Условия возникновения ресурсных взаимоблокировок

Коффман (Coffman et al., 1971) показал, что для возникновения ресурсных взаимоблокировок должны выполняться четыре условия:

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

2. Условие удержания и ожидания. Процессы, удерживающие в данный момент ранее выделенные им ресурсы, могут запрашивать новые ресурсы.

3. Условие невыгружаемости. Ранее выделенные ресурсы не могут быть принудительно отобраны у процесса. Они должны быть явным образом высвобождены тем процессом, который их удерживает.

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

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

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

6.2.2.

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

Еще по теме Условия возникновения ресурсных взаимоблокировок:

  1. § 2. Основание и условия возникновения обязательств из причинения вреда
  2. 3. Условия возникновения обязательств из неосновательного обогащения
  3. Дисфункциональные взаимоотношения в семье как условие возникновения ревности
  4. 2. Условия возникновения обязательств из действий в чужом интересе
  5. Социально-экономические условия возникновения теории организаций.
  6. § 1. Понятие и условия возникновения обязательств вследствие причинения вреда
  7. Ресурсные состояния.
  8. § 1. Понятие и условия возникновения обязательств вследствие неосновательного обогащения
  9. § 2 Условное обязательство. – Разные виды условий. – Наступление условия и его действие. – Соотношение условий. – Понятие о сроке. – Действие срока.
  10. § 66 Об условных назначениях вообще. – Условия невозможные и незаконные. – Условия, стесняющие гражданскую свободу.
  11. § 5 Другое условие для вступления в брак – свобода от брачных уз. – Траурный срок. – Брак разведенных. – Брак разведенных за прелюбодеяние. – Четвертый брак. – Третье условие – отсутствие родства и свойства. – Постановления иностранных законодательств и русского церковного права.