龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：吉林大学
摘要：本申请公开了一种GPGPU程序SDC错误检测方法及装置，包括：获取待检测程序，并确定待检测程序的待检测指令中具有高SDC倾向性的SDC脆弱指令；待检测程序为GPGPU程序，SDC倾向性与待检测指令具有SDC错误的概率之间呈正相关关系；根据待检测程序的各基本块中的SDC脆弱指令之间的依赖关系构建与各基本块对应的指令路径；指令路径为包括具有依赖关系的多个SDC脆弱指令的第一类路径和或包括与任一所述SDC脆弱指令均不具有依赖关系的单个所述SDC脆弱指令的第二类路径；对指令路径进行复制得到副本路径，并基于指令路径和副本路径对待检测程序中的SDC错误进行检测。本申请在保证程序可靠性的情况下通过少量指令复制以对大量SDC错误进行检测，提高错误检测效率。
主权项：1.一种GPGPU程序SDC错误检测方法，其特征在于，包括：获取待检测程序，并确定所述待检测程序的待检测指令中具有高SDC倾向性的SDC脆弱指令；其中，所述待检测程序为GPGPU程序，SDC倾向性与所述待检测指令具有SDC错误的概率之间呈正相关关系；根据所述待检测程序的各基本块中的所述SDC脆弱指令之间的依赖关系构建与各所述基本块对应的指令路径；其中，所述指令路径为包括具有依赖关系的多个所述SDC脆弱指令的第一类路径和或包括与任一所述SDC脆弱指令均不具有依赖关系的单个所述SDC脆弱指令的第二类路径；对所述指令路径进行复制得到相应的副本路径，并基于所述指令路径和所述副本路径对所述待检测程序中的SDC错误进行检测；所述对所述指令路径进行复制得到相应的副本路径，并基于所述指令路径和所述副本路径对所述待检测程序中的SDC错误进行检测，包括：将所述指令路径中的每个所述SDC脆弱指令所在原寄存器中的值存储至新寄存器中，分别计算所述SDC脆弱指令和副本指令，并将所述SDC脆弱指令和所述副本指令的计算结果存放在不同的寄存器中，以得到相应的副本路径；通过在所述副本路径的结尾插入比较指令的方式，将所述副本路径中的指令运行结果与所述指令路径中的指令运行结果进行比对，如果不一致，则判定所述指令路径中的所述SDC脆弱指令存在SDC错误。
全文数据：
权利要求：
百度查询： 吉林大学 一种GPGPU程序SDC错误检测方法及装置
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号