M.1 Конкретные требования к документации

• Поведение реализаций в ситуациях, определяемых реализацией, должно быть задокументировано — см. M.2, «Характеристики, определяемые реализацией» для списка. См. 1.1.3(19).

• Набор значений, которые процедура пользователя Allocate должна принимать для параметра Alignment. Способ выбора стандартного пула памяти и способ выделения памяти стандартными пулами памяти. См. 13.11(22).

• Алгоритм, используемый для генерации случайных чисел, включая описание его периода. См. A.5.2(44).

• Минимальный интервал времени между вызовами процедуры Reset, зависящей от времени, которая гарантированно инициирует разные последовательности случайных чисел. См. A.5.2(45).

• Условия, при которых Io_Exceptions.Name_Error, Io_Exceptions.Use_Error и Io_Exceptions.Device_Error распространяются. См. A.13(15).

• Поведение пакета Environment_Variables при изменении переменных окружения внешними механизмами. См. A.17(30/2).

• Накладные расходы при вызове подпрограмм на машинном коде или встроенных подпрограмм. См. C.1(6).

• Типы и атрибуты, используемые при вставке машинного кода. См. C.1(7).

• Конвенции вызова подпрограмм для всех поддерживаемых идентификаторов конвенций. См. C.1(8).

• Сопоставление между Link_Name или указателем дизайна Ada и внешним именем ссылки. См. C.1(9).

• Обработка прерываний. См. C.3(22).

• Метрики для обработчиков прерываний. См. C.3.1(16).

• Если применяется политика Ceiling_Locking, то приоритет по умолчанию потолка для защищённого объекта, содержащего псевдоним обработчика прерываний. См. C.3.2(24/2).

• Любые обстоятельства, при которых выполнение предварительно подготовленного пакета вызывает выполнение кода. См. C.4(12).

• Можно ли перезапустить раздел без перезагрузки. См. C.4(13).

• Последствия вызова Current_Task из тела входа или обработчика прерываний. См. C.7.1(19).

• Для пакета Task_Attributes, ограничения на количество и размер атрибутов задач и как настроить любые ограничения. См. C.7.2(19).

• Метрики для пакета Task_Attributes. См. C.7.2(27).

• Подробности конфигурации, используемой для генерации значений всех метрик. См. D(2).

• Максимальное инвертирование приоритетов, которое пользовательская задача может испытать от реализации. См. D.2.3(12/2).

• Время, в течение которого задача может быть прервана для обработки от имени задач с более низким приоритетом. См. D.2.3(13/2).

• Значения квантов, поддерживаемые для круговой диспетчеризации. См. D.2.5(16/2).

• Точность определения исчерпания бюджета задачи для круговой диспетчеризации. См. D.2.5(17/2).

• Любые условия, которые приводят к задержке завершения установки крайнего срока задачи для многопроцессорной системы. См. D.2.6(32/2).

• Любые условия, которые приводят к задержке завершения установки приоритета задачи для многопроцессорной системы. См. D.5.1(12.1/2).

• Метрики для Set_Priority. См. D.5.1(14).

• Метрики для установки приоритета защищённого объекта. См. D.5.2(10).

• В многопроцессорной системе любые условия, которые заставляют завершение прерванного конструкта задерживаться позже, чем указано для однопроцессорной системы. См. D.6(3).

• Метрики для прерываний. См. D.6(8).

• Значения Time_First, Time_Last, Time_Span_First, Time_Span_Last, Time_Span_Unit и Tick для пакета Real_Time. См. D.8(33).

• Свойства базового временного базиса, используемого в пакете Real_Time. См. D.8(34).

• Любая синхронизация пакета Real_Time с внешними временными отсылками. См. D.8(35).

• Любые аспекты внешней среды, которые могут повлиять на пакет Real_Time. См. D.8(36/1).

• Метрики для пакета Real_Time. См. D.8(45).

• Минимальное значение выражения задержки delay_relative_statement, которое приводит к фактической блокировке задачи. См. D.9(7).

• Минимальная разница между значением выражения задержки delay_until_statement и значением Real_Time.Clock, которая приводит к фактической блокировке задачи. См. D.9(8).

• Метрики для операторов задержки. См. D.9(13).

• Верхняя граница продолжительности блокировки прерываний, вызванной реализацией. См. D.12(5).

• Метрики для защищённых объектов без входов. См. D.12(12).

• Значения CPU_Time_First, CPU_Time_Last, CPU_Time_Unit и CPU_Tick пакета Execution_Time. См. D.14(21/2).

• Свойства механизма, используемого для реализации пакета Execution_Time. См. D.14(22/2).

• Метрики для времени выполнения. См. D.14(27).

• Метрики для событий тайминга. См. D.15(24).

• Вызывается ли RPC-приёмник из конкурирующих задач, и если да, то количество таких задач. См. E.5(25).

• Любые методы, используемые для уменьшения ошибок отмены в Numerics.Generic_Real_Arrays, должны быть задокументированы. См. G.3.1(86/2).

• Любые методы, используемые для уменьшения ошибок отмены в Numerics.Generic_Complex_Arrays, должны быть задокументированы. См. G.3.2(155/2).

• Если применяется псевдоним Normalize_Scalars, неявные начальные значения скалярных подтипов должны быть задокументированы. Такое значение должно быть недействительной представляемой формой, когда это возможно; любые случаи, когда это не так, должны быть задокументированы. См. H.1(5/2).

• Диапазон последствий для каждой ограниченной ошибки и каждого неопределённого эффекта. Если последствия заданного ошибочного конструкта ограничены, то ограничения должны быть задокументированы. См. H.2(1).

• Для каждой точки проверки должно быть указано соответствие между каждым проверяемым объектом и машинные ресурсы, где можно получить значение объекта. См. H.3.2(8).

• Если указан псевдоним Restrictions(No_Exceptions), последствия всех конструкций, где выполняются проверки, определённые языком. См. H.4(25).

• Прерывания, к которым может быть подключён вход задачи. См. J.7.1(12).

• Тип вызова входа, вызываемого для входа прерывания. См. J.7.1(13).