结合程序异构关系图的SDC错误检测.pdfVIP

小型微型计算机系统2025年1月第1期

DOI:10.20009/j.cnki.21-1106/TP.2023-0381

JournalofChineseComputerSystemsVol.46No.12025

结合程序异构关系图的SDC错误检测

文宝,顾晶晶,刘阳,周强

（南京航空航天大学计算机科学与技术学院，南京211106）

E-mail:gujingjing@nuaa.edu.cn

摘要：随着片上系统(SystemOnChip,SOC)集成度和规模的指数级增长,计算机系统发生粒子翻转后产生故障的可能性正

在增加，其可靠性已经成为一个越来越值得关注的问题.在众多的故障中，静默数据损坏（SilentDataCorruption,SDC)是最难

检测的故障类型之一，其无法被系统纠错机制检测，会随着程序执行无声地传播，最终破坏程序输出，而现有SDC错误检测方

法多数仅考虑指令静态特征，忽略了指令间上下文信息，缺乏探索SDC传播规律的能力.为此，本文提出了一种结合程序异构

关系图的SDC错误检测方法(SDCErrorDetectionBasedonProgramHeterogeneousRelationGraph,PHRG).首先，设计了一个程

序分析框架，挖掘程序上下文信息，构建程序异构关系图；其次，利用多关系图注意力网络搭建指令SDC脆弱性预测模型，挖掘

SDC传播的关键路径，识别高脆弱性指令；最后，依据预测结果设计容错机制，对程序进行针对性余以检测SDC错误.实验结

果表明,PHRG在Mibench测试集上较现有方法具有更高的SDC脆弱性预测准确率，更高的SDC检测率和更低的时空开销.

关键词：静默数据损坏；异构关系图；图注意力网络；错误检测

中图分类号：TP302文献标识码：A文章编号：1000-1220(2025)01-0242-07

SDCErrorDetectionBasedonProgramHeterogeneousRelationGraph

WENBao,GUJingjing,LIUYang,ZHOUQiang

(CollegeofComputerScienceandTechnology,NanjingUniversityofAeronauticsandAstronautics,Nanjing211106,China)

Abstract:WiththeexponentialgrowthintheintegrationandsizeofSystemOnChip(SOC),thepossibilityoffailuresincomputer

systemsfollowingparticleflipsisincreasing,andtheirreliabilityhasbecomeanissueofgrowingconcern.Amongthemanyfaults,Si-

lentDataCorruption(SDC)isoneofthemostdifficulttypesoffaultstodetect,whichcannotbedetectedbythesystemerrorcorrec-

tionmechanism,andwillpropagatesilentlywiththeprogramexecution,andultimatelycorrupttheprogramoutput.Whilemostofthe

existingSDCerrordetectionmethodsonlyconsiderthestaticcharacteristicsofinstructions,ignoringtheinter-instructioncontextinfor-

mation,andlacktheabilitytoexploretheSDCpr