多核处理器数据一致性验证装置和方法制造方法及图纸

本申请涉及一种多核处理器数据一致性验证装置和方法。所述装置包括：处理器、数据一致性逆推模块、一致性验证检查模块；处理器，用于输出操作指令；数据一致性逆推模块，用于获取操作指令，生成操作指令对应的指令数据队列，在指令数据队列中的不同队列层级放置有各写指令对应的第一指令数据，并获取操作指令对应的读指令的第二指令数据；一致性验证检查模块，用于从指令数据队列和历史已匹配数据中，搜索出与第二指令数据的各数据区块相匹配的数据，得到一致性验证结果，并根据一致性验证结果和操作指令对应的读指令的指令状态，确定一致性检查结果。从而能够有效提升大规模多核处理器场景下的数据一致性验证效率。

【技术实现步骤摘要】

本申请涉及处理器验证，特别是涉及一种多核处理器数据一致性验证装置、方法、电子设备。

技术介绍

1、目前，随着处理器规模增大，对于大规模多核处理器的数据一致性要求也越来越高。

2、相关技术中，传统的一致性验证方法通常是通过生成参考值，与读取到的实际值进行比较以检测数据是否满足要求，但随着处理器的逻辑和功能越发复杂，通过正向预测产生合理的参考值愈发难以实现。例如，当前有2笔写指令发给缓存，若执行次数为1，所预测得到的参考值至多有2个；若写指令的数量为10，执行次数为5时，预测得到的参考值可能高达252个；针对更加复杂的场景，写指令数十个甚至更多时，直接正向预测得到的参考值数量将会非常巨大，导致大规模多核处理器场景下的数据一致性验证效率低。

技术实现思路

1、基于此，有必要针对上述技术问题，提供一种能够提升大规模多核处理器场景下的数据一致性验证效率的多核处理器数据一致性验证装置、方法、电子设备。

2、第一方面，本申请提供了一种多核处理器数据一致性验证装置，所述装置包括：处理器、数据一致性逆推本文档来自技高网...

【技术保护点】

1.一种多核处理器数据一致性验证装置，其特征在于，所述装置包括：处理器、数据一致性逆推模块、一致性验证检查模块；

2.根据权利要求1所述的装置，其特征在于，所述数据一致性逆推模块包括虚拟缓存模型单元和缓存单元，所述处理器同时与所述虚拟缓存模型单元和所述缓存单元相连，

3.根据权利要求2所述的装置，其特征在于，所述虚拟缓存模型单元包括写指令数据获取子单元和数据存入队列子单元，

4.根据权利要求2所述的装置，其特征在于，所述虚拟缓存模型单元还包括读指令数据获取子单元，

5.根据权利要求1所述的装置，其特征在于，所述一致性验证检查模块包括一致性验...

【技术特征摘要】

1.一种多核处理器数据一致性验证装置，其特征在于，所述装置包括：处理器、数据一致性逆推模块、一致性验证检查模块；

2.根据权利要求1所述的装置，其特征在于，所述数据一致性逆推模块包括虚拟缓存模型单元和缓存单元，所述处理器同时与所述虚拟缓存模型单元和所述缓存单元相连，

3.根据权利要求2所述的装置，其特征在于，所述虚拟缓存模型单元包括写指令数据获取子单元和数据存入队列子单元，

4.根据权利要求2所述的装置，其特征在于，所述虚拟缓存模型单元还包括读指令数据获取子单元，

5.根据权利要求1所述的装置，其特征在于，所述一致性验证检查模块包括一致性验证单元和一致性检查单元；

6.根据权利要求5所述的装置，其特征在于，所述一致性验证单元包括逆推匹配子单元、压缩合并数据得到子单元、一致性验证结果得到子单元，

7.根据权利要求6所述的装置，其特征在于，所述逆推匹配子单元，还用于在所述指令数据队列中，若搜索到与所述第二指令数据中任一数据区块相匹配的数据，将所述任一数据区...

【专利技术属性】
技术研发人员：陈阳，
申请(专利权)人：上海合芯数字科技有限公司，
类型：发明
国别省市：