The Research Of Expanding Intermediate Code For Control Flow Checking Based On GCC

The running computer in the space was radiated by the cosmic rays, which has a great compact on its data's stability and correctness. The space rays environment has the single particle effect and general dosages effect for the electronic devices. As for the former effect, specially the fault of single particle overturned forms the main threaten to the running computer's safety in the space.The correlative research results have shown that, compared with hardware implemented fault tolerant techniques based on the anti-radiation devices, software implemented hardware fault tolerance techniques which can tolerate hardware fault based on COTS components, not only can guarantee the reliability of the system but also can improve the system performance. At the same time, software implemented hardware fault tolerance techniques are also low-cost, low-power, flexible configuration, etc.This text mainly does the research for the control flow checking algorithm error, which is the important component part in the software's fault-tolerant techniques. Firstly, the text analyzes the basic theory and category of the control flow checking, compares the advantages and disadvantages between the two different checking ways, and makes an introduction for the centralized software-only's control flow checking algorithms of RSCFC, ECCFS and CFCSS, which are more commonly used at present, provides the concrete methods for how to extend CFCSS algorithm in the GCC compiler and then make the extended compiler realize the control flow checking effect. Secondly, it doesn't only give an introduction and analysis for the GCC compiler's running process, optimizing outliner and several related intermediate languages during its running but also analyzes how to choose the insertion point for the fault-tolerant code. Besides, part four of this text gives the specific method for extending CFCSS and ECCFS algorithms in the middle code level of GCC compiler and makes an advantages and disadvantages self-analysis for CFCSS and ECCFS algorithms. At last, it makes the experiment for the new assembly codes, which are compiled by GCC compiler after extending CFCSS and ECCFS algorithms. Finally, the experiment shows CFCSS and ECCFS algorithms have been extended accurately into GCC compiler, which has the ability to check the error of the control flow when it runs.