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