×
李咸丰；阿比克·罗伊乔杜里；图利卡·米特拉

为WCET分析建模无序处理器。 （英语） Zbl 1103.68410号

实时系统。 34，第3期，195-227（2006）.
摘要：估计给定处理器上程序的最坏执行时间（WCET）对于实时系统的可调度性分析非常重要。WCET分析技术通常对现代处理器中的微体系结构特性（如管道、缓存、分支预测）的时间效应进行建模，以获得安全而严密的估计。在本文中，我们为无序超标量处理器管道建模以进行WCET分析。一般来说，如果某些指令具有可变的延迟，即使对于基本块（具有单入口点和单出口点的指令序列），分析也很困难。这是因为无法通过假设单个指令的最大延迟来获得无序管道上基本块的WCET。我们对基本块的定时估计技术是通过对指令进入/离开流水线阶段的时间间隔进行定点分析来进行的。为了将我们的估计扩展到整个程序，我们使用整数线性规划来组合基本块的定时估计。指令缓存和分支预测的时间效应也在我们的流水线分析框架中建模。这形成了一个组合的时间分析框架，该框架捕获无序流水线、缓存、分支预测以及这些微观结构特征之间的相互作用。我们的分析的准确性通过对几个基准的严格估计得到了证明。

MSC公司：

68平方米 计算机系统环境下的性能评估、排队和调度
68N99型 软件理论

关键词：

最坏情况执行时间分析；无序超标量处理器；指令缓存；分支预测

软件：

简单标尺；CPLEX公司
PDF格式BibTeX公司 XML格式引用
\textit{X.Li}等人，《实时系统》。34，第3号，195--227（2006；Zbl 1103.68410）
全文： 内政部

参考文献：

[1] Arnold RD、Mueller F、Whalley DB、Harmon MG（1994）《极限最坏情况指令缓存性能》。收录：IEEE实时系统研讨会（RTSS），172-181
[2] Burger D，Austin T（1997）《简单标量工具集》，2.0版。威斯康星大学麦迪逊分校CS-TR-1997-1342技术报告
[3] Colin A，Puaut I（2000）具有分支预测的处理器的最坏情况执行时间分析。实时系统18（2）：249–274·doi:10.1023/A：1008149332687
[4] CPLEX（2002）ILOG CPLEX Optimizer v7.5，2002。商业软件，网址：http://www.ilog.com
[5] Engblom J（2002）《处理器管道和静态最坏情况执行时间分析》。瑞典乌普萨拉大学博士论文·Zbl 1027.68796号
[6] Healy C，Arnold R，Mueller F，Whalley D，Harmon M（1999）边界流水线和指令缓存性能。收录：IEEE计算机汇刊48（1）：53–70·doi:10.1109/12.743411
[7] Heckmann R、Langenbach M、Thesing S、Wilhelm R（2003）处理器架构对WCET工具设计和结果的影响。IEEE会议记录91（7）：1038–1054
[8] Hennessy JL，Patterson DA（1996）《计算机体系结构——定量方法》。摩根考夫曼·Zbl 0844.68003号
[9] Lim S-S、Bae YH、Jang GT、Rhee B.-D、Min SL、Park CY、Shin H、Park K、Kim CS（1995）RISC处理器的准确最坏情况时序分析技术。收录：IEEE软件工程学报21（7）：593–604
[10] Lim S-S，Han JH，Kim J，Min SL（1998）多发机器的最坏情况计时分析技术。收录：IEEE实时系统研讨会（RTSS）334–345
[11] Li X，Mitra T，Roychoudhury A（2005），时序分析的建模控制推测。实时系统29（1）：27–58·Zbl 1102.68015号 ·doi:10.1023/B:TIME.000048933.15922.f9
[12] Li Y-T.S、Malik S、Wolfe A（1999）《嵌入式软件的性能评估与指令缓存建模》。ACM电子系统设计自动化汇刊4（3）：257–279·doi:10.1145/315773.315778
[13] Li X，Roychoudhury A，Mitra T（2004）软件时序分析的无序处理器建模。收录：IEEE实时系统研讨会（RTSS）92–103
[14] Lundqvist T，Stenström P（1999a）基于循环级符号执行的集成路径和时序分析方法。实时系统17（2–3）：183–207·doi:10.1023/A:1008138407139
[15] Lundqvist T，Stenström P（1999b）动态调度微处理器中的定时异常。IEEE实时系统研讨会（RTSS）12-21
[16] Lehoczky P，Sha L，Ding Y（1989）速率单调调度算法：精确表征和平均情况行为。In:IEEE实时系统研讨会
[17] Langenbach M，Thesing S，Heckmann R（2002）《时序分析的管道建模》。收录：静态分析研讨会（SAS）294–309。施普林格·Zbl 1015.68758号
[18] 马拉达伦实时研究中心（1994年）WCET基准。http://www.mrtc.mdh.se/projects/wcet/benchmarks.html
[19] McFarling S（1993）组合分支预测因子。DEC西部研究实验室技术报告
[20] McMillan K，Dill D（1992）接口时序验证算法。In:IEEE国际计算机设计会议（ICCD）48–51
[21] Puschner P，Koza C（1989）计算实时程序的最大执行时间。实时系统1（2）：159–176·doi:10.1007/BF00571421
[22] 首尔国立大学实时研究小组（1994）SNU实时基准。http://archi.snu.ac.kr/RESEARCH/index.html
[23] Schneider J，Ferdinand C（1999）通过抽象解释预测超标量处理器的管道行为。在：嵌入式系统语言、编译器和工具国际研讨会（LCTES）35-44
[24] Shaw AC（1989）《高级语言软件中关于时间的推理》。收录：IEEE软件工程汇刊1（2）：875–889·数字对象标识代码：10.1109/32.29487
[25] Sohi G（1990）高性能、可中断、多功能单元、流水线计算机的指令发布逻辑。收录：IEEE计算机汇刊39（3）：349–359·doi:10.1109/12.48865
[26] Theiling H，Ferdinand C，Wilhelm R（2000）通过分离缓存和路径分析快速准确地预测WCET。实时系统18（2/3）：157–179·doi:10.1023/A:1008141130870
[27] 论文S（2004）通过管道模型的抽象解释进行安全和精确的最坏情况执行时间预测。萨尔大学博士论文
[28] Yeh TY，Patt YN（1992）两级自适应分支预测的替代实现。In:ACM国际计算机体系结构研讨会（ISCA）124–134
[29] Yen TY，Wolf W（1998）实时分布式嵌入式系统的性能评估。收录：IEEE并行和分布式系统汇刊9（11）：1125–1136·doi:10.1109/71.735959
[30] Zhang N，Burns A，Nicholson M（1993）流水线处理器和最坏情况下的执行时间。实时系统5（4）：319–343·doi:10.1007/BF01088834
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。