摘要
实时系统时间分析的首要任务是估计程序的最坏情况执行时间(worst-case execution time,简称WCET).程序的WCET通常受到硬件体系结构的影响,Cache则是其中最为突出的因素之一.对面向WCET计算的Cache分析研究进行了综述,介绍了经典Cache分析框架与Cache分析核心技术,并从循环结构分析、数据Cache分析、多级Cache分析、多核共享Cache分析、非LRU替换策略分析等角度介绍了Cache分析在不同维度上的研究问题与主要挑战,总结了现有技术的优缺点,展望了Cache分析研究的未来发展方向.
The main task of real-time system design is to analyze the timing behaviors of a system at design time in order to guarantee that the given timing constraints are met at run time. The key issue is to estimate the Worst-Case Execution Time （WCET） of a program. Typically the WCET is heavily influenced by the hardware features of the target processor, among which Cache is the most influential factor. This article presents a survey on Cache analysis for WCET estimation. It introduces main research problems and challenges in different dimensions, such as the analysis of loops, data caches, multi-level caches, multi-core shared caches, non-LRU replacement policies, etc. The mainstream analysis techniques with their pros and cons are evaluated. An outlook for future research directions of Cache analysis is given in the end.
出处
《软件学报》
EI
CSCD
北大核心
2014年第2期179-199,共21页
Journal of Software
基金
国家自然科学基金(61100023
61300022)
中央高校基本科研业务费(N120404008)
作者简介
通讯作者：吕鸣松，E—mail：lvmingsong@ise．neu．edu．cn吕鸣松（1980－），男，辽宁沈阳人，博士，讲师，CCF会员，主要研究领域为实时系统时间分析，多核嵌入式系统设计与验证．E—mail：lvmingsong@ise．neu．edu．cn
关楠（1981－），男，博士，副教授，CCF会员，主要研究领域为多核实时调度，实时系统时间分析，多核嵌入式系统设计与验证E—mail：guannan@ise．neu．edu．cn
王义（1961-），男，博士，教授，博士生导师，CCF会员，主要研究领域为模型检测，形式化方法，多核计算机系统，嵌入式系统设计与验证．E—mail：wangyi@ise．neu．edu．cn
