【技术实现步骤摘要】
本专利技术涉及计算机技木，尤其涉及ー种数据验证方法、装置和系统。
技术介绍
在多核处理器系统中，同一数据块可能被多个处理器进行读写操作，当某个处理器对共享的数据块进行写操作时，其他处理器的高速缓冲处理器(Cache)中该数据块的副本将成为过时的数据。正常情况下，各处理器会监听其他处理器所进行的操作，及时更新其Cache中的数据块，但是，若由于系统故障导致部分处理器未能读取到最新的数据，则会导致程序运行的结果出错。现有技术中可以利用状态列举法验证多个处理器的Cache中的数据是否一致。通过研究整个系统的状态空间，用有限状态机描述协议中组件的模型，并由所有组件的状态 组成全局状态，进而推导出系统所有可达的状态。由于该方法利用状态递归的方法求出系统的全部状态空间，使得提取全部状态空间中任意两个状态之间的间接跳变关系十分复杂，当处理器的数量较多时，状态空间的数量将以指数级增加，导致系统对Cache —致性进行验证的效率较低。
技术实现思路
本专利技术提供ー种数据验证方法、装置和系统，用以提高对Cache —致性进行验证的效率。本专利技术提供了ー种数据验证方法，包括根据电路中...
【技术保护点】
一种数据验证方法，其特征在于，包括：根据电路中n个处理器对应的当前状态空间，以及目标状态空间，在预先获取的激励数据库中进行查找，获得至少一条目标激励；所述目标激励为所述当前状态空间与所述目标状态空间之间进行跳变所需的激励；其中，所述当前状态空间由n个处理器的当前工作状态构成；所述激励数据库包括由n个处理器的工作状态构成的m种状态空间中，任意两种可以进行跳变的状态空间之间进行跳变所需的全部激励，所述激励包括在两种状态空间之间进行跳变需要执行的指令和指令状态，所述指令状态为执行所述指令所需的工作状态；其中，所包括的工作状态的类型以及每种类型的工作状态的个数均相同的状态空间属于同...
【技术特征摘要】
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。