|
кАЛц и A?,J1 19.. В треке процесса Z4 выполняется оператор состояния /?4,с^ и устанавливается логическое условие h4J[\b>а в треке процесса Z? A7>c2о и временное условие Л7(!2оНа рис.2.16. соответствующие события отмечены светлыми кружками. Событие по временному условию показано на рис.2.16. в виде темного кружка. Так как больше условий не выполняется, то необходимо перейти к новым элементарным операторам в соответствии с треками. В рассматриваемый момент времени следующее активное временное множество имеет вид Согласно (2.14.) необходимо перейти к новому моменту времени В нашем случае ц = . Первым выполняется оператор с, h]( ^, который изменяет состояние объекта О* и системы в целом, а также формирует новый заказ времени передвижения своего инициатора 1з в момент времени rf2*При этом выполняются логические условия для процессов Z5 и Z%. Инициаторы 15 и 1$ * вызывают выполнение операторов <й*с7 ,/г Л7 ) и ( hs %2 ^ 32) соответственно. Формируется новое активное временное множество; jf,32, 1**2 1*fle }> наименьшим в котором является t\{. С оператора и начинается следующий цикл вычислений, и т.д. На этом примере хорошо иллюстрируется алгоритм продвижения модельного времени и порядок выполнения элементарных операторов в каждом процессе. Сделаем некоторые обобщения. Выполнение каждого элементарного оператора назовем событием в системе. Событие активное, если оно следует в треке за элементарным оператором, содержащем \i. На рис.2.16. условия, содержащие Н , выделены жирным шрифтом. К активным событиям относятся выполнение fibio'.hio1-’), < h „ V ) . ( й Л / ^ и т л Событие пассивное, если оно следует в треке за элементарным оператором, содержащем И\ На рис.2.16, к пассивным событиям относятся выполнение ф и''сЛ / ,'Х (h9lc.h /" ), (к,7-сМ ,*я) и т.д. |
zr h,l,cV4' V ^ h..M * ly h.5jl> v 6 IJ ^ S) V * "21 \ ) -;J) »• h *•■> ► K 1 J > V t V ’ d , h,,7^ k 4 V ;V " > > V t -h 8’c Ьи*> ч IJ ► к/ ■■ ■" T <-H 9,c t. 9,*> > "is v . ► . i I ’ ; ► t j U‘ I 7 t,» t J t 1• i i *11 *2 ! *21 ‘ 26 ‘ 12 П Рис. 2.22. Пример реализации процессов через события Так как больше условий не выполняется, то необходимо перейти к новым элементарным операторам в соответствии с треками. В рассматриваемый момент времени следующее активное временное множество имеет вид {\\>12 \>12 \’12б ■Согласно (2.14.) необходимо перейти к новому моменту времени г0 = •В нашем случае Первым выполняется оператор ( h ^ . h ^ ) , который изменяет состояние объекта ()$ и системы в целом, а также формирует новый заказ времени передвижения своего инициатора I.? в момент времени /р. При этом выполняются логические условия для процессов Z% и Z*. Инициаторы Ь и I* вызывают выполнение операторов (h: x 7 ,h5-''7 ) и ( ИНхз2 ,hs’n32) соответственно. Формируется повое активное временное множество: ^ р » наименьшим в котором является f*i С оператора и начинается следующий цикл вычислений, и т.д. На этом примере хорошо иллюстрируется алгоритм продвижения модельного времени и порядок выполнения элементарных операторов в каждом процессе. Сделаем некоторые обобщения. Выполнение каждого элементарного оператора назовем событием в системе. Событие активное, если оно следует в треке за элементарным оператором, содержащем h'. На рис.2.22. условия, содержащие Л‘ , выделены жирным шрифтом. К активным событиям относятся выполнение (hwI,c,hwL't), Событие пассивное, если оно следует в треке за элементарным оператором, содержащем ft\ На рис.2.22. к пассивным событиям относятся выполнение ф п1,сМи''г), (h92x,hglJl), и т.д. Множество событий, происходящих в один и тот же момент модельного времени, назовем классом одновременных событий (КОС). На рис.2.22. класс одновременных событий в момент времени включает события для 1, 4 и 7го процессов; в момент времени /,3, КОС составляют события для 3, 5 и 8 -го процессов и т.д. Рассмотрение КОС примера на рис.2.22. показывает, что в каждом КОС содержится активное событие. Введем следующие допущения: Допущение I . В каждом КОС содержится одно и только одно активное событие. Тогда: а) все остальные события в КОС, если они есть, являются пассивными; б) количество КОС равно мощности объединенного множества времен Т. Допущение 2. Первым событием в любом КОС является активное событие. 101 |