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

     Механизмы взаимодействия (или средства
     взаимодействия) процессов, используемые
     для решения задач их координации

          Для организации взаимодействия процессов, основными типами
    которой является синхронизация и обмен сообщениями, используются
                         следующие механизмы [68]:
           Механизм семафорной техники, который обеспечивает
взаимоисключающий доступ нескольких процессов к разделяемым ресурсам.
           Организация специальных областей памяти (разделяемая память),
в которые несколько процессов могут записать и считать информацию,
осуществляя, таким образом, взаимодействие.
           Механизм обмена сообщениями между процессами на уровне
специальных сигналов.
           Механизм организации очередей процессов, ожидающих
обслуживания
           Механизм, обеспечивающий задержку выполнения процессов до
наступления некоторого события.
            В заключении отметим, что проблему обмена информацией и
       синхронизации процессов решают в современных ВС в основном
   программным способом с использованием различных механизмов. Такое
    решение вопросов управления межпроцессным взаимодействием имеет
     следующие недостатки: недостаточная надежность ВС и их защита от
возможного несанкционированного доступа [62,69]; требуется значительный
  объем оперативной памяти и сравнительно большое время для реализации
      таких взаимодействий, что уменьшает производительность ВС. Эти
       недостатки особенно усугубляются, когда многопроцессорные ВС
 используются для управления технологическими процессами и объектами в
                         реальном масштабе времени.
       В связи с этим возникает задача реализации таких функций управления
процессами на аппаратном или микропрограммном уровне в виде аппаратной
      поддержки операционных систем, что в свою очередь ставит задачу
     формального описания алгоритмов управления взаимодействующими
   процессами [62, 81-83]. Для решения этих задач в последующих разделах
учебного пособия предлагается один из возможных вариантов формализации
  алгоритмов управления взаимодействующими процессами, основанный на
       использовании методов теории недетерминированных автоматов.
    6.2. Формализация простейших базовых структур
         управления (управляющих конструкций)
            взаимодействующими процессами


                                                                       153