Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 151 стр.

    оказаться неверным. Поэтому СЧЕТЧИК в данном случае следует
                 рассматривать как критический ресурс.

     Основные базовые функции управления
     взаимодействующими процессами
      Если несколько процессов хотят пользоваться критическим ресурсом в
   режиме разделения, им следует синхронизировать свои действия таким
образом, чтобы этот ресурс всегда находился в распоряжении только одного
  из них. Для такого режима работы процессов необходимо, чтобы система
 управления процессами обеспечивала функцию «взаимоисключение» для
       процессов, которые могут пользоваться критическим ресурсом.
           Если один процесс пользуется в данный момент критическим
ресурсом, то все остальные процессы, которым нужен этот ресурс, временно
 получают отказ и должны ждать, пока он не освободиться. Для реализации
 такого режима работы необходимо, чтобы система управления процессами
                    обеспечивала функцию «ожидания».
            Таким образом, к основным базовым функциям управления
           взаимодействующими процессами относятся: функция
          «взаимоисключение» процессов и функция «ожидание».

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

     Конфликтные ситуации

         Конфликтные ситуации могут возникнуть в ВС при монопольном
   захвате и использовании общих ресурсов для нескольких параллельных
 процессов. К числу конфликтных ситуаций относятся: взаимоблокировка и
                           взаимоотталкивание.
          Взаимоблокировка может возникнуть вследствие конкуренции
    процессов при захвате разделяемых ресурсов. Простейшим примером
       возникновения взаимоблокировки является ситуация, когда два
  взаимодействующих процесса разделяют два ресурса, причем каждому из
них для нормального функционирования требуется сразу оба ресурса [67]. В
                                                                      151