Рассмотрим влияние отношения сцепления на последовательность выполнения операторов про моделировании. Пусть заданы два процесса Zj и Zj, условно изображенные на рис. 1 .2 1. Дискретные состояния процесса Zj пронумерованы от I до 13, а процесса Zz • от 14 до 26. Рассмотрим четыре типовых случая: а) моделируется один процесс Z\9 причем его операторы не сцеплены между собой. 103 Пример сцепления процессов *1 12 Ь ^4 *3 *6 17 Ч Ц *10 1П 112 113 Рис. 2.15. б) моделируется процесс Z\ без ограничения на сцепленность элементарных операторов; в) моделируются два процесса Ъ\ и Z2, при этом эти процессы не сцеплены между собой; г) моделируются два сцепленных процесса Ъ\ и Ъ\ На рис. 2.21. стрелками указано отношение спепления, А. Моделирование процесса Zj при несцепленных операторах hf(Vi). |
б) первым должен вычисляться оператор h(. Доказательство: Поскольку процесс Z развивается в соответствии с треком элементарных операторов и порядком а на Т, то сцепление элементарного оператора в момент времени tj с любым оператором, имеющим t>t[ невозможно. Но поскольку то следовательно tk>ti. Т.к. hr*hk, то отсюда следует, что пространство состояний hi являетея частью аргументов оператора А*. Таким образом, вычисление hk невозможно без определения состояния /?;. Что и требовалось доказать. Рассмотрим влияние отношения сцепления на последовательность выполнения операторов про моделировании. Пусть заданы два процесса Z/ и Z;, условно изображенные на рис.2.2 J. Дискретные состояния процесса Z\ пронумерованы от 1 до 13, а процесса Zг от 14 до 26. Рассмотрим четыре типовых случая: а) моделируется один процесс Z\, причем его операторы не сцеплены между собой. 94 ----------------------------------------------------------------------------------------------------------► 11 12 Ь 15 16 Ч 18 lIO 111 112 113 Рис. 2.21. Пример сцепления процессов б) моделируется процесс 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 |