[发明专利]一种多核处理器系统的缓存一致性的验证方法及装置

权利要求书

1.一种多核处理器系统的缓存一致性的验证方法，其特征在于，所述多核处理器系统包括两个以上处理器核心，每个处理器核心各自具有第一级缓存和第二级缓存，各处理器核心共同具有第三级缓存；

其中，所述缓存一致性的验证方法，包括：

监测第一处理器核心的第一缓存接收或发送的第一请求；其中，所述第一请求包括所述第一请求所要操作的数据所在的内存地址和命令类型；

监测针对所述第一请求的第一响应信息；其中，所述第一响应信息包括所述第一缓存中的第一缓存行的当前状态；所述第一缓存行为所述第一请求所要操作的数据所在的缓存行；

根据所述内存地址，从预设的内存地址与缓存行状态之间的对应关系中，确定所述第一缓存行的状态；

基于所述第一缓存行的状态、所述命令类型以及预设的基于缓存一致性协议的状态转移规则，预测所述第一缓存行的状态，得到所述第一缓存行的预测状态；所述预设的基于缓存一致性协议的状态转移规则与所述多核处理器系统中使用的缓存一致性状态转移规则一致；

将所述缓存行的当前状态与所述预测状态比对，确定所述第一缓存是否符合缓存一致性。

2.根据权利要求1所述的方法，其特征在于，所述监测第一处理器核心的第一缓存接收或发送的第一请求，包括：

监测第一处理器核心的第一缓存接收或发送的取指请求、探测请求和/或剔除请求。

3.根据权利要求1所述的方法，其特征在于，所述第一缓存为第二级缓存；所述监测第一处理器核心的第一缓存接收或发送的第一请求，包括：

监测第一处理器核心的第二级缓与存取指单元、第一级数据缓存或第三级缓存之间的请求。

4.根据权利要求1所述的方法，其特征在于，所述预设的内存地址与缓存行状态之间的对应关系，包括：多个预设的内存地址与缓存行状态之间的对应关系；各预设的内存地址与缓存行状态之间的对应关系与各处理器核心一一对应；

在监测第一处理器核心的第一缓存接收或发送的第一请求之后，根据所述内存地址，从预设的内存地址与缓存行状态之间的对应关系中，确定所述第一缓存行的状态之前，所述方法还包括：

对所述第一请求进行标记，以使标记后的第一请求包括第一处理器核心信息；

根据标记后的第一请求包括的第一处理器核心信息，从多个预设的内存地址与缓存行状态之间的对应关系中，确定与第一处理器核心对应的第一预设的内存地址与缓存行状态之间的对应关系；

所述根据所述内存地址，从预设的内存地址与缓存行状态之间的对应关系中，确定所述第一缓存行的状态，包括：

根据所述内存地址，从第一预设的内存地址与缓存行状态之间的对应关系，确定所述第一缓存行的状态。

5.根据权利要求1所述的方法，其特征在于，所述方法还包括：

在所述缓存行的当前状态与所述预测状态一致的情况下，使用所述内存地址，以及所述缓存行的当前状态，对预设的内存地址与缓存行状态信息之间的对应关系进行更新。