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

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

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

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

LOGIC Х А

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

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

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

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

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

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

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

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

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

Пример 4.59

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

Программа:

Блок GATE. БлокGATE управляет потоком транзактовcпо­мощью логических операторов. БлокGATE, как и блокTEST, не из­меняет никаких атрибутов транзактов. Он определяет номер следую­щего блока, к которому должен перейти транзакт из блокаGATE. БлокGATE может задержать транзакт на входе, если не задан аль­тернативный выход. БлокGATE имеет такой формат:

GATEX A,|B|

Операнд А содержит имя или номер объекта, для которого про­изводится проверка. Операнд А может быть именем, положительным целым числом, СЧА илиCЧA*CЧA.

Операнд Всодержит номер следующего блока для входящего транзакта, если логический оператор имеет значение «ложь». Опе­рандВможет быть именем, положительным целым числом, СЧА илиCЧA*CЧA. Если операндВопределен, то он должен содержать но­мер блока, допустимый для текущей модели.

В дополнительном операторе Х задается один из следующих ло­гических операторов:

1. Логические операторы, связанные cустройствами:

NU– устройствоj, заданное в операндеА, свободно;

U– устройствоj, заданное в операндеА, занято (в результате выполнения транзактом блокаSEIZE илиPREEMPT);

NI– устройствоj, заданное в операндеА, не прервано;

I– устройствоj, заданное в операндеА, обслуживает прерывания;

FV– устройствоj, заданное в операндеА, доступно;

FNV– устройствоj, заданное в операндеА, не доступно.

2. Логические операторы, связанные cМКУ:

SE– МКУj, заданное в операндеА, пустое (S[j]=0);

SNE– МКУj, заданное в операндеА, не пустое (S[j]<>0);

SF– МКУj, заданное в операндеА, заполнено (R[t]=0);

SNF– МКУj, заданное в операндеА, не заполнено (R[j]<>0);

SV– МКУj, заданное в операндеА,доступно;

SNV– МКУj, заданное в операндеА, не доступно.

3. Логические операторы, связанные cтранзактами:

M– в блокеj, заданном в операнде А блокаGATE, находится в состоянии синхронизации транзакт, принадлежащий тому же семей­ству, что и транзакт, который находится в блокеGATE или пытается войти в этот блок;

NM– в блокеj, заданном в операнде А блокаGATE, в состоя­нии синхронизации нет ни одного транзакта, принадлежащего тому же семейству, что и транзакт, который пытается войти в блокGATE.

4. Логические операторы, связанные cлогическими ключами:

LS– логический ключj, заданный в операндеА, включен;

LR– логический ключj, заданный в операндеА, выключен.

Режимы условного и безусловного входов в блок GATE. БлокGATE, как и блокTEST, может работать в режимах безусловного и условного вхождения.

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

В режиме условного вхождения, если операндВблокаGATE пустой (альтернативный выход не задан), транзакты не смогут войти в блокGATE до тех пор, пока указанный в этом блоке логический оператор не будет иметь значение «истина». Интерпретатор не про­веряет значение логических операторов, за исключением операторовMиNM. В режиме условного вхождения задержанные транзакты на­ходятся в списках задержки и, таким образом, исключаются из числа транзактов, обрабатываемых интерпретатором до тех пор, пока соот­ветствующий логический оператор не примет значение «истина».

Пример 4.60

В данном случае транзакт помещается в список задержки, если МКУ LINE1 не доступно в тот момент, когда транзакт пытается войти в блокGATE. Когда МКУ становится доступным, все транзакты выводятся из списка и делают попытку войти в МКУ.

Блоки GATE – очень мощный инструмент, но они могут приво­дить к значительным затратам компьютерного времени на тщетные попытки транзактов войти в блок. Чтобы уменьшить частоту бесполезных попыток вхождения в блок, можноcпомощью блоковLINK и UNLINK поместить транзакты в СП.