Guaranteed Loop Bound Identification from Program Traces for WCET
Guaranteed Loop Bound Identification from Program Traces for WCET
复制标题
从 WCET 的程序跟踪中保证循环界限识别
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
D. Kazakov
中科院分区：
文献类型：
--
作者：
M. Bartlett;I. Bate;D. Kazakov
静态分析可用于确定最坏情况下执行时间的安全估计。但是，高估环路迭代次数，尤其是在嵌套环中，可能会导致整体估计值实质性的悲观情绪。本文提出了一种确定特定一类任意深层嵌套环的环路迭代次数的确切参数值的方法。事实证明，使用可从有限且可量化的程序跟踪中获得的信息可以保证值是正确的。使用此证明的结果，可以构建工具并评估其可伸缩性。
Static analysis can be used to determine safe estimates of Worst Case Execution Time. However, overestimation of the number of loop iterations, particularly in nested loops, can result in substantial pessimism in the overall estimate. This paper presents a method of determining exact parametric values of the number of loop iterations for a particular class of arbitrarily deeply nested loops. It is proven that values are guaranteed to be correct using information obtainable from a finite and quantifiable number of program traces. Using the results of this proof, a tool is constructed and its scalability assessed.
实时系统应用程序的关系学习面临的挑战
DOI：
--
发表时间：
--
期刊：
--
影响因子：
--
作者：
Iain John Bate (Author)
通讯作者：
Iain John Bate (Author)