Всі транзакти, що очікують доступного стану ОКП, зазначеного операндом А, активізуються й можуть спробувати зайняти його.
Перевірка стану ОКП в режимі недоступності здійснюється блоком GATE.
Умова перевірки задається одним із наступних умовних операторів X:
· FNV – ОКП, заданий операндом А, недоступний;
· FV – ОКП, заданий операндом А, доступний.
Наприклад:
GATE FNV Krosh
GATE FV (FN$Rasp-X$Col)
GATE FNV Print,Mod
У першому прикладі блок GATE пропустить транзакт, коли ОКП Krosh буде недоступний. У другому прикладі транзакт пройде до наступного блоку, коли доступний ОКП з номером визначеним як результат обчислення й наступного заокруглення до цілого виразу в дужках (FN$Rasp-X$Col). У третьому прикладі у випадку доступності ОКП Print транзакт буде скерований до блоку з міткою Udal.
Рзглянемо приклад, який представляє сегмент імітації виходу з ладу і встановлення працездатності ОКП:
GENERATE (Exponential (24,0,350));Джерело транзактів
FUNAVAIL Cpu1,RE,Ter1,,RE,Ter2,RE,Ter3;Переведення в недоступність
ADVANCE (Normal(11,15,4));Відновлення доступності
FAVAIL Cpu1;Переведення в доступний стан
TERMINATE
Блок GENERATE генерує транзакти через випадкові інтервали часу. Транзакти входять в блок FUNAVAIL і переводять ОКП Cpu1 в недоступний стан, що відповідає виходу із ладу. Всі транзакти, що перебували до цього моменту у списку зупинок ОКП Cpu1, а також транзакт, що займав цей ОКП (якщо такий був) видаляються. Блок ADVANCE імітує процес відновлення, а блок FAVAIL переводить ОКП в доступний стан, тобто фіксує момент переходу в справний стан після ремонту.