[发明专利]一种支持精确访存检测的多核处理器随机验证方法及装置有效
| 申请号： | 201610299336.1 | 申请日： | 2016-05-06 |
| 公开（公告）号： | CN105930242B | 公开（公告）日： | 2018-07-06 |
| 发明（设计）人： | 沈海华;赵跃辉;谭华哲 | 申请（专利权）人： | 中国科学院计算技术研究所 |
| 主分类号： | G06F11/26 | 分类号： | G06F11/26;G06F11/263 |
| 代理公司： | 北京律诚同业知识产权代理有限公司 11006 | 代理人： | 祁建国;梁挥 |
| 地址： | 100190 北*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出一种支持精确访存检测的多核处理器随机验证方法及其装置，该方法包括步骤1，将待验证的多核处理器中的用户约束与指令库相结合，生成存在访存冲突的并行程序作为验证向量；运行验证向量，记录验证向量的执行结果及访存操作的时间信息；步骤2，根据所述执行结果及所述访存操作的时间信息，进行存储一致性设计正确性检查，如果所述待验证的多核处理器的存储一致性设计符合存储一致性模型，则执行步骤3；步骤3，将所述验证向量及所述访存操作的时间信息送入指令级模拟器，所述指令级模拟器按照访存操作的时间顺序执行所述验证向量，并将结果与多核处理器模拟仿真后的执行结果进行比较，如果比较结果一致，继续执行多核处理器随机验证。 | ||
| 搜索关键词： | 验证 多核处理器 向量 存储一致性 时间信息 模拟器 指令 正确性检查 并行程序 继续执行 模拟仿真 时间顺序 用户约束 指令库 检测 送入 记录 冲突 | ||
【主权项】：
1.一种支持精确访存检测的多核处理器随机验证方法，其特征在于，包括：步骤1，将待验证的多核处理器中的用户约束与指令库相结合，通过并行程序产生器，生成存在访存冲突的并行程序作为验证向量；在待验证的多核处理器仿真环境中运行所述验证向量，记录所述验证向量的执行结果及访存操作的时间信息；步骤2，根据所述执行结果及所述访存操作的时间信息，进行存储一致性设计正确性检查，如果所述待验证的多核处理器的存储一致性设计符合存储一致性模型，则执行步骤3，否则发现设计错误，停止本次随机验证并执行错误调试；步骤3，将所述验证向量及所述访存操作的时间信息送入指令级模拟器，所述指令级模拟器按照访存操作的时间顺序执行所述验证向量，并将结果与多核处理器模拟仿真后的执行结果进行比较，如果比较结果一致，则本次随机验证通过，继续执行多核处理器随机验证，否则进行错误调试；其中步骤1中生成存在访存冲突的并行程序作为验证向量具体包括：在随机验证环境中将并行程序中每个进程的代码段分配到不同的物理地址，并将所有进程的数据段都分配到相同的物理地址，以产生访存冲突。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院计算技术研究所，未经中国科学院计算技术研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610299336.1/，转载请声明来源钻瓜专利网。
- 上一篇：一种主板带电串口输出电压电流的检测装置
- 下一篇：一种计算机PXE测试方法
