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

Все (не-средовые) задачи напрямую зависят от средовой задачи раздела.

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

Нет операторов abort_statement, и нет вызовов Task_Identification.Abort_Task.

Нет selective_acceptов с terminate_alternatives.

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

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

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

Нет вызовов ни одной из операций, определённых в пакете Interrupts (Is_Reserved, Is_Attached, Current_Handler, Attach_Handler, Exchange_Handler, Detach_Handler и Reference).

Защищённые объекты должны быть объявлены только на уровне библиотеки.

Timing_Events должны быть объявлены только на уровне библиотеки.

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

Нет delay_relative_statementов.

Нет requeue_statementов.

Нет select_statementов.

Нет вызовов подпрограмм Set_Specific_Handler и Specific_Handler в Task_Termination.

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

Указывает максимальное количество альтернатив в 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 в точке вызова или перестановки в очередь.