C.3.2 Пакет прерываний

Существуют следующие определяемые языком пакеты:

Тип Interrupt_Id — это определяемый реализацией дискретный тип, используемый для идентификации прерываний.

Функция Is_Reserved возвращает True тогда и только тогда, когда указанное прерывание зарезервировано.

Функция Is_Attached возвращает True тогда и только тогда, когда заданный обработчик прерываний подключён к прерыванию.

Функция Current_Handler возвращает значение, представляющее подключённый обработчик прерывания. Если к прерыванию не подключён пользовательский обработчик, Current_Handler возвращает null.

Процедура Attach_Handler подключает указанный обработчик к прерыванию, перезаписывая любой существующий обработчик (включая пользовательский), действующий для этого прерывания. Если New_Handler равно null, восстанавливается стандартный обработчик. Если New_Handler определяет защищённую процедуру, для которой аспект Interrupt_Handler равен False, возникает Program_Error. В этом случае операция не изменяет существующий обработчик прерывания.

Процедура Exchange_Handler работает аналогично Attach_Handler с добавлением того, что возвращаемое в Old_Handler значение обозначает предыдущий обработчик для указанного прерывания. Если предыдущий обработчик не является пользовательским обработчиком, возвращается null.

Процедура Detach_Handler восстанавливает стандартный обработчик для указанного прерывания.

Для всех операций, определённых в этом пакете и принимающих параметр типа Interrupt_Id, за исключением Is_Reserved и Reference, выполняется проверка, что указанное прерывание не зарезервировано. Если проверка завершается неудачно, возникает Program_Error.

Если с помощью процедур Attach_Handler, Detach_Handler или Exchange_Handler производится попытка отсоединить обработчик, который был подключён статически (с помощью аспекта Attach_Handler), обработчик не отсоединяется, и возникает Program_Error.

Функция Reference возвращает значение типа System.Address, которое можно использовать для подключения входа задачи с помощью предложения address (см. J.7.1) к прерыванию, указанному параметром Interrupt. Эта функция вызывает Program_Error, если подключение входов задач к прерываниям (или к этому конкретному прерыванию) не поддерживается.

Функция Get_CPU возвращает процессор, на котором выполняется обработчик для прерывания Interrupt. Если обработчик может выполняться на нескольких процессорах, возвращается значение System.Multiprocessors.Not_A_Specific_CPU.

В любой момент во время подключения или обмена обработчиками текущий обработчик соответствующего прерывания не должен быть неопределённым.

Если применяется политика Ceiling_Locking (см. D.3), реализация должна документировать заданный приоритет потолка, назначенный защищённому объекту, содержащему защищённую процедуру, которая указывает аспекты Attach_Handler или Interrupt_Handler, но не указывает аспект Interrupt_Priority. Этот стандартный приоритет может различаться для разных прерываний.

Если поддерживаются определяемые реализацией формы процедур обработчиков прерываний, такие как защищённые процедуры с параметрами, то для каждой такой формы обработчика в дочернем пакете Interrupts должен быть указан тип, аналогичный Parameterless_Handler, с теми же операциями, что и в предопределённом пакете Interrupts.

Пример обработчиков прерываний: