|
108 Таблица 4.1 Полный перечень типов узлов модели ! j I Диспатчерекмвг узловые и серяпсизде фумкщси „.и: I ни ..... •••:•-•'WilT^-WA7f7:W*BIF»l*lllJJ)t:JnnwrWT11TJJJlJUiniIIIUJJI .ЩИ. 4 ..111 Диайетадрскяв фумхадсг: network<е1л; даспстчор сХ, е2 мода-mi прсщесссь аи г.иешнел срезе (ияк durayi faul t ‘ : пихоя г.с ехтЕкк ег: кОЛ ОПНСлуц псльчпллтолк UpihH ■** 7очкл пходл п узел *'пи л иомер узла place; фокт вхаад грллиазта & узел Уэяоама -Фукзорш; surv kn, с, u, tr mr с, о, п) ; узел ^Е^Л'у^иа-а.кий е г. каналами send kn. fcl г 5ГПг и, п1; прпводка на cwt Оухгадтер£киго учета attach <кл, г©, и, л> г тз^грэз на manage Все транзакты, порождаемые в процессе моделирования, образуют списки, в которых транзакты отсортированы, во-первых, по времени, во-вторых, при равных временах у транзактов, по приоритетам. В процессе моделирования может быть образовано несколько списков: список текущих событий содержит 1 |
88 изменяющихся свойств и параметров. Пути миграции транзактов по графу стохастической сети определяются логикой функционирования компонентов модели. Узлы модели представляют собой средства обслуживания транзактов, посредством которых транзакты могут задерживаться, обслуживаться, порождать семейства новых транзактов, уничтожать другие транзакты. Вид обслуживания транзакта определяется типом узла. Полный перечень типов узлов, которые можно использовать при создании модели приведен в Приложении 3. Одним из базовых понятий имитационного моделирования является событие, определяемое как изменение состояния системы. Моделирование системы на Pilgrim, по существу, представляет собой имитацию последовательности переходов системы из одного состояния в другое в некоторые моменты времени, поэтому важнейшим является организация единого модельного времени. В общем случае событием называется факт выхода из узла одного транзакта. Управление событиями осуществляет координатор network, который определяет правила движения транзактов и координацию взаимодействующих процессов. Время в модели отображается в условных единицах, масштаб которых устанавливается исследователем. При этом моделирование зависимости от поставленных целей, может осуществляться в реальном, ускоренном или замедленном времени. Описание модели представляет собой последовательность блоков, каждый из которых соответствует некоторому оператору (подпрограмме). Процесс моделирования состоит в порождении, удалении из модели и в продвижении от блока к блоку модели по определенным правилам транзактов, представляющих совокупность ряда числовых и/или логических характеристик. Для имитации процессов, протекающих моделируемой системе, Pilgrim предусмотрен следующий механизм. Все транзакты, порождаемые в процессе моделирования, образуют списки, в которых транзакты отсортированы, во-первых, по времени, во-вторых, при равных временах у 89 транзактов, по приоритетам. В процессе моделирования может быть образовано несколько списков: список текущих событий содержит транзакты, которые должны перемещаться в текущий момент модельного времени; все они имеют одинаковое время, равное текущему, и если их приоритеты совпадают, то очередной транзакт для перемещения выбирается по правилу FIFO; список будущих событий содержит транзакты, которые будут перемещаться по модели в будущие моменты времени; в этот список попадают транзакты, вошедшие в блоки имитации задержки или заблокированные по каким-либо условиям; списки прерывании, синхронизации и пользователя содержат транзакты, обслуживание которых прервано по некоторым условиям, задаваемым блоками прерывания, синхронизации или находящимся под управлением пользователя. Алгоритм событийного моделирования состоит формировании, просмотре и изменении этих списков, в перемещении транзактов из одного списка в другой и в продвижении одного из транзактов (активного, находящегося на вершине списка текущих событий) по блокам модели. Продвижение текущего транзакта продолжается по блокам модели до тех пор, пока не произойдет одно из следующих событий: транзакт входит в блок задержки, в котором время транзакта увеличивается на значение, определяемое параметрами узла, и транзакт переходит в список будущих событий; транзакт входит в один из блоков проверки условий, и условие не позволяет транзакту перемещаться дальше (наступает условие блокировки), тогда транзакт переводится в список будущих событий; транзакт входит в блок удаления TERMINATE. Затем выбирается из списка текущих событий следующий транзакт и начинается его продвижение по модели. Если становится невозможным продвижение всех транзактов из списка текущих событий, то изменяется текущий момент времени (т. е. наступает время следующего события или группы событий) и все сказанное выше повторяется. Моделирование синхронизация параллельных процессови |