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

 организации обращения к разделяемым данным, когда число процессов n2,
                  базируется на следующих предпосылках:
           Все    основные     требования    к    алгоритму     управления
параллельными процессами не должны зависеть от количества процессов,
участвующих в межпроцессных взаимодействиях.
           Алгоритм управления взаимодействующими параллельными
процессами должен строится на основе использования результатов
формализации функции взаимоисключения критических участков и на
основе учета принятой приоритетности процессов по доступу к разделяемым
данным.
           Система уравнений, формализующих алгоритм управления в
виде НД СКУ для всех событий, реализуемых в алгоритме управления,
должна иметь одинаковую структуру для обслуживания любого i-го
процесса.
          Напомним основные требования к организации межпроцессного
           взаимодействия при обращении к разделяемым данным.
      Если несколько параллельных процессов, более 2-х, хотят пользоваться
     некоторым критическим ресурсом, под которым понимается ресурс,
    допускающий обслуживание только одного пользователя за один раз в
   режиме разделения, то им следует, во избежание конфликтных ситуаций,
  синхронизировать свои действия таким образом, чтобы этот ресурс всегда
 находился в распоряжении не более чем одного из них. Все другие процессы
    должны переводится в режим ожидания обращения к общему ресурсу.
          Учитывая основные требования к организации межпроцессного
взаимодействия при обращении к разделяемым данным и основные подходы
  для решения задачи формализации алгоритма управления процессами (для
n2), граф НДА, представляющий этот алгоритм (рис.6.3), будет иметь ту же
           структуру, что и граф НДА для 2-х процессов (рис.6.1).




                                                                        164