3.3.2 Изменение направления движения транзакта в зависимости от состояния оборудования. БлокGate

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

Формат блока GATE:

GATE <X> <A>,[<B>]

Поля операндов имеют следующий смысл:

• <A> – имя или номер объекта, для которого производится проверка, операнд <А> может быть именем, положительным целым числом или СЧА,

• <B> – номер следующего блока для входящего транзакта, если логический оператор имеет значение «ложь». Операнд <В> может быть именем, положительным целым числом или. Если операнд <В> определен, то он должен содержать номер блока, допустимый для текущей модели.

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

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 может работать в режиме отказа и условного перехода.

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

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

ПРИМЕР 22.

QUEUE CHAN

GATE SNF MEM

DEPARTCHAN

ENTERMEM

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