|
Множество событий, происходящих в один н тот же момент модельного времени, назовем классом одновременных событий (КОС). На рис.2 Л6 . класс одновременных событий в момент времени / 0 включает события для 1, 4 и 7-го процессов; в момент времени f,3, КОС составляют события для 3, 5 и 8 го процессов и т.д. Рассмотрение КОС примера на рис.2.16, показывает, что в каждом КОС содержится активное событие. Введем следующие допущения: Допущение /. В каждом КОС содержится одно и только одно активное событие. Тогда: а) все остальные события в КОС, если они есть, являются пассивными; б) количество КОС равно мощности объединенного множества времен Т. Допущение 2. Первым событием в любом КОС является активное событие. Если это так, то оставшиеся пассивные события для определения последовательности своего выполнения требуют знания отношения сцепления. Представим отношение сцепления в КОС в виде направленного графа. На рис.2.17, приведен пример некоторого КОС с заданным на нем отношением сцепления. Пример КОС Рис. 2.17. Здесь: ha активное событие; h h , &hj, he, h f пассивные события. |
наименьшим в котором является f*i С оператора и начинается следующий цикл вычислений, и т.д. На этом примере хорошо иллюстрируется алгоритм продвижения модельного времени и порядок выполнения элементарных операторов в каждом процессе. Сделаем некоторые обобщения. Выполнение каждого элементарного оператора назовем событием в системе. Событие активное, если оно следует в треке за элементарным оператором, содержащем h'. На рис.2.22. условия, содержащие Л‘ , выделены жирным шрифтом. К активным событиям относятся выполнение (hwI,c,hwL't), к пассивным событиям относятся выполнение ф п1,сМи''г), (h92x,hglJl), и т.д. Множество событий, происходящих в один и тот же момент модельного времени, назовем классом одновременных событий (КОС). На рис.2.22. класс одновременных событий в момент времени включает события для 1, 4 и 7го процессов; в момент времени /,3, КОС составляют события для 3, 5 и 8 -го процессов и т.д. Рассмотрение КОС примера на рис.2.22. показывает, что в каждом КОС содержится активное событие. Введем следующие допущения: Допущение I . В каждом КОС содержится одно и только одно активное событие. Тогда: а) все остальные события в КОС, если они есть, являются пассивными; б) количество КОС равно мощности объединенного множества времен Т. Допущение 2. Первым событием в любом КОС является активное событие. 101 Если это так, то оставшиеся пассивные события для определения последовательности своего выполнения требуют знания отношения сцепления. Представим отношение сцепления в КОС в виде направленного графа. На рис.2.23. приведен пример некоторого КОС с заданным на нем отношением сцепления. 102 Рис. 2.23. Пример КОС Здесь: ha активное событие; ht,, К, hd, he, h f пассивные события. Из графа следует, что после Иа необходимо выполнить hb либо hc, затем /?(/,либо he', и наконец hf. Задание отношения сцепления для каждого КОС является самостоятельной задачей. Однако можно предложить таким образом определять условие выполнения каждого пассивного события, чтобы оно содержало условие выполнения предыдущего события, т.е. содержало описание отношения сцепления с предыдущим событием. Так, условие выполнения события h(j должно содержать выражение, проверяющее выполнение события къ. Если это удается сделать, то алгоритм формирования КОС выглядит следующим образом: 1. Выполняется активное событие. 2. Проверяются условия всех возможных в системе пассивных событий. 3. Если выполняется условие пассивного события, то оно вычисляется. Алгоритм продолжается с п.2. |