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

      Учитывая рассматриваемые требования к алгоритму взаимодействия
   параллельными процессами при обращении к разделяемым данным и
   результаты формализации взаимоисключения критических участков,
   представленных в виде уравнений (6.6) и (6.7), систему канонических
уравнений, формализующих рассматриваемый алгоритм управления для 2-х
    процессов можно представить, состоящей из следующих 3-х частей:
               Для 1-ой ветви:                    Для 2-ой ветви:
                                    1                                                           2
        S1 (t  1)  ( S1,З  S1) S k ,                     S 2 (t  1)  ( S 2,З  S 2)S k ,
          1                  2       1       1                2                 1               2   2
        S k (t  1)  S1 S k  S k S p ,                    S k (t  1)  S 2 S k S 1  S k S p ,
                                                              2                     2
        S1p (t  1)  S nk S1k ,                  (6.8а)    S p (t  1)  S nk S k ,                    (6.8б)
          1                      1       1                    2                         2   2
        S r (t  1)  ( S1  S r ) S p ,                    S r (t  1)  ( S 2  S r ) S p ,
        S 1,прод (t  1)  S1r S 1p ,                                               2
                                                            S 1,прод (t  1)  S r S p .
                                                                                        2


              Для последовательной компоненты алгоритма управления:
                        S m (t  1)  S1k S1  S 2k S 2 ,
                                                                         (6.8в)
                        S nk (t  1)  S m ,
 где переменные ( S 1,З и S 2,З) , ( S1 и S 2 ) и ( S 1p и S 2p) имеют тот же смысл, что
 и в разделе 6.3 при рассмотрении вопросов взаимоисключения критических
                                        участков;
         S m - сокращенное обозначение события, обеспечивающего начало
  процедуры реализации обращения к разделяемым данным (критическому
                                        ресурсу);
                S nk - сокращенное обозначение события, являющееся
заключительным в процедуре реализации обращения к разделяемым данным;
        ( S1r и S 2r ) - сокращенное обозначение событий, символизирующих
  ожидание условия выхода первого и второго процессов из критического
  участка после окончания процедуры обращения к разделяемым данным;
               (S 1,прод     и S 2,прод ) - сокращенное обозначение событий,
  инициирующих продолжение работы первого и второго процессов после
          окончания процедуры обращения к разделяемым данным.
             Событие S m будет истинным тогда, когда в непосредственно
    предшествующий момент времени будут истинными условия выхода
   алгоритмического процесса за комбинированный соединитель J(&,v).
   Истинность этих условий определяется наличием принятой заявки на
 обслуживание процесса и нахождения этого процесса в своем критическом
       интервале (S ik S i  1). Учитывая это обстоятельство формальное
    представление события S m будет соответствовать выражению (6.8в).


                                                                                                             161