【技术实现步骤摘要】
本申请涉及但不限定于一种多核处理器系统的缓存一致性的验证方法及验证装置。
技术介绍
1、cpu的处理速度受制于计算机物理内存的存取速度，一般在cpu中设置三级存储进行数据的存放，其中，一级存储和二极存储为cpu内多核各自对应的存储结构，三级缓存为多核间可进行共享的存储结构。因此，对片上多核系统中各级存储之间的缓存一致性的验证是对多核处理器功能验证的重要部分。
2、在现有技术中，一般只对各核对应的一级存储或者一级、二级存储的一致性进行验证，导致验证结果不完全精确。在进行存储一致性的验证的过程中，直接根据cpu的每步请求进行存储情况的分析，导致一致性验证效率低。
技术实现思路
1、本申请提供一种多核处理器系统的缓存一致性的验证方法及验证装置，用以解决多核处理器系统的缓存一致性验证效率低、精度低的技术问题。
2、第一方面，本申请实施例提供一种多核处理器系统的缓存一致性的验证方法，所述多核处理器系统包括至少一个处理器集群，各所述处理器集群包括至少两个处理器核和所述至少两个处理器核共同对应的三级缓存，每个处理器核各自包括一级缓存和二级缓存；
3、所述方法应用于验证装置，所述缓存一致性的验证方法包括：
4、在多核处理器系统的首次仿真结束后，获取各处理器核的各级缓存的状态；
5、基于缓存一致性标准，对所述各级缓存的状态进行缓存一致性检查；
6、在确定至少一个缓存的状态异常时，对所述多核处理器系统进行二次仿真；
7
8、基于预测的状态，确定影响缓存状态异常的请求信息，以修正所述多核处理器系统的逻辑设计。
9、在上述技术方案中，验证装置在对多个处理器系统的缓存一致性验证的时候，可在多核处理器系统的首次仿真结束后，抓取多核的各级缓存的状态，在确定首次仿真结果满足缓存一致性标准时即可完成核验，在确定至少一个缓存的状态异常时，对多核处理器系统进行二次仿真，在二次仿真时根据各处理器核心处理的请求，基于缓存一致性标准预测各级缓存的状态，并在每次预测状态变化后进行分析，从而快速定位到导致首次仿真的缓存状态异常的请求信息，以针对该异常修正多核处理器系统的逻辑设计，通过至多两次仿真中的缓存一致性验证，不仅保障了检测精度与检测速度，还能同时对多核处理器系统中的三级缓存进行一致性验证，使得一致性验证更全面、更准确。
10、可选地，所述请求包括内存地址；
11、在二次仿真过程中，基于各处理器核处理的请求预测各级缓存的状态，包括：
12、在二次仿真过程中，获取各处理器核接收或发送的请求；
13、基于所述请求，按照所述缓存一致性标准预测所述内存地址所在的缓存及相关缓存的状态。
14、可选地，所述请求还包括命令类型；
15、所述验证装置中设有各缓存对应的计分板和验证模块，在所述二次仿真过程中，各所述计分板中记录所述验证模块对其对应的缓存的预测状态；
16、基于所述请求，按照所述缓存一致性标准预测所述内存地址所在的缓存及相关缓存的状态，包括：
17、基于所述请求，通过第一验证模块预测其对应的计分板中的缓存状态；所述第一验证模块为所述内存地址所在的缓存对应的验证模块；
18、基于所述命令类型和所述缓存一致性标准，通过第二验证模块预测其对应的计分板中的缓存状态；所述第二验证模块为所述内存地址所在的缓存关联的其他缓存对应的验证模块。
19、可选地，基于预测的状态，确定影响缓存状态异常的请求信息，包括：
20、在至少一个计分板中缓存的预测状态调整时，对所有计分板中储存的预测状态进行全局检查；
21、当至少两个计分板储存的预测状态不满足所述缓存一致性标准时，确定产生所述预测状态的请求为影响缓存状态异常的请求。
22、可选地，基于预测状态，确定影响缓存状态异常的请求信息，包括：
23、在所述多核处理系统响应所述请求后，获取各级缓存的实际状态；
24、当所述实际状态与对应的预测状态不同时，确定产生所述预测状态的请求为影响缓存状态异常的请求。
25、可选地，在所述多个处理器系统包括至少两个处理器集群时，所述方法还包括：
26、基于所述缓存一致性标准，对各所述处理器集群之间进行缓存一致性检查。
27、可选地，所述缓存一致性标准包括moesi协议，所述三级缓存包括拥有状态；
28、基于所述缓存一致性标准，对各所述处理器集群之间进行缓存一致性检查，包括：
29、基于所述moesi协议，对所述多核处理器系统中的至少两个三级缓存进行缓存一致性检查。
30、可选地，所述验证装置还包括处理器系统计分板和处理器系统验证模块；
31、基于所述moesi协议，对所述多核处理器系统中的至少两个三级缓存进行缓存一致性检查，包括：
32、在二次仿真过程中，利用所述处理器系统计分板对所述至少两个三级缓存的预测状态进行统计；
33、基于所述moesi协议，处理器系统验证模块对所述处理器系统计分板中的内容进行一致性分析。
34、第二方面，本申请提供一种多核处理器系统的缓存一致性的验证装置，包括：
35、获取模块，用于在多核处理器系统的首次仿真结束后，获取各处理器核的各级缓存的状态；所述多核处理器系统包括至少一个处理器集群，各所述处理器集群包括至少两个处理器核和所述至少两个处理器核共同对应的三级缓存，每个处理器核各自包括一级缓存和二级缓存，；
36、处理模块，用于基于缓存一致性标准，对所述各级缓存的状态进行缓存一致性检查；
37、所述处理模块还用于在确定至少一个缓存的状态异常时，对所述多核处理器系统进行二次仿真；
38、所述处理模块还用于在二次仿真过程中，基于各处理器核处理的请求预测各级缓存的状态；
39、所述处理模块还用于基于预测的状态，确定影响缓存状态异常的请求信息，以修正所述多核处理器系统的逻辑设计。
40、可选地，所述请求包括内存地址；
41、所述处理模块还用于在二次仿真过程中，基于各处理器核处理的请求预测各级缓存的状态，包括：
42、所述获取模块用于在二次仿真过程中，获取各处理器核接收或发送的请求；
43、所述处理模块基于所述获取模块获取的所述请求，按照所述缓存一致性标准预测所述内存地址所在的缓存及相关缓存的状态。
44、本申请提供的多核处理器系统的缓存一致性的验证方法及验证装置中，验证装置在对多核处理器系统的缓存一致性验证的时候，可在多核处理器系统的首次仿真结束后，抓取多核的各级缓存的状态，在确定首次仿真结果满足缓存一致性标准时即可完成核验，在确定至少一个缓存的状态异常时，对多核处理器系统进行二次仿真，在二次仿真本文档来自技高网...
【技术保护点】
1.一种多核处理器系统的缓存一致性的验证方法，其特征在于，所述多核处理器系统包括至少一个处理器集群，各所述处理器集群包括至少两个处理器核和所述至少两个处理器核共同对应的三级缓存，每个处理器核各自包括一级缓存和二级缓存；
2.根据权利要求1所述的验证方法，其特征在于，所述请求包括内存地址；
3.根据权利要求2所述的验证方法，其特征在于，所述请求还包括命令类型；
4.根据权利要求3所述的验证方法，其特征在于，基于预测的状态，确定影响缓存状态异常的请求信息，包括：
5.根据权利要求1所述的验证方法，其特征在于，基于预测的状态，确定影响缓存状态异常的请求信息，包括：
6.根据权利要求1至5中任一项所述的验证方法，其特征在于，在所述多核处理器系统包括至少两个处理器集群时，所述方法还包括：
7.根据权利要求6所述的验证方法，其特征在于，所述缓存一致性标准包括MOESI协议，所述三级缓存包括拥有状态；
8.根据权利要求7所述的验证方法，其特征在于，所述验证装置还包括处理器系统计分板和处理器系统验证模块；
...【技术特征摘要】
1.一种多核处理器系统的缓存一致性的验证方法，其特征在于，所述多核处理器系统包括至少一个处理器集群，各所述处理器集群包括至少两个处理器核和所述至少两个处理器核共同对应的三级缓存，每个处理器核各自包括一级缓存和二级缓存；
2.根据权利要求1所述的验证方法，其特征在于，所述请求包括内存地址；
3.根据权利要求2所述的验证方法，其特征在于，所述请求还包括命令类型；
4.根据权利要求3所述的验证方法，其特征在于，基于预测的状态，确定影响缓存状态异常的请求信息，包括：
5.根据权利要求1所述的验证方法，其特征在于，基于预测的状态，...
【专利技术属性】
技术研发人员：翟华星，张稚，刘洋，
申请(专利权)人：上海合芯数字科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。