Data verification method, device and system

A data verification and database technology, which is applied in the computer field, can solve problems such as low verification efficiency and complex indirect transition relations, and achieve the effects of improving efficiency, improving verification efficiency, and reducing data processing

Active Publication Date: 2012-11-21
泰州市海通资产管理有限公司
View PDF8 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

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

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Data verification method, device and system
  • Data verification method, device and system
  • Data verification method, device and system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0041]In a multi-core processor system, at least two central processing units (Central Processing Unit, CPU) clusters (Clusters) are included, and each Cluster includes a Cache, which can be a cache processor such as a secondary cache (L2Cache); The system also includes a bus supporting Cache consistency, and each CPU is connected to the bus. When the bus works normally, each CPU monitors the working status of other CPUs in the system through the bus, which can make the data stored in the Cache of each CPU the same, that is, has Cache consistency; when the bus works abnormally, it will As a result, the data stored in the Cache of some or all of the CPUs is different due to the failure of normal monitoring between the CPUs, that is, the CPUs in the circuit do not have Cache consistency. Various embodiments of the present invention verify whether the data stored in the Cache of each CPU are the same through the adopted method, device and system, that is, verify the consistency o...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

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...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/30
Inventor 刘静连志斌万辰
Owner 泰州市海通资产管理有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap