买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：西北工业大学

摘要：本发明提供了一种多核结构处理器中锁步核调试及容错性能验证系统，涉及处理器调试领域，该系统包括：多核锁步处理器组，其包含主核和至少两个锁步备份核；故障注入模块，其用于根据故障注入请求中的故障矢量序列号查找出相应的故障序列，然后选择目标核进行输出；一致性判断模块，其用于对多核锁步处理器组的执行结果进行比较后输出比较结果；状态缓存与控制模块，其用于对比较结果引起的状态以及后续操作进行控制；中断信号判断模块，其用于根据比较结果和对应故障序列的类型标志进行比较，若为不可恢复故障，则进行全局复位；若为可恢复故障，则请求系统中断。本发明提出的验证系统具有配置简单、检测精度高以及硬件实现简单的特点。

主权项：1.一种多核结构处理器中锁步核调试及容错性能验证系统，其特征在于，包括：多核锁步处理器组，其包含主核和至少两个锁步备份核，所述多核锁步处理器组用于执行相同的用户程序，并输出执行结果；故障注入模块，其用于根据故障注入请求中的故障矢量序列号查找出相应的故障序列，然后选择目标核，并将所述故障序列输出至所述目标核内；其中，由代码编写故障信息并进行序列号，然后进行序列标准化后得到故障序列查找表，将所述故障序列查找表载入到所述故障注入模块的内存指定地址，用于故障序列的查找；所述由代码编写故障信息并进行序列号，然后进行序列标准化后得到故障序列查找表，将所述故障序列查找表载入到所述故障注入模块的内存指定地址，具体包括：由代码编写故障信息并进行序列号分配，得到故障序列；在链接文件中指定一块内存区域作为故障信息存放的专用区域，设置该块内存区域的属性为只读属性，并在该区域的开头几个地址处的区域存放默认故障序列，然后在接下来的连续地址处存放经过序列标准化的故障序列，所述默认故障序列与所述标准化的故障序列构成故障序列查找表，最终得到带有故障序列查找表的链接文件；所述带有故障序列查找表的链接文件通过调试接口载入到所述故障产生单元中的故障矢量缓存器组映射到的内存区域内；一致性判断模块，其用于对所述多核锁步处理器组的执行结果进行缓存，并在下一个时钟周期将所述多核锁步处理器组的上一周期的执行结果比较后输出比较结果；状态缓存与控制模块，其用于接收所述一致性判断模块输出的比较结果并进行保存，然后对所述比较结果引起的状态以及后续操作进行控制。

全文数据：

权利要求：

百度查询： 西北工业大学 一种多核结构处理器中锁步核调试及容错性能验证系统