公开(公告)号：CN102789483B

公开(公告)日：2014-12-10

申请号：CN201210222573.X

申请日：2012-06-30

Applicant: 华为技术有限公司

Inventor： 刘静 ,  连志斌 ,  万辰

IPC: G06F17/30

Abstract: 本发明公开了一种数据验证方法、装置和系统。其中数据验证方法包括，根据电路中n个处理器对应的当前状态空间，以及目标状态空间，在预先获取的激励数据库中进行查找，获得至少一条目标激励；目标激励为当前状态空间与目标状态空间之间进行跳变所需的激励；执行每条目标激励，指示第一处理器执行目标激励中的指令，在第一处理器执行目标激励中的指令结束后，判断由n个处理器的工作状态构成的状态空间与目标状态空间是否属于同一种状态空间；若判断结果为是，则继续执行下一条目标激励，直至执行完全部目标激励之后，获得n个处理器中所存储的数据相同的验证结果，从而有效地提高了对电路中各CPU的Cache一致性进行验证的效率。

公开(公告)号：CN102789483A

公开(公告)日：2012-11-21

申请号：CN201210222573.X

申请日：2012-06-30

Applicant: 华为技术有限公司

Inventor： 刘静 ,  连志斌 ,  万辰

IPC: G06F17/30

Abstract: 本发明公开了一种数据验证方法、装置和系统。其中数据验证方法包括，根据电路中n个处理器对应的当前状态空间，以及目标状态空间，在预先获取的激励数据库中进行查找，获得至少一条目标激励；目标激励为当前状态空间与目标状态空间之间进行跳变所需的激励；执行每条目标激励，指示第一处理器执行目标激励中的指令，在第一处理器执行目标激励中的指令结束后，判断由n个处理器的工作状态构成的状态空间与目标状态空间是否属于同一种状态空间；若判断结果为是，则继续执行下一条目标激励，直至执行完全部目标激励之后，获得n个处理器中所存储的数据相同的验证结果，从而有效地提高了对电路中各CPU的Cache一致性进行验证的效率。