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