[发明专利]多核互联二级缓存访问验证方法

摘要

本发明提供一种多核互联二级缓存访问验证方法，要解决的技术问题是多核互联二级缓存功能验证过程遇到的错误定位延时长、校验预期结果生成困难的问题。技术方案是通过一致性传输监测模块实时检测多核互联系统与各单核处理器、二级缓存和主存的交互，并将收集的传输信息发送给二级缓存预期生成器和校验模块。二级缓存预期生成器依据多核一致性协议，从全局内存精准控制模块中获得信息后，生成预期结果。校验模块负责预期结果与实际结果的对比，从而无延时实现多核互联对二级缓存访问的正确性判断。

主权项

1.一种多核互联二级缓存访问验证方法，其特征在于，包括：步骤1：将各单核处理器向多核互联系统发送的传输通过一致性传输监测模块实时检测，并将收集的传输信息发送给二级缓存预期生成器；步骤2：二级缓存预期生成器对接收到的传输信息进行预处理，分拣出需要访问二级缓存的操作，并存放到缓存预期队列中；步骤3：将多核互联系统向二级缓存发送的访问请求通过一致性传输监测模块实时观测，并将收集的传输信息发送给缓存校验模块；步骤4：缓存校验模块根据步骤3接收的请求识别号从缓存预期队列中寻找是否存在此请求对应的预期结果，如果预期队列中不存在有效结果，或者预期队列中存在有效结果，但预期结果与实际结果不一致，则认为系统发生错误，将报错并提供错误信息；否则认为多核互联系统操作正确，继续执行步骤5；步骤5：将二级缓存向多核互联系统发送的反馈信息通过一致性传输监测模块实时观测，并将收集的传输信息发送给二级缓存预期生成器；步骤6：二级缓存预期生成器按照步骤5收集的二级缓存反馈信息，从全局内存精准控制模块中获得各核缓存行状态，判断是否需要再次访问二级缓存，如果需要访问，则更新缓存预期队列中对应表项信息；如果无需访问，则将缓存预期队列中对应表项信息删除；同时判断是否需要访问主存，如果需要，则存放到主存预期队列中；步骤7：将多核互联系统对主存发起的访问请求通过一致性传输监测模块实时观测，并将收集的传输信息发送给主存校验模块；步骤8：主存校验模块根据步骤7接收的请求识别号从主存预期队列中寻找此请求的有效预期结果，如果预期队列中不存在有效结果，或者预期队列中存在有效结果，但预期结果与实际结果不一致，则认为系统出现错误，主存校验模块将报错并提供错误信息；否则认为多核互联系统操作正确，继续执行步骤9；步骤9：当所有传输结束时，缓存校验模块检查缓存预期队列是否仍旧存在剩余表项，主存校验模块检查主存预期队列是否仍旧存在剩余表项，如果缓存预期队列或者主存预期队列存在剩余表项，则认为系统出现错误，缓存校验模块或者主存校验模块将报错并提供错误信息；否则认为多核互联系统操作正确。