Key Technology Research Of Fault Detection Mechanism Based On Compiler Generated Micro-thread

In recent years, software fault tolerant technology as an important method toimprove software reliability has drawn increasing attention with the development offault-tolerant technology. Software fault tolerant technologies include: EDDI (ErrorDetection by Duplicated Instructions), CFCSS (Control Flow Checking by SoftwareSignature) and source-to-source compiler fault tolerance. Be reinforced in differentlevels of abstraction in the compilation phase, they could generate fault tolerantapplications.The micro-thread fault detection method presented by this paper is also acompiler-based fault tolerant method, and it is implemented on RTL in the middle of thecompile period. Then fault injection experiments are done in the SAM simulator.Firstly, we do some research on the processor core fault tolerant methods, analyzeand compare their differences. Then we deeply study the UltraSPARC T2platformincluding the characteristics of the architecture, processor architecture, instruction sets,traps and other aspects. The focus is that the content of register window including itsprinciples and the associated instructions. We research the compile method of the GCCtools.Secondly we described the algorithm ideas and the overall design of themicro-thread fault detection solution. The micro-thread fault tolerant program can besummarized as the fault tolerant solution with a combination of the UltraSPARC T2platform, and implemented in the middle layer of the compiler called RTL. It usesfull-copy instruction rules. It is neither dependent on front-end specific high-levellanguage, is not dependent on the target platform of the back-end, and therefore has astrong adaptability.Finally，we design the micro-thread in detail. In this section we first do some GCCkey technology research. Deep analysis of the process of GCC compiling the programsare made, and focus is that the process of the generating RTL from the middle languageGimple Tree, as well as the process of optimizing and processing RTL, and the processof outputting assembly code. Then, we describe the micro-thread method from theprocess of the handing the instruction types including simple assignment expressions,the arithmetic and logic expressions, the special expressions and function calls. At last,we do some fault injection experiments for the micro-thread fault detection solution on our fault injection platform, and analyze the experimental results. The experimentalresults show that the proposed compiler-based fault detection technology has goodperformance in fault detection, and the cost of time and space is reasonable.