145
бытия-взаимодействия, обрабатываемого аналогично режиму верифи-
кации, и простого события, следующего за взаимодействием и опреде-
ляющего его длительность. После обработки последнего события про-
цесс удаляется из циклического списка, описывающего сеть. На каж-
дом шаге, при генерации очередного кванта проверяется количество
приостановленных процессов, если это количество равно числу про-
цессов в списке, то значит сеть находится в заблокированном состоя-
нии. Когда список становится пустым, процесс моделирования завер-
шается, количество сгенерированных квантов определяет общее время
обработки. В процессе моделирования собирается информация о вре-
мени выполнения каждого процесса и его простоя, времени, которое
потребляют выбранные события, и т.д.
Помимо простых событий и событий-взаимодействий для модели-
рования процессов в системе используются события, реализующие
оператор присваивания, условный оператор и цикл. Предполагается,
что эти служебные события не потребляют временной квант. Услов-
ный оператор и цикл просто переустанавливают указатель текущего
события в соответствии со значением логической функции. Оператор
присваивания изменяет значение некоторой переменной процесса и
устанавливает следующее событие как текущее. Если необходимо
учесть время выполнения таких конструкций, то в список событий
процесса за служебным событием (или перед ним) вставляется простое
событие соответствующей длительности.
Данная квантовая модель естественным образом обобщается на
случай выполнения потоковой сети на нескольких процессорах. При
этом список процессов, составляющих такую распределенную сеть,
подразделяется на несколько подсписков, соответствующих конкрет-
ному компьютеру. Внутри каждого подсписка независимо формирует-
ся собственный квант времени, который потребляют составляющие
его процессы.
Достарыңызбен бөлісу: