龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：南京航空航天大学
摘要：本发明公开了一种基于程序异构关系图的SDC错误检测方法，包括：对LLVM进行二次开发，获取程序的结构信息和非结构信息；基于LLFI在寄存器或内存级别进行单粒子翻转故障模拟，挖掘程序各指令属性和SDC错误率；扩充指令属性并基于DGL构建程序异构关系图；搭建多关系图注意力网络HPRG，以此挖掘指令间的空间相关性，预测SDC脆弱指令，并探索影响SDC错误率的关键关系；设计程序容错机制，对SDC脆弱指令和关键关系进行分析，识别SDC关键指令，进行针对性冗余加固。本发明对程序进行异构关系图表征，可以更加准确地识别脆弱指令和关键关系，具有更高的SDC错误检测率和更低的时空开销，并且可以灵活适用于各种程序。
主权项：1.一种基于程序异构关系图的SDC错误检测方法，其特征在于，所述方法包括以下步骤：步骤1，对开源编译器LLVM进行二次开发，获取程序的结构信息和非结构信息；步骤2，基于故障注入工具LLFI在寄存器或内存级别进行单粒子翻转故障模拟，挖掘程序各指令属性和SDC错误率；步骤3，从步骤1和2获取的程序信息中挖掘指令节点和关系边，之后基于深度图谱库DGL构建程序异构关系图G；步骤4，搭建多关系图注意力网络HPRG，预测SDC脆弱指令，并挖掘影响SDC错误率的关键关系；步骤5，设计容错机制，对步骤4预测的SDC脆弱指令和关键关系进行分析，识别SDC关键指令，进行针对性冗余加固，实现SDC错误检测。
全文数据：
权利要求：
百度查询： 南京航空航天大学 基于程序异构关系图的SDC错误检测方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号