Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement

Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement
复制标题

利用运行时资源容量实施的多核干扰敏感 WCET 分析

DOI:
10.1109/ecrts.2014.20
复制
发表时间:
2014
期刊:
2014 26th Euromicro Conference on Real-Time Systems
影响因子:
--
通讯作者:
Michael Schmidt
Michael Schmidt
中科院分区:
--
文献类型:
--
作者:
Jan Nowotsch;M. Paulitsch;Daniel Buhler;Henrik Theiling;Simon Wegener;Michael Schmidt

文献摘要

被引文献

相似文献

多核处理器的性能和功率效率对于安全关键型应用(如航空电子设备)来说具有吸引力。但是,在为这些领域部署它们时,增加的集成和平均情况下的性能优化带来了挑战。在本文中,我们提出了一种新的方法来计算是WCET考虑可变的访问延迟,由于在多核处理器中的共享资源的并发使用,特别是集中在共享互连和主存储器。因此,我们解决了安全关键应用程序所需的时间分割的问题。特别是,我们引入额外的阶段,以国家的最先进的时序分析技术,分析应用程序的资源使用情况,并计算干扰延迟。我们进一步补充了离线分析与运行时监控的概念,以执行资源使用的保证。这些概念在Free scale的P4080多核处理器上结合SYSGO的商业实时操作系统Pike OS和Abs Int的时序分析框架aiT进行了评估。我们抽象的真实的应用程序的行为使用的EEMBC自动基准测试套件的代表性任务集。我们的研究结果显示,多核WCET减少了53%,同时对应用程序的时间和功能行为实现了完全透明,从而实现了遗留应用程序的无缝集成。
The performance and power efficiency of multi-core processors are attractive features for safety-critical applications, as in avionics. But increased integration and average-case performance optimisations pose challenges when deploying them for such domains. In this paper we propose a novel approach to compute an is WCET considering variable access delays due to the concurrent use of shared resources in multi-core processors, particularly focusing on shared interconnects and main memory. Thereby we tackle the problem of temporal partitioning as required by safety-critical applications. In particular, we introduce additional phases to state-of-the-art timing analysis techniques to analyse an application's resource usage and compute an interference delay. We further complement the offline analysis with a runtime monitoring concept to enforce resource usage guarantees. The concepts are evaluated on Free scale's P4080 multi-core processor in combination with SYSGO's commercial real-time operating system Pike OS and Abs Int's timing analysis framework aiT. We abstract real applications' behaviour using a representative task set of the EEMBC Auto bench benchmark suite. Our results show a reduction of up to 53% of the multi-core WCET, while implementing full transparency to the temporal and functional behaviour of applications, enabling the seamless integration of legacy applications.