D.1 Приоритеты задач

Этот подраздел описывает модель приоритетов для систем реального времени. Кроме того, определены методы задания приоритетов.

Параграфы с 2 по 6 были перемещены в Приложении J, «Устаревшие особенности».

Для типа задачи (включая анонимный тип объявления single_task_declaration), типа защищенного объекта (включая анонимный тип объявления single_protected_declaration) или подпрограммы могут быть заданы следующие аспекты представления языка:

Если аспект Priority задан для подпрограммы, то выражение должно быть статическим и его значение должно находиться в диапазоне System.Priority.

Для данного объекта может быть задан только один из аспектов Priority или Interrupt_Priority.

Ни один из аспектов Priority или Interrupt_Priority не должен быть задан для типа синхронизированного интерфейса.

В пакете System существуют следующие объявления:

Полный диапазон значений приоритета, поддерживаемый реализацией, задаётся подтипом Любой_Приоритет. Диапазон значений приоритета, достаточный для блокирования одного или нескольких прерываний, задаётся подтипом Приоритет_прерывания. Диапазон значений приоритета ниже System.Interrupt_Priority'First задаётся подтипом System.Priority.

Аспект Priority не имеет эффекта, если он задан для подпрограммы, отличной от главной подпрограммы; значение Priority не ассоциируется ни с какой задачей.

Приоритет задачи — это целое числовое значение, которое указывает степень срочности и служит основой для разрешения конкуренции задач за ресурсы. Если не указано иное, при конкуренции задач за процессоры или другие ресурсы, определённые реализацией, ресурсы выделяются задаче с наибольшим значением приоритета. Базовый приоритет задачи — это приоритет, с которым она была создана или который был ей позже задан с помощью Dynamic_Priorities.Set_Priority (см. D.5). В любое время задача также имеет активный приоритет, который обычно совпадает с её базовым приоритетом, если только он не наследуется из других источников. Наследование приоритетов — это процесс, в котором приоритет задачи или другого объекта (например, защищенного объекта; см. D.3) используется при оценке активного приоритета другой задачи.

Эффект задания аспекта Priority или Interrupt_Priority для типа защищенного объекта или single_protected_declaration обсуждается в D.3.

Выражение, заданное для аспекта Priority или Interrupt_Priority типа задачи, вычисляется каждый раз при создании объекта типа задачи (см. 9.1). Для аспекта Priority значение выражения преобразуется в подтип Priority; для аспекта Interrupt_Priority это значение преобразуется в подтип Любой_Приоритет. Затем значение приоритета ассоциируется с объектом задачи.

Аналогично, значение приоритета ассоциируется с задачей среды, если аспект задан для главной подпрограммы.

Начальное значение базового приоритета задачи задаётся по умолчанию или с помощью аспекта Priority или Interrupt_Priority. После создания задачи её базовый приоритет может быть изменён только вызовом Dynamic_Priorities.Set_Priority (см. D.5). Начальный базовый приоритет задачи в отсутствие аспекта — это базовый приоритет создавшей её задачи на момент создания (см. 9.1). Если аспект Priority не задан для главной подпрограммы, то начальный базовый приоритет задачи среды — System.По умолчанию_Приоритет. Активный приоритет задачи используется, когда она конкурирует за процессоры. Аналогично, активный приоритет задачи используется для определения позиции задачи в очереди, когда задан Priority_Queuing (см. D.4).

В любое время активный приоритет задачи — это максимальное из всех приоритетов, которые она наследует в данный момент. Для задачи, которая не удерживается (см. D.11), её базовый приоритет является источником наследования приоритетов, если не указано иное для конкретной политики диспетчеризации задач. Другие источники наследования приоритетов указаны в следующих условиях:

Во всех этих случаях наследование приоритета прекращается, как только условие, вызывающее наследование, перестаёт существовать.

Диапазон System.Interrupt_Priority должен включать как минимум одно значение.

Диапазон System.Priority должен включать как минимум 30 значений.