面向安全关键应用的多核处理器执行时间波动性分析

计算机工程与科学

面向安全关键应用的多核处理器执行时间波动性分析

宾婧怡，丁旭阳，齐晓铭，陈浩

（航空工业西安飞行自动控制研究所（618所），陕西西安 710077）

收稿日期:2018-12-05 修回日期:2019-03-21 出版日期:2019-09-25 发布日期:2019-09-25

Analyzing runtime variability of multi-core

processors for safety-critical systems

BIN Jing-yi,DING Xu-yang,QI Xiao-ming,CHEN Hao

（AVIC Xi’an Flight Automatic Control Research Institute,Xi’an 710077,China）

Received:2018-12-05 Revised:2019-03-21 Online:2019-09-25 Published:2019-09-25

摘要/Abstract

摘要：

在安全关键系统中，针对多核处理器共享硬件资源竞争带来的执行时间波动性问题，提出了基于性能计数器PMR和RSB的通用测试方法，通过捕捉执行时间波动性相关的硬件事件来分析硬件资源的共享性、执行时间的波动性和硬件平台的黑盒或灰盒行为。此方法可用于硬件平台的性能评估，也可用于应用任务的资源消耗评估，从而为WCET预测提供指导。

关键词: 多核, WCET, PMR, RSB, 安全关键系统

Abstract:

In order to solve the runtime variability problem caused by the contentions of shared hardware resources in multi-core processors for safety-critical systems, we propose a generalized measurement method based on performance monitor register (PMR) and resource stressing benchmark (RSB). The method captures the hardware events related to the execution time variability to analyze the sharing of hardware resources, the variability of execution time, and the black box or gray box behavior of the hardware platform. The proposed method can not only estimate the performance of hardware platforms, but also the resource consumption of applications, which thus can provide guidance for the worst case execution time (WCET) prediction in a pre-determined co-running context.

Key words: multi-core, WCET, PMR, RSB, safety-critical system

宾婧怡，丁旭阳，齐晓铭，陈浩. 面向安全关键应用的多核处理器执行时间波动性分析[J]. 计算机工程与科学.

BIN Jing-yi,DING Xu-yang,QI Xiao-ming,CHEN Hao.

Analyzing runtime variability of multi-core

processors for safety-critical systems

[J]. Computer Engineering & Science.

[1]	田玉恒,马胜,鲁建壮,杨柳. 一种高效的DMA核间同步传输方法[J]. J4, 20160101, 38(01): 52-56.
[2]	徐学政, 方健, 梁少杰, 王璐, 黄安文, 隋京高, 李琼. Rubyphi:面向gem5的Cache一致性协议自动化模型检验[J]. 计算机工程与科学, 2025, 47(7): 1141-1151.
[3]	谢洋, 李晨, 陈小文. 面向数据密集型应用的近数据处理架构设计[J]. 计算机工程与科学, 2025, 47(5): 797-810.
[4]	唐竹, 陈宝海, 王敬宇, 朱琪. 面向同构非对称多核的OpenOCD调试功能优化研究[J]. 计算机工程与科学, 2025, 47(1): 45-55.
[5]	施禹, 董攀, 张利军. 一种不规则稀疏矩阵的SpMV方法[J]. 计算机工程与科学, 2024, 46(7): 1175-1184.
[6]	陈杰, 李程, 刘仲. 面向多核向量加速器的卷积神经网络推理和训练向量化方法[J]. 计算机工程与科学, 2024, 46(4): 580-589.
[7]	刘仲, 李程, 田希, 刘胜, 邓让钰, 钱程东. MVSim：面向VLIW多核向量处理器的快速、可扩展和精确的体系结构模拟器[J]. 计算机工程与科学, 2024, 46(2): 191-199.
[8]	王继昌, 吕高锋, 刘忠沛, 杨翔瑞. 基于数据处理器的QUIC加密/解密卸载[J]. 计算机工程与科学, 2023, 45(11): 1960-1969.
[9]	罗莉, 周宏伟, 周理, 潘国腾, 周海亮, 刘彬. 一种多核处理器直连接口QoS的设计与验证[J]. 计算机工程与科学, 2021, 43(4): 620-627.
[10]	欧琦媛, 祝恩. 基于压缩子空间对齐的多核聚类算法[J]. 计算机工程与科学, 2021, 43(10): 1730-1735.
[11]	孙晓乐, 钱亚龙, 齐新新, 张云放, 陈娟, 袁远, 董勇. 片上互连网络的功耗特征分析与优化[J]. 计算机工程与科学, 2020, 42(7): 1141-1150.
[12]	熊炜1,2，管来福1，王传胜1，童磊1，李利荣1，刘敏1. 基于预测和残差细化网络的道路提取算法研究[J]. 计算机工程与科学, 2020, 42(4): 683-690.
[13]	马燕燕1，杨志斌1,2，江国华1. 一种SysML模型到AADL模型的自动转换方法[J]. 计算机工程与科学, 2020, 42(3): 456-466.
[14]	江仲鸣, 杨全胜. 基于异构多核SoC的LT码编码硬件化技术研究[J]. 计算机工程与科学, 2020, 42(12): 2125-2132.
[15]	张晨1，唐湘滟1,2，程杰仁1,2,3，董哲1，李俊麒1. 基于多核学习的自适应DDoS攻击检测方法[J]. 计算机工程与科学, 2019, 41(8): 1381-1389.