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/3).

• Сопоставление Link_Name или обозначения Ada и внешнего имени связи. См. C.1(9).

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

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

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

• Любые обстоятельства, когда выполнение предварительно обработанного пакета приводит к выполнению кода. См. 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/3).

• Метрики для пакета 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).

• Процессор(ы), на котором обрабатывается прерывание таймера; процессоры, на которых может обрабатываться каждый Interrupt_Id. См. D.16.1(32).

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

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

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

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

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

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

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

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

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