Организация обслуживания с прерыванием. Блоки рrеемрт и return

Во многих случаях возникает необходимость организации обслуживания в устройстве с прерываниями (например, при выполнении некоторой операции на станке произошла его поломка). Такую ситуацию можно смоделировать, считая, что отказ оборудования представляет собой транзакт, приоритет которого выше, чем у транзакта, обрабатываемого станком. В этом случае более приоритетный транзакт должен прервать обслуживание менее приоритетного транзакта, т.е. выгрузить его из устройства. Отсюда понятен дословный перевод с английского слова рreempt – выгрузить, но с точки зрения работы одноканальной СМО принято использовать термин ЗАХВАТИТЬ устройство [10]. Для организации обслуживания в устройстве с прерываниями используют пару блоков РRЕЕМРТ (ЗАХВАТИТЬ) – RETURN (ВЕРНУТЬ) так же, как для обычного устройства без прерываний использовались блоки SЕIZE-RЕLЕАSЕ.

Блок РКЕЕМРТ имеет следующий формат:

РRЕЕМРТ А,[В],[С],[D],[Е]

Таблица 4.36

Блок РRЕЕМРТ позволяет транзакту в зависимости от условий, заданных в операндах блока, занять устройство. Блок РRЕЕМРТ может также задержать транзакт на входе.

Операнд А определяет номер или имя устройства, на котором генерируется прерывание. Операнд может быть именем, положительным целым, СЧА или СЧА*СЧА.

Операнд В задает приоритетный режим (если В =РR) или режим прерывания (если этот операнд опущен). При работе в приоритетном режиме транзакт, уже занимающий устройство или генерирующий на нем прерывание, может быть прерван только транзактом, приоритет которого выше приоритета данного транзакта. Прерванные транзакты претендуют на дополнительное использование устройства, когда прервавший их транзакт войдет в соответствующий блок RЕТURN. Прерванные транзакты помещаются в список задержки в порядке приоритета.

Операнд С задает номер или имя блока, в который в этот же момент времени должен попытаться войти прерванный транзакт. Прерванный транзакт теряет управление устройством, но претендует на право его использования, если только не задан аргумент операнда Е. В приоритетном режиме работы желательно задавать операнд С, если прерывающий транзакт имеет более высокий приоритет, чем прерываемый. Операнд может быть именем, положительным целым, СЧА или СЧА*СЧА.

Операнд D задает номер параметра, связанного с прерванным транзактом. Если прерываемый транзакт в момент прерывания направляется в список будущих событий (см. параграф 4.22), тогда остаток времени записывается в заданный параметр. Если такой параметр не существует, то он создается. В приоритетном режиме работы операнд D задают только в том случае, если прерывающий транзакт имеет более высокий приоритет, чем прерываемый транзакт. Операнд может быть именем, положительным целым, СЧА или СЧА*СЧА.

Операнд Е задает либо не задает режим удаления (RЕ). В режиме удаления RЕ прерванный транзакт более не претендует на использование устройства и пытается войти в блок, заданный операндом С (если в операнде Е стоит RЕ, то должен быть определен и операнд С). В приоритетном режиме работы режим RЕ используется только в том случае, если приоритет прерывающего транзакта больше приоритета прерываемого транзакта. При использовании RЕ прерванный транзакт не должен входить в блоки RЕLЕАSЕ или RETURN, связанные устройством, в котором обслуживался прерванный транзакт.

Если режим RЕ не задан (операнд Е опущен), то прерванный транзакт по возвращении в список текущих событий будет вновь пытаться занять устройство.

Прерываемый транзакт может находиться в списке будущих событий. Если надо сделать это, то используют операнд D.

Прерванный транзакт борется за устройство, даже если он перемещен операндом С (если RЕ не используется в операнде Е). Если прерванный транзакт все еще борется за устройство, то попытка транзакта войти в блок ТЕRMINATE приводит к ошибке. Такой транзакт перед входом в блок ТЕRMINATE должен войти в блоки R ЕLЕАSЕ или RЕТURN.

Транзакт может быть прерван на любом количестве устройств.

Устройство может быть захвачено любое количество раз, но не два раза подряд одним транзактом.

Транзакт не может войти в блок, если в приоритетном режиме устройство уже захвачено транзактом с приоритетом равным или большим, чем приоритет активного транзакта. Активный транзакт помещается в соответствии с приоритетом в список задержки устройства.

Транзакт не может войти в блок, если устройство находится в недоступном состоянии. Такие транзакты помещаются в список задержки устройства в соответствии с приоритетом, а внутри приоритета – по правилу FIFО.

Стандартные числовые атрибуты, связанные с описываемым блоком, т.е. же, что и в табл. 4.26, с добавлением СЧА FI j – флаг прерывания устройства (1, если устройство находится в состоянии прерывания, 0 – в противном случае).

Следует обратить внимание, что при задании операндов D ) и (или) Е, операнд С также должен быть задан.

Если приоритетный режим не задан (нет PR в операнде В), то операнды С, D и (или) Е игнорируются. Однако возможен вариант, когда для прерванного транзакта выбирается альтернативный выход, причем приоритет транзакта не учитывается. Этот случай возникает тогда, когда задан операнд С (а иногда и операнды D и (или) Е), но в операнде В не задан приоритетный режим. Такое использование операндов приводит к тому, что занимающий устройство транзакт прерывается и направляется по альтернативному пути. В данном случае многоуровневые прерывания не происходят.

Пары блоков SЕIZЕ – RЕLEАSЕ и РRЕЕМРТ – RETURN могут использовать одни и те же имена занимаемых устройств. В зависимости от логики работы модели пользователь должен сам определить, в каком случае разрешать прерывания, а в каком – нет.

Блок RETURN является парным к блоку РRЕЕМРТ, также как ж RЕLEАSЕ к блоку SЕIZЕ, и предназначен для освобождения ранее захваченного устройства. Он имеет следующий формат: