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

         1. В любой момент времени только один процесс может находиться
                        внутри критического интервала.
            2. Ни один процесс не может оставаться внутри критического
                         интервала бесконечно долго.
            3. Ни один процесс не должен ждать бесконечно долго входа в
                            критический интервал.
         Первое требование, предъявляемое к критическим участкам должно
      обеспечиваться взаимоисключением (несовместимостью) событий,
     определяющих как входы процессов в свои критические участки при
 организации доступа к разделяемым данным, так и нахождение процессов в
своих критических участках с учетом принятой дисциплины приоритетности
                                  процессов.
        Второе требование, предъявляемое к критическим участкам, должно
        обеспечиваться таким описанием условий сохранения событий,
определяющих входы процессов в свои критические интервалы, для которых
эти события будут существовать, пока не закончится процедура одноразового
  обращения к разделяемым данным. Учитывая эти замечания относительно
 обеспечения первого и второго требований, предъявляемых к критическим
  участкам, а также результат формализации несовместимых событий (6.4),
   система уравнений для событий, определяющих входы процессов в свои
   критические участки при обращении к разделяемым данным будут иметь
                               следующий вид:
                                             2             1
                       S1k (t  1)  S1 S k  S1k S p ,
                                                                      ,   (6.6)
                                              1                 2
                       S 2k (t    1)    S2S k   S1    S k2 S p ,
  где S1 и S 2 - сокращенное обозначение событий, определяющих прием
                  заявок первого и второго процессов на обслуживание для
                   обращения к разделяемым данным (событие пассивного
                       ожидания обращения к разделяемым данным);
        1      2
       S k и S k - сокращенное обозначение событий, определяющих входы
                   первого и второго процессов в свои критические участки;
                    эти события при их истинности свидетельствуют также о
                 том, что соответствующие процессы находятся внутри своих
                                    критических участков;
           1      2
          S p и S p - сокращенное обозначение событий, обеспечивающих
                выход первого и второго процессов из критического участка
                    после окончания процедуры обращения к разделяемым
                                         данным.
       Третье требование, предъявляемое к критическим участкам, должно
обеспечиваться такой формализацией событий, определяющих прием заявок
   на обслуживание при обращении к разделяемым данным, когда заявка
какого-либо процесса на обслуживание воспринимается только в том случае,

                                                                              158