Data verification method, device and system

Abstract

The invention discloses a data verification method, a data verification device and a data verification system. The data verification method comprises the following steps of: according to a current state space corresponding to n processors in a circuit and a target state space, carrying out searching in a pre-acquired excitation database to obtain at least one target excitation, wherein each target excitation is an excitation required by jumping between the current state space and the target state space; executing each target excitation, indicating a first processor to execute a command in the target excitation, and after the first processor finishes executing the command in the target excitation, judging whether the state space formed by working states of the n processors and the target state space belong to the same type of state space; and if a judgment result is Yes, continuously executing the next target excitation and obtaining a verification result that data stored in the N processor is same until all the target excitations are executed, so that the efficiency of verifying the Cache consistency of each CPU (Central Processing Unit) in the circuit is effectively improved.

Description

technical field [0001] The present invention relates to computer technology, in particular to a data verification method, device and system. Background technique [0002] In a multi-core processor system, the same data block may be read and written by multiple processors. When a processor writes a shared data block, the data in the cache processor (Cache) of other processors Copies of blocks will become obsolete data. Under normal circumstances, each processor will monitor the operations performed by other processors and update the data blocks in its Cache in time. However, if some processors fail to read the latest data due to system failure, it will cause the program to run The result of is wrong. [0003] In the prior art, the state enumeration method can be used to verify whether the data in the caches of multiple processors are consistent. By studying the state space of the whole system, using the finite state machine to describe the model of the components in the pr...

AI Technical Summary

Problems solved by technology

[0004] Since this method uses the state recursion method to obtain the entire state space of the system, it is very complicated to extract the indirect transition relationship between any two states in the entire state space. When the number of processors is large, the number of state spaces will be as follows: Exponential increase, resulting in low efficiency for the system to verify Cache consistency

Images