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

    же время мы не будем вдаваться в такие подразделения видов работ в
   вычислительных системах, для которых, кроме крупных единиц работы
  определяющих процессы (задачи), определяются и более мелкие единицы
работ, для обозначения которых используются термины «поток», «нить» [64].
      Последовательные процессы (в дальнейшем просто процессы), которые
   могут существовать одновременно, называются параллельными. В том
случае, если работа таких процессов будет зависеть друг от друга, то говорят,
     что они взаимодействуют друг с другом, т.е. должны периодически
         синхронизироваться и выполнять функции обмена данными.

     Основные типы (способы) взаимодействия процессов

          В большинстве случаев процессы, определяемые программой,
       взаимодействуют друг с другом в основном двумя способами:
      путем обмена данными между процессами (связь процессов);
      синхронизацией процессов (согласование выполнения процессов).
        Как отмечено в [65], эти два способа взаимодействия процессов не
   являются взаимоисключающими. Действительно, для обмена данными
 между процессами необходимо выполнить их синхронизацию, а с другой –
для синхронизации процессов они обязательно обмениваются данными (хотя
                     бы элементарными сигналами).

     Разделяемые и критические ресурсы
     вычислительных систем

         Для современных средств вычислительной техники по сравнению с
   первыми ВС понятие ресурса стало более универсальным и общим [66].
   Ресурсом стали называть всякий объект ВС, который может разделяться
 внутри ВС. К ресурсам ВС относятся как аппаратные средства (процессоры,
       память, устройства ввода/ вывода и т.д.), так и информационные и
                            программные средства.
         Для повышения эффективности ВС необходимо, чтобы ресурсы ВС
        использовались несколькими процессами, т.е. они должны быть
разделяемыми. Таким образом, разделяемые ресурсы – это ресурсы, которые
                могут использоваться несколькими процессами.
          Под критическим ресурсом понимается ресурс, который допускает
            обслуживание только одного пользователя за один раз.
         Следует отметить, что кроме физических ресурсов (память, печать и
др.), которые являются критическими, критическими ресурсами могут быть и
     разделяемые переменные, значения которых могут менять несколько
   процессов. Например, пусть два процесса А и В разделяют переменную
        СЧЕТЧИК. Если А и В пытаются увеличить счетчик на единицу
  одновременно, то окончательное значение переменной СЧЕТЧИК может

                                                                          150