Справочник Ada 2012
D.14.3 Время выполнения обработчиков прерываний
Этот подраздел описывает пакет, определяемый языком, для измерения времени выполнения обработчиков прерываний.
Статическая семантика
Существует следующий определяемый языком библиотечный пакет:
with Ada.Interrupts;
package Ada.Execution_Time.Interrupts 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 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).
