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

  Глава 6. Формализация алгоритмов управления
      взаимодействующими процессами для
      организации параллельной обработки
                  информации

 6.1. Общие сведения о процессах и их взаимодействиях
          При рассмотрении вопросов формального описания алгоритмов
     управления взаимодействующими процессами будем использовать
    некоторые основные понятия и определения, связанные с механизмом
управления процессами и средствами их взаимодействия, которые приняты в
 теории и практике, как системного программного обеспечения при решении
  вопросов координации взаимодействующих процессов, так и прикладного
  программного обеспечения при решении задач организации параллельных
                               вычислений.
        К числу таких основных понятий и определений относятся понятия:
          процесса и основных типов их взаимодействия;
          разделяемых и критических ресурсов;
          критического интервала (участка) и конфликтных ситуаций,
возникающих при использовании общих ресурсов;
          основных базовых функций управления взаимодействием
параллельными процессами и механизмах организации взаимодействия
процессов для решения задач их координации.

     Понятие процесса
           В литературе по аппаратному и программному обеспечению
     вычислительных систем (ВС) существует множество неформальных
  определений процесса. В данном разделе мы используем термин процесс
полагая, что интуитивно понимаем его значения, связывая понятие процесса
с программой, выполняемой на компьютере. В [61] дано такое неформальное
   определение процесса: «Последовательный процесс (иногда называемый
  «ЗАДАЧА») есть работа, производимая последовательным процессом при
  выполнении программы с ее данными с логической точки зрения каждый
         процесс имеет свой собственный процессор и программу. В
     действительности два разных процесса могут разделять одну и ту же
     программу или один и тот же процессор. Таким образом, процесс не
эквивалентен программе, а также это не то же самое что процессор; это пара
                <процессор, программа> при выполнении».
            В нашей работе под понятием процесса будем понимать его
неформальное определение, как «программа во время выполнения» [63]. В то

                                                                       149