基于编译实现微线程的故障检测机制关键技术分析-analysis of key technologies of micro-thread fault detection mechanism based on compilation.docxVIP

优秀毕业论文 精品参考文献资料 Abstract In recent years, software fault tolerant technology as an important method to improve software reliability has drawn increasing attention with the development of fault-tolerant technology. Software fault tolerant technologies include: EDDI (Error Detection by Duplicated Instructions), CFCSS (Control Flow Checking by Software Signature) and source-to-source compiler fault tolerance. Be reinforced in different levels of abstraction in the compilation phase, they could generate fault tolerant applications. The micro-thread fault detection method presented by this paper is also a compiler-based fault tolerant method, and it is implemented on RTL in the middle of the compile period. Then fault injection experiments are done in the SAM simulator. Firstly, we do some research on the processor core fault tolerant methods, analyze and compare their differences. Then we deeply study the UltraSPARC T2 platform including the characteristics of the architecture, processor architecture, instruction sets, traps and other aspects. The focus is that the content of register window including its principles and the associated instructions. We research the compile method of the GCC tools. Secondly we described the algorithm ideas and the overall design of the micro-thread fault detection solution. The micro-thread fault tolerant program can be summarized as the fault tolerant solution with a combination of the UltraSPARC T2 platform, and implemented in the middle layer of the compiler called RTL. It uses full-copy instruction rules. It is neither dependent on front-end specific high-level language, is not dependent on the target platform of the back-end, and therefore has a strong adaptability. Finally，we design the micro-thread in detail. In this section we first do some GCC key technology research. Deep analysis of the process of GCC compiling the programs are made, and focus is that the process of the generating RTL from the middle language Gimple Tree, as w