3. Работа с параметрами транзакта, приоритеты

Каждый транзакт может иметь любое число параметров (атрибутов) до 100. В момент генерации все его параметры нулевые. Блок ASSIGN является основным средством для изменения значений параметров. Имеет формат: ASSIGN A,B,[C]

Операнд А определяет параметр, может быть номером, СЧА, выражением в скобках, СЧА*параметр (для косвенной адресации). Если значение параметра нужно увеличить или уменьшить в операнде А ставится знак + или –. Операнд В определяет значение, которое нужно положить в параметр или прибавить (отнять). Необязательный операнд С задаёт номер модификатора-функции (не нужно СЧА FN$), при его использовании значение функции в С умножается на В.

Примеры.

ASSIGN 1,2 ;в 1-й параметр кладем число 2;

ASSIGN 1+,V$VAR1 ;к 1-муприбавляемзначение переменнойVAR1;

ASSIGN PODSCHOT, Q2 ;вPODSCHOTкладём длину 2-ой очереди;

ASSIGN 3,250,2 ;в 3 параметр кладём значение 2-ой функции, умноженное на число 250.

Изменить значение параметра можно ещё блоком INDEX, который устроен также как ASSIGN, но работает только в режиме прибавления. Обычно его используют в сложных моделях для различия режимов замещения и накопления.

Блок mark

В GPSS имеется блок MARK для работы с параметром, проходя через который в параметр заносится значение абсолютного модельного времени. Блок может иметь или не иметь операнд А. Значение операнда определяет номер или имя параметра, в который заносится абсолютное модельное время. Затем, в нужном месте модели обращаются к СЧА М1 или МРn, которое равно разности настоящего модельного времени и времени, запомненного при прохождении последнего MARK. Блок MARK используется, если необходимо определить время обработки транзакта в модели либо время прохождения определённого участка модели.

Приоритет транзакта может быть задан в GENERATE и изменяется в блоке PRYORITY n , где n – номер приоритета (от 0 до 127).

3. Применение в моделях копий и организация синхронизации движения транзактов

В реальных системах при взаимодействии различных элементов модели может возникать необходимость синхронизации процессов во времени. Например, при некотором технологическом швейном процессе могут параллельно обрабатываться разные части, детали одного изделия, а затем собираться в единое по мере готовности. Для организации таких процессов используют блоки SPLIT (создать копию), ASSEMBLE (объединить), MATCH (синхронизировать).

Блок GENERATE является основным средством создания транзактов. Каждый транзакт, вышедший из этого блока определяет собственное семейство, все они различны. Блок SPLIT создаёт заданное число копий транзакта, все они принадлежат тому же семейству, что и транзакт-оригинал. Формат блока:

SPLIT A,[B],[C]

Операнд А определяет число создаваемых копий. Операнд В – номер блока, к которому переходят копии, порождающий транзакт переходит в следующий блок. Операндом С задаётся номер параметра, в котором будут храниться последовательные номера копий, при этом порождающему присваивается номер 1, затем первой копии номер 2 и т. д.

Каждая новая копия становится членом семейства транзактов. Планировщик объединяет транзакты одного семейства в список. К семейству можно применять блоки, GATHER, MATCH.

Блок ASSEMBLE используется для объединения заданного числа транзактов, принадлежащих одному семейству, в один транзакт.

ASSEMBLE A ,где А – число объединяемых транзактов.

Первый транзакт какого-либо семейства, вошедший в блок, помещается в список синхронизации и ожидает прихода определённого количества транзактов своего же семейства. После сборки из блока выходит только один транзакт, остальные уничтожаются.

Обратите внимание, что если в блоке SPLIT создалось n копий, то операнд А должен принять значение n + 1 (n копий и оригинал).

Блок GATHER имеет тот же формат, что и ASSEMBLE , отличие состоит в том, что транзакты после сборки не уничтожаются, а все одновременно направляются к следующему блоку.

Блок MATCH предназначен для синхронизации движения транзактов одного семейства, продвигающихся в модели по параллельным путям. В программе необходимо поместить два сопряжённых блока, каждый в одном из параллельных путей. Например:

MET1 MATCH MET2

MET2 MATCH MET1

При входе транзакта в один из блоков проверяется наличие транзакта данного семейства в сопряжённом блоке. Если его нет, то данный транзакт помещается в список синхронизации и будет ждать появления своего «брата» в сопряжённом блоке. Если он там есть, то оба транзакта одновременно пропускаются в следующие блоки и удаляются из списка синхронизации.

Рассмотрим пример. Техническое обслуживание (ТО) средств связи проводят в два этапа две группы специалистов. После поступления (190 мин) выполняется первый этап специалистами обеих групп параллельно (80 мин. и

70 мин). Затем происходит уточнение мероприятий, время на него будем считать нулевым. После выполняется второй этап со средним временем 30 и 40 мин. Затем третья группа проводит комплексную проверку средства в течении 60 мин. Все интервалы поступления и времени обслуживания подчинены экспоненциальному закону. Определить коэффициенты занятости групп специалистов.

Построим модель, модельное время – секунда:

Post EQU 11400; интервал поступления средств связи

Obs2 Equ 4800; среднее время 1 группой на 1 этапе

Obs3 Equ 4200; 2 группой на 1 этапе

Obs4 Equ 1800; 1 группой на 2 этапе

Obs5 Equ 2400; 2 группой на 2 этапе

Obs6 Equ 3600; 3 группой на 3 этапе

generate (Exponential(1,0,Post)) ; источник средств связи

Split 1,Met1 ; разделение на два транзакта

seize Gr1 ;занять первую группу

Advance (Exponential(2,0,Obs2))

Par1 Match Par2 ;уточнение плана мероприятий

Advance (Exponential(2,0,Obs4))

release Gr1

transfer ,Met2

Met1 seize Gr2 ;занять 2 группу

Advance (Exponential(2,0,Obs3))

Par2 Match Par1 ;уточнение плана мероприятий

Advance (Exponential(2,0,Obs5))

Release Gr2

Met2 Assemble 2 ;передача СС 3 группе

Seize Gr3

Advance (Exponential(2,0,Obs6))

Release Gr3

Terminate

Моделирование, проведённое в течение 288 000 (сек.) позволяет определить коэффициенты загрузки групп: 0,835 ; 0,834 и 0,318.