Справочник по Ada (Ada 2022)
D.14.3 Время выполнения обработчиков прерываний
В этом подпункте описывается пакет, определённый языком, для измерения времени выполнения обработчиков прерываний.
Статическая семантика
Существует следующий пакет библиотеки, определённый языком:
with Ada.Interrupts;
package Ada.Execution_Time.Interrupts
with Nonblocking, Global => in out synchronized is
function Clock (Interrupt : Ada.Interrupts.Interrupt_Id)
return CPU_Time;
function Supported (Interrupt : Ada.Interrupts.Interrupt_Id)
return Boolean;
end Ada.Execution_Time.Interrupts;
package Ada.Execution_Time.Interrupts
with Nonblocking, Global => in out synchronized is
function Clock (Interrupt : Ada.Interrupts.Interrupt_Id)
return CPU_Time;
function Supported (Interrupt : Ada.Interrupts.Interrupt_Id)
return Boolean;
end Ada.Execution_Time.Interrupts;
Время выполнения или время процессора для данного прерывания Interrupt определяется как время, затраченное системой на выполнение обработчиков прерываний, идентифицируемых Interrupt, включая время, затраченное на выполнение служб выполнения или системы от их имени. Механизм измерения времени выполнения определяется реализацией. Время, затраченное на выполнение обработчиков прерываний, отличается от времени выполнения любой задачи.
Для каждого прерывания значение времени выполнения первоначально устанавливается в ноль.
Динамическая семантика
Функция Clock возвращает текущее суммарное время выполнения прерывания, идентифицируемого Interrupt. Если Separate_Interrupt_Clocks_Supported установлено в False, функция генерирует Program_Error.
Функция Supported возвращает True, если реализация отслеживает время выполнения прерывания, идентифицируемого Interrupt; в противном случае она возвращает False. Для любого Interrupt_Id Interrupt, для которого Supported(Interrupt) возвращает False, функция Clock(Interrupt) вернёт значение, равное Ada.Execution_Time.Time_Of(0).
