D.7 Ограничения для задач

Ни одна задача не зависит от главного объекта, кроме главного объекта на уровне библиотеки.

Объекты типа, которому необходима финализация (см. 7.6), объявляются только на уровне библиотеки. Если тип доступа не имеет доступности на уровне библиотеки, то нет аллокаторов типа, где тип, определяемый меткой_подтипа указания подтипа или квалифицированного_выражения нуждается в финализации.

Нет инструкций abort_statement, и нет использования имени имени, обозначающего Task_Identification.Abort_Task.

Нет selective_accept с terminate_alternative.

Нет аллокаторов для типов задач или типов, содержащих подкомпоненты задач.

В случае инициализированного аллокатора типа доступа, назначенный тип которого является универсальным и ограниченным, выполняется проверка, что конкретный тип выделенного объекта не имеет подкомпонентов задач. Если проверка завершается неудачно, возникает ошибка Program_Error.

Нет операций, которые неявно требуют выделения памяти в куче от реализации. Операции, которые неявно требуют выделения памяти в куче, определяются реализацией.

Нет семантических зависимостей от пакета Dynamic_Priorities, и нет вхождений атрибута Priority.

Нет использования имени имени, обозначающего любую из операций, определенных в пакете Interrupts (Is_Reserved, Is_Attached, Current_Handler, Attach_Handler, Exchange_Handler, Detach_Handler и Reference).

Ни одна задача не имеет аспект CPU, указанный как нестатическое выражение. Каждая задача (включая задачу окружения), у которой аспект CPU указан как Not_A_Specific_CPU, будет назначена конкретному процессору, определенному реализацией. То же самое относится к задаче окружения, когда аспект CPU не указан. Любая другая задача без аспекта CPU будет активироваться и выполняться на том же процессоре, что и активирующая ее задача.

Защищенные объекты объявляются только на уровне библиотеки.

Timing_Events объявляются только на уровне библиотеки.

Нет аллокаторов для защищенных типов или типов, содержащих подкомпоненты защищенных типов.

В случае инициализированного аллокатора типа доступа, назначенный тип которого является универсальным и ограниченным, выполняется проверка, что конкретный тип выделенного объекта не имеет защищенных подкомпонентов. Если проверка завершается неудачно, возникает ошибка Program_Error.

Нет инструкций delay_relative_statement, и нет использования имени, обозначающего подпрограмму Timing_Events.Set_Handler, которая имеет параметр Time_Span.

Нет инструкций requeue_statement.

Нет инструкций select_statement.

Нет использования имени, обозначающего подпрограммы Set_Specific_Handler и Specific_Handler в Task_Termination.

Аспект CPU задан для задачи окружения. Никакой аспект CPU не задан статически равным Not_A_Specific_CPU. Если аспект CPU (динамически) задан значением Not_A_Specific_CPU, то возникает ошибка Program_Error. Если вызываются Set_CPU или Delay_Until_And_Set_CPU с параметром CPU, равным Not_A_Specific_CPU, то возникает ошибка Program_Error.

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

Указывает максимальное количество альтернатив в selective_accept.

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

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

Все задачи являются бесконечными. Результат попытки завершения задачи определяется реализацией. Если установлен обработчик отката (см. C.7.3) для раздела, он должен быть вызван, когда первая задача попытается завершиться.

Указывает максимальную часть (в элементах памяти) размера Storage_Size задачи, которая может быть сохранена заблокированной задачей. Если реализация выбирает обнаружение нарушения этого ограничения, Storage_Error должно быть поднято; в противном случае поведение определяется реализацией.

Указывает максимальный динамический уровень вложенности asynchronous_selectов. Значение ноль предотвращает использование любых asynchronous_selectов, и, если программа содержит asynchronous_select, это является ошибкой. Если реализация выбирает обнаружение нарушения этого ограничения для значений, отличных от нуля, Storage_Error должно быть поднято; в противном случае поведение определяется реализацией.

Указывает максимальное количество созданий задач, которое может быть выполнено за время существования раздела, не считая создания задачи окружения. Значение ноль предотвращает создание любой задачи и, если программа содержит создание задачи, это является ошибкой. Если реализация выбирает обнаружение нарушения этого ограничения, Storage_Error должно быть поднято; в противном случае поведение определяется реализацией.

Max_Entry_Queue_Length определяет максимальное количество вызовов, которые находятся в очереди на вход. Нарушение этого ограничения приводит к возбуждению Program_Error в момент вызова или повторного помещения в очередь.

Указывает, что аллокатор, использующий стандартный пул памяти (см. 13.11), не должен появляться внутри параметрической библиотечной подпрограммы, ни внутри handled_sequence_of_statements тела задачи. Для целей этой правила аллокатор типа, производного от формального типа доступа, не использует стандартный пул памяти.

При выполнении, Storage_Error поднимается, если аллокатор, использующий стандартный пул памяти, оценивается после завершения разработки элементов_библиотеки раздела.