一种基于SIMD向量化的数据流软错误检测方法
实质审查的生效
摘要

本发明公开了一种基于SIMD向量化的数据流软错误检测方法。包括以下步骤:将源程序编译成中间代码,并构建控制流图和分析数据流指令依赖关系,得到指令依赖顺序;对数据应用相应的数据向量化方法,将原始数据和冗余数据向量化,得到向量数据;对指令应用相应的指令向量化方法,得到向量指令;根据加固策略中的检查点应用相应的检查点规则,生成错误检测代码。本发明提出的方法主要思想是针对冗余执行的数据流算法效率低下问题,根据数据和指令化方法,对程序进行向量化处理,通过利用硬件SIMD数据并行性提升程序性能,根据检查点规则在相应位置生成错误检测代码,实现错误自动检测功能,具有现有方法一般不能检测缓存等部件软错误的优点。

基本信息
专利标题 :
一种基于SIMD向量化的数据流软错误检测方法
专利标题(英):
暂无
公开(公告)号 :
CN114510427A
申请号 :
CN202210175150.0
公开(公告)日 :
2022-05-17
申请日 :
2022-02-24
授权号 :
暂无
授权日 :
暂无
发明人 :
庄毅张磊顾晶晶郭黎烨曹子宁
申请人 :
南京航空航天大学
申请人地址 :
江苏省南京市秦淮区御道街29号
代理机构 :
南京理工大学专利中心
代理人 :
朱炳斐
优先权 :
CN202210175150.0
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  G06F11/00  G06F8/41  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-06-03 :
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20220224
2022-05-17 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332