Favail a

Всі транзакти, що очікують доступного стану ОКП, зазначеного операндом А, активізуються й можуть спробувати зайняти його.

Перевірка стану ОКП в режимі недоступності здійснюється блоком 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 переводить ОКП в доступний стан, тобто фіксує момент переходу в справний стан після ремонту.