程序最坏情况执行时间的符号计算
编程语言
2017-10-09 v1 性能
摘要
顺序程序的参数化最坏情况执行时间（WCET）分析生成一个表示该程序最坏情况执行时间的公式，其中公式的参数是用户定义的程序参数（如循环边界、输入值或内部变量等）。本文提出了一种计算程序参数化 WCET 的新方法。与文献中的其他算法不同，我们的方法不基于整数线性规划（ILP）。相反，我们采用了一种基于 WCET 公式符号计算概念的方法。在解释了我们的方法并证明其正确性之后，我们展示了一组实验，将我们的方法与现有技术进行了比较。我们表明，我们的方法优于其他参数化分析，并且产生的结果与非参数化的基于 ILP 的方法产生的结果非常接近，同时保持了非常好的计算时间。
引用
@article{arxiv.1709.09369,
title = {Symbolic Computation of the Worst-Case Execution Time of a Program},
author = {Clément Ballabriga and Julien Forget and Giuseppe Lipari},
journal= {arXiv preprint arXiv:1709.09369},
year = {2017}
}