一种基于抽象解释的WCET自动分析工具.pdfVIP

第32卷第14期 计算机工程 2006年7月 2006 V01．32 №14 ComputerEngineering July ·软件技术与数据库· 文章编号：1000-_3428(20％)14—彻54—03文献标识码；A 中圈分类号：TP277 一种基于抽象解释的WCET自动分析工具 姬盂洛1，李军2，王馨1，齐治昌1 (1．国防科学技术大学计算机科学学院，长沙410073；2．北京跟踪与通信技术研究所，北京100094) 摘要：利用基于抽象解释的变量值范围传播技术，提出了一种自动分析高级语言程序流信息的方法；并在自盒测试工具NPCA的基础上， 利用该方法实现了WCET分析工具NPCA—WCET。 关健词：实时程序；WCET分析工具；抽象解释 AnAutomaticWCET ToolBasedonAbstract Analysis Jl Jun2，WANG Menglu01，LI Xinl，QIZhichan91 (1．SchoolofComputerScience，NationalUniversityofDefenseTechnology,Changsha410073； of andTelecommunication InstituteTrace 2．Beijing Technology，Beijing100094) aworst—caseexecution methodwhereitsautomaticflow methodisbased [Abstract]Thispaperpresents time(WCET)analysis programanalysis on isfor value method abstract WCET methodmodemRISC rangepropagationsupportedby interpretation．Theanalysis processorincluding and onthismethod．the aWCET t001——NPCA-WCET． pipeliningcaching．Based paperimplementsanalysis execution [Keywords]Real—timeprograms；Worst—casetime(WCET)analysistool；Abstractinterpremfion 与非实时系统不同，实时系统的正确性不仅取决于它所 产生的输出，而且还取决于产生输出的时间。实时系统的计 算结果只有在规定的时间范围内到达才是有效的。 分析实时系统时间行为的经典方法是调度分析。调度分 析程序根据每个任务的执行时间按照一定的调度策略确定每 个任务能否在规定的时间完成。这里每个任务的执行时间指 Execution 圈1 WCET分析的组成 的是最差情况下的执行时间(Worst—Case Time， WCET)，也就是说，不管输入数据如何，调度都按照这个时 为了得到精确的WCET分析值，需要获得程序流信息。 间考虑。这个时间要求必须在调度之前事先获知。 流信息通常包括循环的迭代次数范围、不可行路径(infeasible path)、递归调用的最大深度等程序流约束信息。 WCET分