高性能计算技术2015，Issue(3) ：30-36.

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

Design and Implementation of WCET Static Analyzer for Real-time Systems

陈芳园 丰晋军 过锋
高性能计算技术2015，Issue(3) ：30-36.
✕
  • NETL
  • NSTL
  • 万方数据

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

Design and Implementation of WCET Static Analyzer for Real-time Systems

陈芳园 1丰晋军 2过锋1
扫码查看

作者信息

  • 1. 江南计算技术研究所 无锡214000
  • 2. 江南计算技术研究所 无锡214000;江南大学物联网工程学院 无锡214012
  • 折叠

摘要

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

关键词

多核处理器/共享资源/WCET/干扰

引用本文复制引用

出版年

2015
高性能计算技术
中国人民解放军总参第五十六研究所

高性能计算技术

影响因子：0.038
ISSN：
参考文献量9
段落导航相关论文