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