Efficient Analysis of Pipeline Models for WCET Computation
Efficient Analysis of Pipeline Models for WCET Computation
复制标题
WCET 计算管道模型的高效分析
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Stephan Wilhelm
中科院分区：
文献类型：
--
作者：
Stephan Wilhelm
现代最差的执行时间（WCET）预测
cpua¢â€¢s不能对影响进行本地假设
有关全球最坏情况的输入信息，因为
因此，定时异常的存在
在硬件级别上必须考虑大量的子集
基础硬件模型的可达状态
状态的数量增长，WCET预测可以成为
由于计算时间的增加而不可行
记忆消耗。
通过定义处理器的静态分析来解决此问题
WCET计算的管道在操作方面
二进制决策图（bdda¢â€¢s）。
Worst-case execution time (WCET) prediction for modern
CPUA¢â‚¬â„¢s cannot make local assumptions about the impact
of input information on the global worst-case because
of the existence of timing anomalies. Therefore, static analyses
on the hardware level must consider a large subset of
the reachable states of the underlying hardware model. As
the number of states grows, WCET prediction can become
infeasible because of the increase in computation time and
memory consumption. This paper presents a solution for
this problem by defining the static analysis of processor
pipelines for WCET computation in terms of operations on
binary decision diagrams (BDDA¢â‚¬â„¢s).