Поскольку сцепление hj~*h,+i отсутствует для всех i, то последовательность вычислений элементарных операторов не имеет значения и операторы ht(Vi). могут вычисляться в любом порядке. Б. Моделирование процесса Z\ в общем случае. Естественно предположить, что последовательные состояния одного процесса сцеплены между собой. Предположим, что й,— для всех /= 1,п. Из утверждения 1 следует, что в таком случае для всех i = l,n . Таким образом, последовательность сцепленных операторов строго следует порядку а на Т. Из этого же утверэдения следует, что последовательность вычислений операторов должна определяться этим же порядком. В. Моделирование несцепленных между собой процессов Z и Z2Предполагаем, что процессы Z\ и Z2 в отдельности представлены общим случаем. Если h\ операторы процесса Zi, а й / операторы процесса Z2, то по предположению отсутствует сцепление между h\ и й / для всех / и J. Так же, как и в случае А, здесь последовательность вычислений элементарных операторов из разных процессов не имеет значения. Однако, поскольку все й / сцеплены между собой, и все й / также сцеплены между собой, важно, чтобы в этой последовательности выполнялся порядок а* для процесса Zi и а 2 для процесса Z;. В частности, возможен вариант вычисления сначала всех операторов процесса Zi, а затем всех операторов процесса Z2. Очевидно, что порядок ct и аг при этом сохраняется. Г. Моделирование сцепленных между собой процессов Z и Z2 . Пример сцепления показан нарнс.2.15. В этом случае должен быть обязательно выдержан порядок cti для Z\ и а 2 для Z2, поскольку в общем случае внутри каждого процесса существует сцепленность элементарных операторов. Кроме того, необходимо выполнить условия Утверждения 1 для любой пары сцепленных операторов из разных |
б) моделируется процесс Z\ без ограничения на сцепленность элементарных операторов; в) моделируются два процесса Ъ\ и Z2, при этом эти процессы не сцеплены между собой; г) моделируются два сцепленных процесса Ъ\ и Z\ На рис. 2.21. стрелками указано отношение сцепления. A. Моделирование процесса Z\ при несцепленных операторах hj(Vi). Поскольку сцепление h,—>hl+[ отсутствует для всех i, то последовательность вычислений элементарных операторов не имеет значения иоператоры hi(Vi). могут вычисляться в любом порядке. Б. Моделирование процесса Z\ в общем случае. Естественно предположить, что последовательные состояния одного процесса сцеплены между собой. Предположим, что hi—Жщ, для всех i ~ \,п . Из утверждения 1 следует, что в таком случаедля всех i = 1,п . Таким образом, последовательность сцепленных операторов строго следует порядку а на Т. Из этого же утверждения следует, что последовательность вычислений операторов должна определяться этим же порядком. B. Моделирование несцепленных между собой процессов Z\ и Z2. Предполагаем, что процессы Z\ и Z2 в отдельности представлены общим случаем. Если h\ операторы процесса Zj, a /jj2 операторы процесса Z2, то по предположению отсутствует сцепление между /?,' и /г/ для всех / и j. Так же, как и в случае А, здесь последовательность вычислений элементарных операторов из разных процессов не имеет значения. Однако, поскольку все /?,' сцеплены между собой, и все Л,2 также сцеплены между собой, важно, чтобы в этой последовательности выполнялся порядок ct для процесса Z\ и а2 для процесса ZгВ частности, возможен вариант вычисления сначала всех 95 операторов процесса Zi, а затем всех операторов процесса Z2. Очевидно, что порядок а.\ и а 2 при этом сохраняется. Г. Моделирование сцепленных между собой процессов Ъ\ и Zi. Пример сцепления показан на рис.2 .2 1 . В этом случае должен быть обязательно выдержан порядок а] для Z) и (*2 для Zi, поскольку в общем случае внутри каждого процесса существует сцепленность элементарных операторов. Кроме того, необходимо выполнить условия Утверждения 1 для любой пары сцепленных операторов из разных процессов. Так, для приведенного на рис. 2.21. примера в соответствие с условиями Утверждения 1, из операторов h\ и /г14 первым должен вычисляться оператор hi, из h$ и h\%первым h\%и т.д. Получим возможный порядок вычислений; h i, h[4, (/?2 , A15), (A3 , h\^\ hn, Ыи т.д. В скобках указаны пары операторов из разных процессов, для которых можно поменять порядок вычислений. На основании проведенного анализа можно сделать следующие выводы; 1. Для каждого процесса в ходе вычисления операторов необходимо строго придерживаться порядка а на Т. 2. Выполнение п.1, обеспечивает реализацию сцепленности операторов hi-Ж), если ti При выполнении п.1 указание сцепленности операторов с разным значением г, в рамках одного процесса не добавляет новых ограничений на порядок расчета и может быть опущено. Действительно, если вычислены элементарные операторы И\о и /?2з в момент времени то указание Иц—Жи не меняет порядок вычислений, поскольку к моменту времени /ц будет рассчитан оператор h-^. При этом условие сцепленности выполняется автоматически. 96 |