Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Method for detecting error of program control flow

A technology for error detection and control flow, applied in program control design, error detection/correction, instrumentation, etc., can solve the problem of inability to solve reliability and performance, increased program performance impact, and no perfect solution to control flow errors, etc. question

Inactive Publication Date: 2012-01-18
NAT UNIV OF DEFENSE TECH
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0015] (2) Control flow error detection inside the basic block: the existing control flow detection methods mainly focus on the correctness of the control flow between the basic blocks, but there is no relatively perfect solution to the control flow error inside the basic block
[0017] (4) Unable to solve the contradiction between reliability and performance: In order to solve the detection blind spots, some methods design some complex detection instruction sequences
However, due to the addition of too many detection instructions, the impact on program performance is also increased, and even the detection instruction itself is affected by transient faults and the probability of error is also increased.

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
  • Method for detecting error of program control flow
  • Method for detecting error of program control flow
  • Method for detecting error of program control flow

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0057] figure 1 is a schematic diagram of the basic block label format.

[0058] The basic block label consists of two parts: the basic label code and the code used for the internal control flow detection of the basic block. The basic label encoding of each basic block is the encoding of the sequence number of the basic block in the total basic block list of the program, which is unique; while the encoding of the internal control flow detection of the basic block is the internal control flow detection instruction required by the block The binary encoding of the count, which occupies the last few digits of the entire basic block label.

[0059] figure 2 Is the general flowchart of the present invention. Include the following steps:

[0060] In the first step, the program that requires control flow detection is compiled by a compiler to generate an assembler.

[0061] The second step is to identify the basic blocks of the assembly program and determine the routing relation...

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 method for detecting the error of a program control flow and intends to overcome the difficulties in increasing the detection rate of the errors of the control flow by the conventional method and solve the difficult problem with the detection of the control flow inside basic blocks and among processes. The method comprises the following steps according to the technical scheme of the invention: firstly, identifying basic blocks and confirming the routing relation among the basic blocks; then, confirming the maximum required number of detection commands of the internalcontrol flow of each basic block according to the requirements of the internal control flow and the constitutive characteristics of the basic blocks; designing the labels for the basic blocks on thatbasis, and distributing the unique static label to each basic block; then, inserting the detection commands into the head part, inner part and tail part of each basic block in the program respectively, re-assembling and re-linking the assembler of the inserted detection commands of the control flow, and generating an executable program for achieving the detection of the error of the control flow.

Description

technical field [0001] The invention relates to a method for detecting program control flow errors, in particular to a method for detecting control flow errors caused by hardware transient faults in a space radiation environment. Background technique [0002] Space exploration activities require a lot of investment and high risk, and have extremely high requirements for computing reliability. The main factor affecting the safety of space probes in space is the radiation of cosmic rays, because there are a large number of high-energy particles including electrons, protons, particles and heavy ions in the cosmic environment. When the cosmic rays composed of these particles bombard the semiconductor of the aerospace computer When the circuit is damaged, it may cause a transient change in the stored power in the PN structure. This transient fault is also commonly referred to as the single event effect SEE (Single Event Effect). Although single event effects generally do not cau...

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 Patents(China)
IPC IPC(8): G06F11/00G06F9/45
Inventor 谭庆平徐建军宁洪周会平李建立李剑明罗宇邓胜兰
Owner NAT UNIV OF DEFENSE TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products