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

权利要求书

1.一种多核互联二级缓存访问验证方法，其特征在于，包括：

步骤1：将各单核处理器向多核互联系统发送的访存传输通过一致性传输监测模块实时检测，并将收集的传输信息发送给二级缓存预期生成器；

步骤2：二级缓存预期生成器对接收到的传输信息进行预处理，分拣出需要访问二级缓存的操作，并存放到缓存预期队列中；

步骤3：将多核互联系统向二级缓存发送的访问请求通过一致性传输监测模块实时观测，并将收集的传输信息发送给缓存校验模块；

步骤4：缓存校验模块根据步骤3接收的请求识别号从缓存预期队列中寻找是否存在此请求对应的预期结果，如果预期队列中不存在有效结果，或者预期队列中存在有效结果，但预期结果与实际结果不一致，则认为系统发生错误，将报错并提供错误信息；否则认为多核互联系统操作正确，继续执行步骤5；

步骤5：将二级缓存向多核互联系统发送的反馈信息通过一致性传输监测模块实时观测，并将收集的传输信息发送给二级缓存预期生成器；

步骤6：二级缓存预期生成器按照步骤5收集的二级缓存反馈信息，从全局内存精准控制模块中获得各核缓存行状态，判断是否需要再次访问二级缓存，如果需要访问，则更新缓存预期队列中对应表项信息；如果无需访问，则将缓存预期队列中对应表项信息删除；同时判断是否需要访问主存，如果需要，则存放到主存预期队列中；

步骤7：将多核互联系统对主存发起的访问请求通过一致性传输监测模块实时观测，并将收集的传输信息发送给主存校验模块；

步骤8：主存校验模块根据步骤7接收的请求识别号从主存预期队列中寻找此请求的有效预期结果，如果预期队列中不存在有效结果，或者预期队列中存在有效结果，但预期结果与实际结果不一致，则认为系统出现错误，主存校验模块将报错并提供错误信息；否则认为多核互联系统操作正确，继续执行步骤9；

步骤9：当所有传输结束时，缓存校验模块检查缓存预期队列是否仍旧存在剩余表项，主存校验模块检查主存预期队列是否仍旧存在剩余表项，如果缓存预期队列或者主存预期队列存在剩余表项，则认为系统出现错误，缓存校验模块或者主存校验模块将报错并提供错误信息；否则认为多核互联系统操作正确。

2.根据权利要求1所述的多核互联二级缓存访问验证方法，其特征在于：所述步骤1中收集的传输信息包括多核一致性操作类型、操作地址、操作地址区间大小、操作数据、操作地址属性和操作识别号。

3.根据权利要求1所述的多核互联二级缓存访问验证方法，其特征在于：所述步骤2中对传输信息进行预处理的方式包括：根据操作地址属性来进行筛选，如果操作地址属性是非缓存属性，则操作不会访问二级缓存；如果操作地址属性是缓存属性，则操作将访问二级缓存。

4.根据权利要求1所述的多核互联二级缓存访问验证方法，其特征在于：所述步骤3中收集的传输信息包括二级缓存操作类型、操作地址、操作数据和操作识别号。

5.根据权利要求1所述的多核互联二级缓存访问验证方法，其特征在于：所述步骤4和步骤6中支持两个及两个以上具有相同的识别号不同传输的校验操作；单核发出两个及两个以上具有相同识别号的不同传输，多核互联系统将按照发送的先后顺序转发请求，校验系统也将按照相同规则进行正确性判定。

6.根据权利要求1所述的多核互联二级缓存访问验证方法，其特征在于：所述步骤5中收集的传输信息包括缓存缺失与否指示以及返回数据。

7.根据权利要求1所述的多核互联二级缓存访问验证方法，其特征在于：在所述步骤6中，全局内存精准控制模块记录各单核对内存地址的写操作地址与数据以及内存地址在各单核的缓存行状态。

8.根据权利要求1所述的多核互联二级缓存访问验证方法，其特征在于：在所述步骤6中，二级缓存预期生成器依据全局内存精准控制模块记录提供的内存地址在各单核的缓存行状态与二级缓存返回信息，对二级缓存的访问操作依据总线传输协议转换成对主存的访问。