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

A dsp soft error detection method based on difference transformation of linear assembly instructions

A technology of assembly instructions and detection methods, applied in the field of error detection, can solve problems such as high performance overhead

Active Publication Date: 2019-07-16
NAT UNIV OF DEFENSE TECH
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0041] The technical problem to be solved by the present invention is to overcome the problem that the existing soft error detection method is not suitable for DSP and the execution performance overhead based on the source code level method is large, and to provide a DSP soft error detection method based on the differential transformation of linear assembly instructions , convert the linear assembly source program into a linear assembly program with soft error detection capability, through three instruction difference transformation methods: instruction equivalence transformation, optimization detection instruction, delay error handling, significantly improve the execution efficiency of the hardened code, and at the same time Increase the difference between instructions to maximize the exposure of faults and improve the detection rate of soft errors

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
  • A dsp soft error detection method based on difference transformation of linear assembly instructions
  • A dsp soft error detection method based on difference transformation of linear assembly instructions
  • A dsp soft error detection method based on difference transformation of linear assembly instructions

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0144] figure 1 It is a general flowchart of the present invention, mainly comprising the following five steps:

[0145] 1. Divide the linear assembly source program into non-storage basic block sequences SBB 1 ,SBB 2 ,…SBB N .

[0146] 2. Based on non-stored basic block sequence SBB1 ,SBB 2 ,…SBB N , Construct the program control flow graph G(V,E).

[0147] 3. Based on the program control flow graph G(V,E), find all loops in the program that can be compiled and optimized, and mark the non-existent basic blocks of these loops.

[0148] 4. Reinforce the program and add appropriate recalculation instructions and detection instructions for each non-memory basic block.

[0149] 5. Execute the hardened program and detect soft errors that occur during runtime.

[0150] Through the above five steps, the soft error detection of the DSP linear assembler can be realized.

[0151] figure 2 is the second step of the present invention based on the non-deposited basic block seque...

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 linear assembly instruction diversity conversion based DSP soft error detection method which can solve the problem that the conventional DSP soft error detection methods are large in performance cost. The DSP soft error detection method includes: dividing a program into storeless basic blocks, establishing a program control flow diagram, recognizing circulations, screening out circulations capable of arranging a software pipeline; reinforcing the program, adding error detection instructions to the program, performing equivalent conversion on a part of instructions through an instruction diversity conversion method, and performing double calculation on the rest instructions, inserting the detection instructions before instruction storage and instruction jumping, optimizing the detection instructions through DSP instruction condition execution characters and the equivalent conversion method, and reducing the performance cost due to reinforcement through the delay error processing method for the circulations capable of arranging the software pipeline; and executing the reinforcement program, and detecting soft errors during operation. The DSP soft error detection method is a DSP reinforcement method of pure software, is high in detection rate of date errors, and is low in performance cost of reinforcement.

Description

technical field [0001] The invention relates to an error detection method for a digital signal processor DSP (Digital Signal Processor) program, in particular to a method for detecting soft errors caused by space high-energy particle radiation. Background technique [0002] In recent years, with the development of integrated circuit process technology, processor designers have adopted higher and higher clock frequencies, lower and lower voltage levels, and smaller and smaller process sizes. While these technologies bring higher performance and lower power consumption, they also make the processor more sensitive to transient faults, which threaten the correctness of program execution. These transient faults are usually induced by high-energy particle radiation and voltage disturbance, electromagnetic interference, etc. in the external environment. Compared with hardware errors caused by permanent faults, such errors are transient, random in time and location, and recoverable...

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/22
CPCG06F11/2205G06F11/2273
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