基于变量值范围传播计算WCET程序流信息.pdfVIP

∗ 基于程序变量的值范围传播计算 WCET 流信息 姬孟洛, 王怀民, 齐治昌 ( 国防科学技术大学 计算机学院, 湖南 长沙 410073) Computing Program Flow Information for WCET Analysis Based on the Value Range Propagation of Variables + JI Meng-Luo , QI Zhi-Chang, WANG Huai-Min (School of Computer, National University of Defense Technology, Changsha 410073, China) + Corresponding author : Phn: +86-731-4573650, E-mail: jimengluo@ Received 2000-00-00; Accepted 2000-00-00 Abstract: Worst-Case Execution Time (WCET) analysis is a hot spot in real-time system research. Refined program flow information for WCET can improve WCET analysis and increase the precision of WCET estimates and as a result save system resources. This paper presents a new method to automatically analyze the program flow for purpose of WCET analysis. The value range of variables in a program is propagated by generic monotone dataflow framework, and the propagation process is speed up with Abstract Interpretation (AI), and the precision of the analysis result is also guaranteed by AI. Based on the result of value range analysis, program flow information for WCET can be derived which includes the iterations range of loops, paths and basic blocks in loops, and the identification of infeasible paths in loops. This flow information facilitates the refined analysis of WCET. Key words: real-time systems; Worst-Case Execution Time (WCET); value range analysis; generic monotone dataflow framework; Abstract Interpretation (AI) 摘 要: 程序最大执行时间(WCET)分析是实时系统近年来的一个研究热点.针对 WCET 的程序流信息的精化分 析能够改善WCET 的分析质量,提高WCET 的分析精度,从而节省系统资源.本文提出一种自动获取用于WCET 分 析的程序流信息分析方法.该方法通过通用单调数据流框架实现变量的值范围传播,利用抽象解释技术提高传播速 度,利用变量的值范围计算 WCET 的程序流信息, 包括循环迭代范围,不可行路径,循环路径和基本块的迭代范围等. 基于此程序流信息,能够精化WCET 的分析与计算. 关键词: 实时系统; 最大执行时间(WCET