Статья 453

При такой предпосылке вычисление параллельной программы мыслится как последовательность дискретных шагов. На данном шаге выбирается один из параллельных процессов и один из его переходов полностью выполняется без взаимодействия с переходами из других процессов. За один шаг разрешается выполнение только одного перехода одного из параллельных процессов программы. В результате получается некоторая последовательность переходов из разных процессов. И таких последовательностей для одной параллельной программы может оказаться довольно много в связи с тем, что число комбинаций переходов из составляющих процессов может быть велико.
Для того чтобы при представлении реальной параллельности через интерливинг были учтены все возможные ситуации, возникающие при действительном параллельном вычислении, и наша мультипрограммная вычислительная модель была адекватной, необходимо, чтобы переслаивающиеся инструкции были максимально атомарны.