Файл: Конспект лекций Для студентов специальности 080801. 65 - приклад.doc

Когда транзакт входит в блок SEIZE, проводится корректировка статистики, связанной с заданным в этом блоке устройством. Потом транзакт переходит к блоку DEPART, где корректируется статистика очереди, а потом переходит к блоку ADVANCE, в котором он остает­ся на протяжении времени, определяемом операндами блока AD­VANCE.

После выхода из блока ADVANCE транзакт входит в блок RELEASE. Освобождается указанное в блоке устройство и коррек­тируется связанная с ним статистика. После этого транзакт переме­щается к блоку UNLINK.

При перемещении транзакта к блоку UNLINK просматривается СП, имя которого задано в операнде А:

1) если СП пуст, то есть CH$CHAIN=0, то индикатор списка устанавливается в «0» и транзакт переходит к следующему по номеру блоку, то есть к TERMINATE;

2) если СП не пуст, то есть CHSCHAIN≠0, то первый транзакт этого списка удаляется, помещается в СТС и направляется к блоку, указанному в операнде В блока UNLINK (в данной модели это блок SEIZE, помеченный меткой CAN). А транзакт, вошедший в блок UNLINK, перемещается к блоку TERMINATE.

Рассмотренная модель не сложна, но хорошо иллюстрирует не­сколько важных моментов:

1) в этой системе активными могут быть только те транзакты, которые выходят из блока GENERATE, или тот транзакт, который в данный момент занимает устройство. Все остальные транзакты нахо­дятся в СП CHAIN;

2) так как все задержанные транзакты, то есть транзакты, нахо­дящиеся в очереди к устройству FC_1, будут помещены в СП CHAIN, интерпретатор не будет тратить время на изменение индика­торов задержки всех этих транзактов при каждом изменении положе­ния устройства. Экономия времени зависит от длины очереди: чем длиннее очередь, тем больше времени будет сэкономлено благодаря блокам LINK - UNLINK, которые используются для управления оче­редями к разным объектам;

3) пользователь имеет возможность динамически формировать свои списки независимо от списков задержки, которые поддержива­ются системой GPSS;

4) использование блоков LINK-UNLINK дает возможность синхронизировать движение разных транзактов в модели, например, задерживать в списке транзакты до тех пор, пока какой-либо другой транзакт не выведет их из списка с помощью блока UNLINK.

Пример 4.56

Рассмотрим работу мультиплексора (см. главу 5), который под­ключен к высокоскоростному каналу (ВК) связи и работает в режиме разделения времени с четырьмя низкоскоростными каналами (НК), опрашивая их циклически. На один опрос каждого из НК мультип­лексор тратит 50 мс, время переключения между НК - 10 мс. Если в опрашиваемом НК есть сообщение, оно передается по ВК в течение 500±60 мс. За один опрос передается одно сообщение. Время возник­новения сообщений в четырех НК равномерно распределено в интер­вале 1500+500 мс, и сообщения равновероятно могут появляться на любом канале.

Необходимо определить загрузку ВК при передаче по нему 1000 сообщений.

Пример 4.57

На вход СМО поступает пуассоновский поток заявок со средним временем 55с, которые последовательно обслуживаются двумя уст­ройствами. Порядок выбора требований из очереди для обслужива­ния первым и вторым устройствами - LIFO. Заявки покидают систе­му не обслужившись, если на момент входа заявки в первую очередь в ней есть больше четырех заявок или время нахождения во второй очереди превышает 40 с. Время обслуживания заявки первым устрой­ством составляет 30 с, вторым -20 + 5 с. Необходимо смоделировать прохождение через СМО 100 заявок.

180 UNLINK SP2,MUS2,1 ; Идти на обслуживание

190 TER1 TERMINATE 1

200 START 100

В модели значения индикаторов списков пользователя позволя­ют определить состояние устройств обслуживания. Если в момент входа в блок LINK индикатор списка включен («1»), это означает, что соответствующее устройство занято и транзакт становится в на­чало списка SP1 или SP2 (LIFO), индикатор остается включенным Если индикатор списка выключен («0» - соответствующее устройст­во свободно) - он включается, а транзакт переходит на обслуживание в блок MUS1 или MUS2. В параметре с именем ТОСН транзакта запоминается момент времени, к которому транзакт должен попасть на обслуживание устройством USTR2, в противном случае транзакт будет удален из модели блоком UNLINK (строка 170).

Пример 4.58

Рассмотрим модель эвакуации потерпевших и раненых во время боевых действий. Потерпевшие эвакуируются 5- и 13-местными ав­томобилями. Если на пункте эвакуации собирается раненых больше чем мест в автомобиле, то вывозится столько раненых, сколько есть свободных мест. Иначе вывозятся все. Известными являются функ­ции времени прибытия раненых к медицинскому пункту (МП) полка. В каждом полку есть четыре МП. Раненые эвакуируются в военно-полевой передвижной госпиталь (ВППГ), где им предоставляется не­обходимая помощь.

4.24. Блоки управления потоками транзактовLogic,gatelr,gatelSиGate

Логические ключи (блок LOGIC). Логические ключи исполь­зуются для моделирования объектов, имеющих всего два положения: «Включен» (set или 1) и «Выключен» (reset или 0).

Блок LOGIC используется для включения, выключения или ин­вертирования положения ключа. Положение ключа можно проверить любым транзактом в любой части модели.

Блок LOGIC имеет такой формат:

LOGIC X A

Операнд А - номер логического ключа; он может быть именем, положительным целым, СЧА или СЧА*СЧА.

Когда транзакт входит в блок LOGIC, положение логического ключа, номер которого задан в операнде А, изменяется в зависимости от значения вспомогательного оператора X следующим образом:

S - логический ключ устанавливается в положение «Включен»;

R- логический ключ устанавливается в положение «Выклю­чен»;

I - логический ключ инвертируется, то есть положение его из­меняется на противоположное.

Логический ключ имеет СЧА LS<номер ключа> или LS$<имя ключа>, который возвращает значение 1, если ключ в по­ложении «Включен», и 0 - если в положении «Выключен».

Для изменения направления движения сообщений в зависимости от положения логических ключей используются блоки GATE LR и GATE LS.

Блоки GATE LR и GATE LS. Блоки GATE LR, GATE LS проверяют положение логического ключа. В операнде В задается номер блока, к которому переходит транзакт, если вспомогательный оператор X имеет значение «ложь». Если значение логического опе­ратора - «истина», транзакт переходит к следующему по порядку блоку. Если операнд В пустой, блок GATE LR (GATE LS) работает в режиме условного вхождения, если заполнен - в режиме безуслов­ного вхождения.

В режиме условного вхождения транзакты могут войти в блок GATE только в том случае, если логический оператор (LRj или LSj) имеет значение «истина». Если значение логического оператора - «ложь», транзакт помещается в список задержки и не обрабатывается интерпретатором до тех пор, пока значение не станет истинным. Единственным исключением являются транзакты, находящиеся в блоке TRANSFER BOTH (или ALL). Когда потом какой-нибудь другой транзакт проходит блок LOGIC, изменяющий состояние соответствующего ключа, и присваивает указанному в блоке GATE ло­гическому оператору значение «истина», все транзакты, находящиеся в списке задержки, активизируются. После этого интерпретатор, про­сматривая СТС, получает возможность переместить один или не­сколько транзактов (включая и те, что находятся в блоке TRANSFER BOTH или ALL) в блок GATE LR (GATE LS), рабо­тающий в режиме условного вхождения.

Пример 4.59

Рассмотрим работу телефонной сети, имеющей 50 абонентских линий связи, причем одновременно может быть задействовано не бо­лее 10 связей между абонентами. Каждый абонент может соединиться с остальными, если свободны его входная линия связи и входная ли­ния вызываемого абонента. Из 50 линий для организации связи могут использоваться любые две свободных линии. Необходимо промоде­лировать работу телефонной сети для 1000 вызовов. Интервалы меж­ду вызовами и длительность разговора распределены по экспоненци­альному закону. Предусматривается, что первые 15 вызовов образуют переходной процесс в сети и эти данные не нужно учитывать при мо­делировании. Модель этой системы разработал Джеффри Гордон для GPSS/H. Приведенный текст программы модифицирован для GPSS World.