基于WCET的多核共享资源冲突分析与约束研究  

Research on Constraint Conflicts and Analysis of Shared Resources in CMP Based on WCET

作　　者：甘志华[1,2] 古志民[1] 安立奎[1] 赵鑫[1] 

机构地区：[1]北京理工大学计算机学院,北京100081 [2]河南大学软件学院,开封475004

出　　处：《计算机科学》2014年第8期19-24,54,共7页Computer Science

基　　金：国家自然科学基金(61370062;61070029)资助

摘　　要：随着片上多核处理器在嵌入式实时系统中的应用,片上共享资源给任务的WCET分析带来诸多挑战,使得对多核共享资源冲突问题的研究变得非常重要。依据研究的目标,可以把目前已有的研究分为面向共享资源冲突分析和面向共享资源冲突约束两大类。对于面向共享资源冲突分析问题,探讨了不同共享资源冲突产生的原因,概括和比较了典型的冲突分析方法的优势和局限性;对于面向共享资源冲突约束问题,给出了其主要的研究内容,并评述和分析了几种主流的冲突约束方法。最后针对目前的研究状况指出了一些研究方向。Chip multi-processor （CMP）is well suited to fulfill the increasing performance requirement of real-time em- bedded systems. However, the use of CMP introduces new challenges to WCET analysis due to conflicts of shared re- sources. In this paper, the newest research achievements about conflicts of shared resources were introduced and divided into two main categories, i. e. , conflict analysis and constraint conflict, based on their research objective. For the conflict analysis of shared resources,we discussed the different causes of shared resources conflict, compared and surveyed the limitation and superiority of different types of conflict analysis approaches. For constraint conflict, the major research di- rections were presented, meanwhile, several mainstream method of constraint conflicts were investigated and compared respectively. At last,several major issues and research direction of conflict of shared resources for further exploration were pointed out.

关 键 词：片上多核处理器 最坏执行时间 冲突分析 冲突约束 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]