数据验证方法、装置和系统

摘要

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

主权项

一种数据验证方法，其特征在于，包括：根据电路中n个处理器对应的当前状态空间，以及目标状态空间，在预先获取的激励数据库中进行查找，获得至少一条目标激励；所述目标激励为所述当前状态空间与所述目标状态空间之间进行跳变所需的激励；其中，所述当前状态空间由n个处理器的当前工作状态构成；所述激励数据库包括由n个处理器的工作状态构成的m种状态空间中，任意两种可以进行跳变的状态空间之间进行跳变所需的全部激励，所述激励包括在两种状态空间之间进行跳变需要执行的指令和指令状态，所述指令状态为执行所述指令所需的工作状态；其中，所包括的工作状态的类型以及每种类型的工作状态的个数均相同的状态空间属于同一种状态空间；所述处理器的数量n与所述状态空间的种类m之间的关系满足：m＝2×n+3；执行每条所述目标激励，指示第一处理器执行所述目标激励中的指令，所述第一处理器是当前工作状态为所述目标激励中的指令状态的处理器，在所述第一处理器执行所述目标激励中的指令结束后，判断由n个处理器的工作状态构成的状态空间与所述目标状态空间是否属于同一种状态空间，若判断结果为是，则继续执行下一条目标激励，直至执行完全部所述目标激励之后，获得n个处理器中所存储的数据相同的验证结果。