多核实时线程间干扰分析及WCET估值
作者:陈芳园;王志英;张冬松
作者单位:国防科学技术大学计算机学院,湖南长沙4100732;国防科学技术大学计算机学院,湖南长沙4100732;国防科学技术大学并行与分布处理国家重点实验室,湖南长沙410073
加工时间:2014-06-15
信息来源:《电子学报》
关键词:多核体系结构;共享Cache;共享总线;干扰;WCET
摘 要:在共享Cache的多核处理器中,线程在共享Cache中的指令可能被其他并行线程的指令替换,从而导致了线程间在共享Cache上的干扰.多核结构下WCET估值需要考虑并行线程间在共享Cache上的干扰.针对当前典型的共享Cache和共享总线的多核结构,本文提出了一种迭代的WCET估值分析方法.考虑共享总线对共享Cache访问的时序影响,基于该时序分析线程间在共享Cache上的干扰,得到较精确的WCET估值.理论分析证明了该方法的有效性,实验结果表明本文的分析方法较之当前的两种方法分别可以提高21%和14%的精确度.