|
107 Таблица^.! Полный перечень типов узлов модели г уам&аша и»шхщалиэаики , да.иУ,9Жи?Д...!.Л"," „III и > •»: лцсп^тчер;п-й:Шогк(й1л е2); :Тр&ВДОТ08 el, е-2 №жм прсц&схоь дп яжнцйдй cg?eae (или йшцпу] ;£да!l C-err Н 'П-Ьч<р.я лс олийхе егГ -КОД С-ПЙ&КМ .ПСЛЬЗО1*ЭТЭДЯ : tOр f.П > t '■ТОЧИЛ Р-ХС-.ДЯ й yaw '0 н" п номер узла place,' ~ факт входа. тралза&^а. в уаел Узловые функции: унел-ййуу rkn, о, u:, г,m, гу о,, го.; ~ обслуживалий с л каналами аеnd {kn.r k 1, sm, u, n,1; приводка на стет бух.г&л«ре)с&20 учета a iraan <&пй rs?ц.г ; ~ .^.прад на ресурс manage г4; ~ мш^лжер рьеуреоь qu.e-oe'knz и,п); счерельяроие-сс I*/ J *ММ и ргод (кд.г Rpz a, t ,mt z, o>-&’} t ™ £ Т'рйНЗа K7HC ~2/npл ил, адти»депть» ^хш.сед; ^ержнйтср create [ferf да-#ЬД #«.}•/• ~ мул и типлих&тар dele с. [ кг*, f, я.,о \; сбор-дих. $fzy-‘i кп.Л гз > ? клапан ■ч *уо:ции: кк!ЩИ'ДЛИД>да>1: мад&ля: rc-jdbeg (j, q ., s;, .h, нс, dq r dp , rif z dr t ma); шетажада.8 модели. ■j •”■ махсимдлыкж чисдр увлдь г хачадькой значение П€Ч h ~ дажвдг тпетирспапил dq динамика времени задержки в спереди df Дймамиха нет-ока. гран за стоя ь термина турках тогеность времеки agikn, хгF> r, m, з,, о, п); генератор транаактоь кп усдодной н &$£мем&вапмв генератора 1 штжкруемьФ узел: (генератор) р пГйПрнтнТ, мД^НДчаДмшй транзакту г тип распределение {погод urdlr схрог er.ln.jbeta, папе.) m маттожплйкие (г по»,, дхроу artif> а ■" срелвек^, отнломвхип' (г петт) п уаел-гфеемяи7< •»✓«» pay структурно 'узел ф^н&лездъгх ПЛЯ7ДЖГ;Й 1Ж струтнурнуй упел видад-елий ресуреи.в П-ОкИ ЯрОЯ&Г1<ШМЯДЙ структурной утюл parent структурный узел ^мртуляь-ного простраяетаа модели пискив ;dnt^cb (nt z ггД? вернуть ресурс<1 *. I. I < п:СаГХуО£ХШ1лГ^,П2П “ПОХИТИТЬ рпкуры : treedUb ”* *смс«йя5/< тр$н#ак.та д-Ьдд i i г Рл * , я-/с., огп:!,* настроить ; генератор teldtl’i ? закрыть клапан relstijf; ■*■■■ открыть хлопан acoivlil; акгиа.изирсьа;ть процесс passivU.H прервать, процесс clcode структурный оператор НгШ-йЛЯ Олоха РП^рзсорОа яаьЛхЦ -С ^о£сгь-нгез.в g,-w/pyH оми^’гание печати результатов гво ~ имя фай-^а -с реэулъта.таки м©я«я^гд>^тя q н-ймер 1~й страхи;иы. -ст-нета w ■-гнело стррх a u)ply Uti, га В начальна я иошй-о;сть ресурса п1. ресурс? куда переместить г-s™ чясло эл-виеятавресурс# assign < ИЗ ? am’i -( начальное ассирноаанк-е на счет fcl узел-счет ВХутрвнюив Датчики ПСЧ t ?/ ~ normal (ль s'! нормальней ч ехролс drd“ эксП’Эйв.н^ийлзиНый -■ u.ni.frmfmz л I рапнемернтй [т~ :2г а v rundumtj равн^ггсрньД! на (ОД! v erlang (si, ар* сс-обшеннь^ ■Эрланга v «■ дг 1рД-ёхПm-z»j о) Веьау V f/if ftm '{#№> v W м97С i vr S/4 распределение *o«sTZ ♦ /Г Для имитации процессов, протекающих в моделируемой системе, в Pilgrim предусмотрен следующий механизм. Все транзакты, порождаемые в процессе моделирования, образуют списки, в которых транзакты отсортированы, во-первых, по времени, во-вторых, при равных временах у транзактов, по приоритетам. В процессе моделирования может быть образовано несколько списков: список текущих событий содержит |
88 изменяющихся свойств и параметров. Пути миграции транзактов по графу стохастической сети определяются логикой функционирования компонентов модели. Узлы модели представляют собой средства обслуживания транзактов, посредством которых транзакты могут задерживаться, обслуживаться, порождать семейства новых транзактов, уничтожать другие транзакты. Вид обслуживания транзакта определяется типом узла. Полный перечень типов узлов, которые можно использовать при создании модели приведен в Приложении 3. Одним из базовых понятий имитационного моделирования является событие, определяемое как изменение состояния системы. Моделирование системы на Pilgrim, по существу, представляет собой имитацию последовательности переходов системы из одного состояния в другое в некоторые моменты времени, поэтому важнейшим является организация единого модельного времени. В общем случае событием называется факт выхода из узла одного транзакта. Управление событиями осуществляет координатор network, который определяет правила движения транзактов и координацию взаимодействующих процессов. Время в модели отображается в условных единицах, масштаб которых устанавливается исследователем. При этом моделирование зависимости от поставленных целей, может осуществляться в реальном, ускоренном или замедленном времени. Описание модели представляет собой последовательность блоков, каждый из которых соответствует некоторому оператору (подпрограмме). Процесс моделирования состоит в порождении, удалении из модели и в продвижении от блока к блоку модели по определенным правилам транзактов, представляющих совокупность ряда числовых и/или логических характеристик. Для имитации процессов, протекающих моделируемой системе, Pilgrim предусмотрен следующий механизм. Все транзакты, порождаемые в процессе моделирования, образуют списки, в которых транзакты отсортированы, во-первых, по времени, во-вторых, при равных временах у 89 транзактов, по приоритетам. В процессе моделирования может быть образовано несколько списков: список текущих событий содержит транзакты, которые должны перемещаться в текущий момент модельного времени; все они имеют одинаковое время, равное текущему, и если их приоритеты совпадают, то очередной транзакт для перемещения выбирается по правилу FIFO; список будущих событий содержит транзакты, которые будут перемещаться по модели в будущие моменты времени; в этот список попадают транзакты, вошедшие в блоки имитации задержки или заблокированные по каким-либо условиям; списки прерывании, синхронизации и пользователя содержат транзакты, обслуживание которых прервано по некоторым условиям, задаваемым блоками прерывания, синхронизации или находящимся под управлением пользователя. Алгоритм событийного моделирования состоит формировании, просмотре и изменении этих списков, в перемещении транзактов из одного списка в другой и в продвижении одного из транзактов (активного, находящегося на вершине списка текущих событий) по блокам модели. Продвижение текущего транзакта продолжается по блокам модели до тех пор, пока не произойдет одно из следующих событий: транзакт входит в блок задержки, в котором время транзакта увеличивается на значение, определяемое параметрами узла, и транзакт переходит в список будущих событий; транзакт входит в один из блоков проверки условий, и условие не позволяет транзакту перемещаться дальше (наступает условие блокировки), тогда транзакт переводится в список будущих событий; транзакт входит в блок удаления TERMINATE. Затем выбирается из списка текущих событий следующий транзакт и начинается его продвижение по модели. Если становится невозможным продвижение всех транзактов из списка текущих событий, то изменяется текущий момент времени (т. е. наступает время следующего события или группы событий) и все сказанное выше повторяется. Моделирование синхронизация параллельных процессови |