Control flow error detection optimizing method based on reconstructed control flow graph

Abstract

The invention discloses a control flow error detection optimizing method based on a reconstructed control flow graph, which aims at providing a novel control flow error detection optimizing method based on a reconstructed control flow graph and solving the problems of low error detection efficiency and the like. The technical scheme thereof is characterized by dividing a source program into basicblocks, constructing a basic block table, and constructing a program control flow graph based on the basic block table; then dividing into logical blocks on the basis of the control flow graph, constructing a logical block table, and copying the basic blocks so as to enable the logical blocks to be mutually independent; evenly cutting the logical blocks according to the configuration requirements, and constructing a basic logical block table; and finally reconstructing the program control flow graph based on the basic logical block table. On the basis of the reconstructed control flow graph, the existing control flow error detection algorithm can be realized; and by adopting the method of the invention, the dividing of the basic blocks can be flexibly configured, so that the existing control flow error detection algorithm can be directly applied on the basis of the reconstructed control flow graph, and the efficiency of the error detection algorithm is effectively improved.

Description

technical field [0001] The invention relates to an optimization method for detecting control flow errors, in particular to an optimization method for detecting program control flow errors caused by single event effects in a space radiation environment. Background technique [0002] Space exploration activities require large investments and high risks, and have extremely high requirements for reliability. The main factor affecting the safety of space probes in space is the radiation of cosmic rays, because the stream of high-energy charged particles in these cosmic rays can cause hardware failure of electronic devices. The impact of space radiation environment on electronic devices is mainly manifested as single event effect. [0003] The chips used in ordinary computers are generally commercial microprocessors COTS (Commercial Off-the-Shelf). Irradiation device. The anti-irradiation device mainly realizes fault tolerance through hardware redundancy, and has high reliabili...

AI Technical Summary

Problems solved by technology

[0031] The technical problem to be solved by the present invention is to overcome the problems of low error detection efficiency in existing methods, and provide a new control flow error detection optimization method based on reconstructed control flow graph, which can flexibly configure the division of basic blocks, so that The existing control flow error detection algorithm can be directly applied based on the reconstructed control flow graph, and the efficiency of the error detection algorithm can be effectively improved

Images