Towards Automated Generation of Time-Predictable Code
Towards Automated Generation of Time-Predictable Code
复制标题
迈向自动生成时间可预测的代码
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
P. Puschner
中科院分区：
文献类型：
--
作者：
Daniel Prokesch;Benedikt Huber;P. Puschner
了解软件组件最坏情况下的执行时间对于安全关键型硬实时系统至关重要。其分析并非微不足道，因为执行时间取决于许多因素，包括底层硬件平台、程序结构和编译器生成的代码。通常，执行时间是可变的，并且对程序必须处理的输入数据高度敏感。本文提出了一种适用于生成时间可预测代码的编译器后端的代码转换。生成的代码包含一个独立于输入数据的执行路径，以获得稳定时序行为的程序。该转换技术已通过在许多基准测试中的应用而得到验证。实验表明，在单个执行路径的成本可接受的情况下，执行时间的可变性减少了。
Knowledge of the worst-case execution time of software components is essential in safety-critical hard real-time systems. The analysis thereof is not trivial as the execution time depends on many factors, including the underlying hardware platform, the program structure, and the code produced by the compiler. Often, the execution time is variable and highly sensitive to the input data the program has to process. This paper presents a code transformation applicable in a compiler backend that produces time-predictable code. The resulting code contains a single input-data independent execution path, in order to obtain programs of stable timing behaviour. The transformation technique has been validated by applying it on a number of benchmarks. Experiments show a reduction of execution time variability, at acceptable costs for the single execution path.