多核实时线程间干扰分析及WCET估值  

Inter-Thread Interference Analysis for Real-Time WCET Estimations of Multi-Core Architectures

作　　者：陈芳园[1] 张冬松[1,2] 王志英[1] 

机构地区：[1]国防科学技术大学计算机学院,湖南长沙410073 [2]国防科学技术大学并行与分布处理国家重点实验室,湖南长沙410073

出　　处：《电子学报》2012年第7期1372-1378,共7页Acta Electronica Sinica

基　　金：国家教育部博士点基金(No.20104307110005);国防科学技术大学优秀研究生创新资助(No.B100601);湖南省研究生科研创新项目资助(No.CX2010B026)

摘　　要：在共享Cache的多核处理器中,线程在共享Cache中的指令可能被其他并行线程的指令替换,从而导致了线程间在共享Cache上的干扰.多核结构下WCET估值需要考虑并行线程间在共享Cache上的干扰.针对当前典型的共享Cache和共享总线的多核结构,本文提出了一种迭代的WCET估值分析方法.考虑共享总线对共享Cache访问的时序影响,基于该时序分析线程间在共享Cache上的干扰,得到较精确的WCET估值.理论分析证明了该方法的有效性,实验结果表明本文的分析方法较之当前的两种方法分别可以提高21%和14%的精确度.In a shared-cache multi-core architecture one thread may interfere with a second thread if the second one tries to access the shared cache simultaneously. Consequently, this causes the eviction of the second thread instructions. To track this chal- lenge, designers need to consider nmfime inter-thread interference while analyzing WCET of a real-time application on multi-core architectures. This paper proposes an iterative approach for WCET estimation which considers the circular dependence between shared bus and the runtime inter-thread interference in shared cache. Our approach analyzes inter-thread interference in shared cache based on access timings, which combines static analysis and dynamic timing estimation. The iterative method presented can improve the tightness of WCET estimation by refming estimations of inter-thread interference. Our experiments demonstrate that the proposed approach can reasonably estimate inter-thread interference in shared caches and improve the tightness of WCEF estimation by an av- erage of 21% and 14% ,compared with the estimations in literatures.

关 键 词：多核体系结构 共享CACHE 共享总线 干扰 WCET 

分 类 号：TP16[自动化与计算机技术—控制理论与控制工程]