3.2.3 Організація логічних ключів

Наступний блок використовується для установки значень логічних ключів, стан яких може бути змінений та використаний в будь-якому місці моделі:

LOGIC А

При проходженні транзакта через блок LOGIC затримки не виникає. Стан логічного об'єкту, номер якого зазначається в полі А, може мати такі значення: ключ встановлений (S), скинутий (R) або інвертований (I). Розглянемо приклад застосування блоку LOGIC, де встановлено ключ 41, скинуто ключ 165, інвертовано ключ 4:

LOGIC S 41

LOGIC R 165

LOGIC I 4

3.2.4 Використання блоку gate

Блок GATE направляє потік транзактів керуючись показниками станів пристроїв й інших об'єктів. Блок GATE може функціонувати у двох режимах:

1. відмови або умовного входу;

2. переходу або умовного входу.

В режимі відмови або умовного входу блок GATE не дозволяє транзактам переходити до наступного блоку в разі, якщо об’єкт, стан якого перевіряється даним блоком GATE, не перебуває в необхідному стані. Якщо поставлена в блоці GATE умова виконується, то цей блок дозволяє перехід для транзактів.

Якщо в полі В зазначений номер (або мітка) іншого блоку, то замість відмови блок GATE буде посилати транзакт на вказаний блок. Таким чином, якщо поле В порожнє, блок GATE працює в режимі відмови, якщо не порожнє – у режимі переходу.

Мнемонічне позначення умови, яка перевіряється, записується безпосередньо після команди GATE (в полі Х). Поле А визначає номер об'єкта апаратної категорії (пристрою, пам'яті або ключа).

GATE X A,B

Існує шість умов, або логічних атрибутів, що описують стани пристроїв, пам'яті, логічних ключів і умов синхронізації. Так, стан пристрою описується наступними умовами:

FNU – пристрій не використовується, є вільним;

FU – пристрій використовується, зайнятий (обслуговує транзакт або переривання);

FNI – пристрій працює без переривання (вільний або обслуговує транзакт);

FI – пристрій обслуговує переривання;

FV – пристрій є доступним;

FNV – пристрій є недоступним.

Стан пам'яті описується наступними умовами:

SE – пам'ять порожня;

SNE – пам'ять не порожня;

SF – пам'ять заповнена;

SNF – пам'ять не заповнена;

SV – пам'ять доступна;

SNV – пам'ять недоступна.

Стан ключа описується двома умовами:

LR – логічний ключ у стані “вимкнений”;

LS – логічний ключ у стані “ввімкнений”.

Наступні два мнемонічних позначення описані нижче:

М – блок GATE перевіряє виконання умови синхронізації в зазначеному блоці моделі;

NM – блок GATE перевіряє невиконання умови синхронізації в зазначеному блоці моделі.

Розглянемо приклад використання блоку GATE:

Режим відмови

GATE SF 167

GATE LS 265

GATE FU 19

В прикладах вище виконуються наступні дії: блокувати транзакт до тих пір, поки пам'ять №167 не буде заповнена; блокувати транзакт до тих пір, поки ключ №265 не буде ввімкнений; блокувати транзакт до тих пір, поки пристрій №19 не звільниться.

Режим переходу

GATE FI 34,ALTR

Якщо в цьому випадку пристрій №34 переривається, то транзакт з блоку GATE переходить до мітки ALTR.