关于分区实时系统的基准测试
软件工程
2020-07-22 v1 性能
摘要
航空软件受到关键的实时、确定性与安全性约束。软件设计者面临若干挑战,其中之一便是估算应用的最坏情况执行时间(WCET),其决定了系统的执行时间。悲观的 WCET 估算会导致系统执行性能低下,而过于乐观的估算则会导致截止期限缺失,破坏关键实时系统(RTS)的基本约束之一。分区系统是实时系统的一种特殊类别,由航空界用于部署航空软件。ARINC-653 标准是一种采用分区概念的通用航空标准。该标准定义了分区架构,其中一个分区绝不应直接干扰另一分区。借助众多已发布的基准或 WCET 估算框架之一,可对通用 RTS 进行 WCET 评估。相反,分区 RTS 是特殊情形,常用基准工具可能无法捕获所有度量。本文中,我们提出 SFPBench,一种用于评估分区 RTS 性能度量的通用基准框架。阐述了该框架的总体组织及其应用,并给出一个用例:在商用现货(COTS)处理器上运行的工业分区操作系统(OS)上使用 SFPBench。
引用
@article{arxiv.2007.10794,
title = {On the benchmarking of partitioned real-time systems},
author = {Felipe Gohring de Magalhaes and Alexy Torres Aurora Dugo and Jean-Baptiste Lefoul and Gabriela Nicolescu},
journal= {arXiv preprint arXiv:2007.10794},
year = {2020}
}
备注
11 pages, 3 figures