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

когда данный процесс не находится в своем критическом участке. Тем самым
   должны исключаться повторные обращения к разделяемым данным для
 процесса, имеющего наивысший приоритет, несмотря на наличие заявки на
    обслуживание другого процесса, имеющего более низкий приоритет.
  Учитывая эти замечания, а также результат формализации несовместимых
 событий (6а) и (6б), система уравнений для событий , определяющих прием
   заявок двух процессов на обслуживание при обращении к разделяемым
                    данным, будет иметь следующий вид:
                                                    1
                       S 1 (t  1)  ( S 1,З  S1) S k ,
                                                                    (6.7)
                                                      2
                       S 2 (t  1)  ( S 2,З  S 2) S k ,
 где S 1,З и S 2,З - сокращенное обозначение событий, свидетельствующих о
                        поступлении заявок первого и второго процессов на
                       обслуживание для обращения к разделяемым данным.
           В заключение обратим внимание, что полученные в результате
     формализации функции взаимоисключения критических участков
 (интервалов), представленные системами уравнений (6.6) и (6.7) являются
    основой для формализации алгоритмов управления параллельными
  процессами при решении многих задач межпроцессного взаимодействия.
   Решение некоторых из таких задач будет рассмотрено в последующих
                                    разделах.

 6.4. Формализация алгоритма управления взаимодей-
ствующими параллельными процессами при обращении
       к разделяемым данным (общему ресурсу)
           Рассматриваемый алгоритм управления взаимодействующими
параллельными процессами является важнейшей составной частью решения
  многих «классических» задач, посвященных проблемам межпроцессного
  взаимодействия при использовании разделяемых ресурсов. К числу таких
 «классических» задач, варианты решения которых будут рассматриваться в
  последующих разделах, относятся задачи: «производители-потребители»,
               «читатели-писатели» и «обедающие философы».
            Решение задачи формализации рассматриваемого алгоритма
      управления взаимодействующими параллельными процессами при
       обращении к разделяемым данным основывается на результатах
  формализации функции взаимоисключения критических участков (раздел
                                    6.3).
          Напомним, что основное требование к алгоритму взаимодействия
параллельными процессами при организации доступа к разделяемым данным
       заключается в том, чтобы во время обращения одного процесса к
 разделяемым данным всем другим процессам это было бы запрещено. Для
   того, чтобы избежать конфликтных ситуаций при таком взаимодействии

                                                                        159