实时系统WCET静态分析工具设计与实现

• 作者: 丰晋军 过锋 陈芳园
• 来源期刊: 高性能计算技术
• 学科: 工学
• 关键词: 多核处理器 共享资源 WCET 干扰
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 高性能计算技术
• 页码范围: 30-36
• 页数: 7页
• 分类号: TP302
• 语种: 中文

摘要

本文针对共享Cache、共享总线和片外共享存储,提出了一种基于时序范畴的干扰分析方法,并设计实现了一个基于多核处理器平台的实时系统WCET静态分析工具MCTA(Multi-core Timing Analyzer).MCTA基于单核静态分析方法,模拟多核处理器中共享资源对线程执行的影响,采用基于共享资源访问时序范畴的干扰分析方法,分析线程在多核处理器执行过程中由于共享资源产生的延迟,从而获得较精确的WCET估值,并通过实验证明了MCTA的有效性和精确性.