Research And Implementation Of Redundant Computing Fault-tolerance Compilation Based On GCC

In computer system, the abnormal behavior caused by hardware transient fault, not only reduces the reliability of system, but also ruin the integrity and effectiveness of the data. Especially when the spacebome computer is running, the hardware transient fault is the most important factor that makes the electronic devices running abnormally. The correlative research shown that, it is more effectively to improve the reliability by using anti-radiation devices. However, due to the lower performance of the current anti-radiation device, higher power consumption and cost, hardware fault-tolorant technology is difficult to make in practice.In comparison, software fault-tolerant technology used in the spaceborne computer, not only brings high reliability and stability, but also a greater advantage than hardware fault-tolerant in performance, power consumption and flexibility.Fault-tolerant compile technology is relatively new branch of the field, its basic principle is to copy the program instruction by the compiler, merge the source instruction and copy instruction, and then insert check code after a sync point which used to check the results of the comparison are the same. Compared with other software fault-tolerant technology, although it is more complicated to achieve, but the scale of redundancy, performance and flexibility is better than others.Three main contributions of this thesis are listed as follows:(1) Study the concept, model, implementation and verification techniques, discussed the implementation of compiler-level software fault-tolerant techniques.(2) Analysis and research the open source compiler GCC deeply, besides the discussion of the C language front-end and the optimization on intermediate code.(3) After the discusstion of GCC, we combined with the typical fault-tolorance compile algorithm, designed and implemented a redundant computing fault-tolorant complie method which base on the intermediate code of GCC.Software implemented hardware fault tolerance can make up for deficiencies on the reliability of COTS components. It is one of the key technologies of the implementation of high-preformance space computer. As a relatively new branch of the software fault-tolerant technology, fault-tolerant compile technology has been gradually accepted by more and more people. The redundant computing fault-tolorant complie method presente in this paper which base on the intermediate code of compilier, both in theory and practice has some reference value.