Руководство по Ada (Ada 2022)
Приложение D
(нормативное)
Системы реального времени
Это приложение определяет дополнительные характеристики реализаций Ada, предназначенных для программного обеспечения систем реального времени. Для соответствия этому приложению реализация должна также соответствовать приложению C, «Программирование систем».
Метрики
Метрики являются требованиями к документации; реализация должна документировать значения определённых языком метрик по крайней мере для одной конфигурации оборудования или подлежащей системы, поддерживаемой реализацией, и должна документировать детали этой конфигурации.
Метрики не обязательно дают простое число. Для некоторых более подходит диапазон, для других — формула, зависящая от некоторого параметра, а для других может быть предпочтительнее разбить метрику на несколько случаев. Если не указано иное, метрики в этом приложении выражены в тактах процессора. Для метрик, требующих документирования верхней границы, если верхней границы нет, реализация должна сообщить, что метрика неограничена.
ПРИМЕЧАНИЕ 1. Определение метрик различает верхние границы и простые времена выполнения. Когда что-то просто указывается как «время выполнения» фрагмента кода, это предоставляет свободу выбора непатологичного случая. Этот тип метрики имеет вид «существует программа, для которой значение метрики равно V». Наоборот, смысл верхних границ — «нет программы, для которой значение метрики больше, чем V». Этот тип метрики может быть проверен лишь частично, путём нахождения значения V для одной или нескольких тестовых программ.
ПРИМЕЧАНИЕ 2. Метрики не охватывают весь язык; они ограничены функциями, которые определены в приложении C, «Программирование систем», и в этом приложении. Метрики предназначены для руководства потенциальным пользователям относительно того, будет ли конкретная реализация такой функции достаточной для конкретного приложения реального времени. Таким образом, метрики ориентированы на известные варианты реализации, которые могут привести к существенным различиям в производительности.
ПРИМЕЧАНИЕ 3. Цель метрик не обязательно в том, чтобы предоставлять точные количественные результаты или служить для сравнения различных реализаций на одной и той же или разных платформах. Вместо этого их цель скорее качественная; определить стандартный набор приблизительных значений, которые можно измерить и использовать для оценки общей пригодности реализации или для оценки сравнительной полезности определённых функций реализации для конкретного приложения реального времени.
