Ситуацию обслуживания транзакта в устройстве с прерываниями можно смоделировать, считая, что отказ оборудования представляет собой транзакт, приоритет которого выше, чем у транзакта, обрабатываемого устройством. В этом случае более приоритетный транзакт должен прервать обслуживание менее приоритетного транзакта, т.е. выгрузить его из устройства. Дословный перевод c английского слова preempt – выгрузить, но c точки зрения работы одноканальной CMO принято использовать термин ЗАХВАТИТЬ устройство. Для организации обслуживания в устройстве c прерываниями используют пару блоков PREEMPT (ЗАХВАТИТЬ) – RETURN (ВЕРНУТЬ).
Формат блока:
PREEMPT <A>,<B>,<C>,<D>,<E>
Поля операндов имеют следующий смысл:
<A> – номер или имя устройства,
<B> – возможность захвата по приоритету,
<C> – имя блока, в который переходит прерванный транзакт,
<D> – номер параметра у прерванного транзакта,
<E> – возможность снятия транзакта с обслуживания.
Операнд <A> определяет номер или имя устройства, на котором генерируется прерывание.
Операнд <B> задает приоритетный режим (если <B>=PR) или режим прерывания (если этот операнд опущен). При работе в приоритетном режиме транзакт, уже занимающий устройство или генерирующий на нем прерывание, может быть прерван только транзактом, приоритет которого выше приоритета данного транзакта. Прерванные транзакты претендуют на дополнительное использование устройства, когда прервавший их транзакт войдет в соответствующий блок RETURN. Прерванные транзакты помещаются в список задержки в порядке приоритета.
Операнд <C> задает номер или имя блока, в который в этот же момент времени должен попытаться войти прерванный транзакт. Прерванный транзакт теряет управление устройством, но претендует на право его использования, если только не задан аргумент операнда <E>. В приоритетном режиме работы желательно задавать операнд <C>, если прерывающий транзакт имеет более высокий приоритет, чем прерываемый.
Операнд <D> задает номер параметра, связанного c прерванным транзактом. Если прерываемый транзакт в момент прерывания направляется в список будущих событий, тогда остаток времени записывается в заданный параметр. Если такой параметр не существует, то он создается. В приоритетном режиме работы операнд <D> задают только в том случае, если прерывающий транзакт имеет более высокий приоритет, чем прерываемый транзакт.
Операнд <E> задает либо не задает режим удаления (RE). B режиме удаления RE прерванный транзакт более не претендует на использование устройства и пытается войти в блок, заданный операндом <C> (если в операнде <Е> стоит RE, то должен быть определен и операнд <C>). В приоритетном режиме работы режим RE используется только в том случае, если приоритет прерывающего транзакта больше приоритета прерываемого транзакта. При использовании RE прерванный транзакт не должен входить в блоки RELEASE или RETURN, связанные с устройством, в котором обслуживался прерванный транзакт. Если режим RE не задан (операнд <Е> опущен), то прерванный транзакт по возвращении в список текущих событий будет вновь пытаться занять устройство.
Блок RETURN предназначен для освобождения ранее захваченного устройства. Формат блока:
RETURN <A>
В операнде <A> задается номер устройства, c которого снимается прерывание. Прерывание может быть снято в блоке RETURN только тем транзактом, которым оно было сгенерировано.
ПРИМЕР 1. В качестве примера использования блоков PREEMPT и RETURN смоделируем обработку отказа оборудования.
; 1-й процесс – нормальная работа оборудования
GENERATE …
…
SEIZE CHAN
…
RELEASE CHAN
TERMINATE
; 2-й процесс – поток отказов оборудования
GENERATE ….,1
PREEMPT CHAN,PR,ERR,5,RE
ADVANCE …
RETURN CHAN
TERMINATE
; обработка события отказа оборудования
ERR …
Во 2-м процессе блок GENERATE в определенный момент времени генерирует транзакт, имитирующий отказ оборудования, приоритет которого равен 1. Он выше, чем приоритет транзакта, моделирующего нормальную работу оборудования. Этот факт отмечается наличием значения PR в операнде <B> транзакта, моделирующего отказ оборудования. Значение RE в операнде <E> означает, что прерванный транзакт снимается с устройства CHAN и переходит на метку ERR, по которой находится группа операторов, моделирующих обработку отказа оборудования. Прерванный транзакт более не претендует на занятие устройства CHAN после того, как прерывающий транзакт освободит его.