Операционные системы. Курс лекций




Тупики.


При рассмотрении проблемы тупиков, понятия ресурсов системы целесообразно обобщить и разделить их все на два класса:

  • повторноиспользуемые (системные) типа SR;
  • потребляемые или расходуемые типа CR.
  • Повторноиспользуемый ресурс- конечное множество идентичных единиц со свойствами:

    1.     число единиц ресурса постоянно;

    2.    каждая единица ресурса или доступна или распределена только одному ресурсу;

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

    Расходуемый ресурс обладает свойствами:

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

    2.    процесс потребитель уменьшает число единиц ресурса, приобретая одну или более единиц. Единицы ресурса, которые приобретены, не возвращаются ресурсу. 

    тупик:

      Р1

    Послать сообщение (Р2, М1,ПЯ2)

       Ждать сообщение (Р3, М3,ПЯ1)

    Р2

    Послать сообщение (Р3, М2,ПЯ3)

       Ждать сообщение (Р1, М1,ПЯ2)

    Р3

    Послать сообщение (Р1, М3,ПЯ1)

       Ждать сообщение (Р2, М2,ПЯ3)

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

    Для возникновения ситуации взаимоблокировки должны выполнится 4-е условия:

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




    Содержание  Назад  Вперед