基于编译实现微线程的故障检测机制关键技术研究-计算机科学与技术专业论文.docxVIP

Classified Index: TP302.8 U.D.C: 621.3 Dissertation for the Master Degree in Engineering KEY TECHNOLOGY RESEARCH OF FAULT DETECTION MECHANISM BASED ON COMPILER GENERATED MICRO-THREAD Candidate： Zhao Qianqian Supervisor： Assoc. Prof. Fu Zhongchuan Academic Degree Applied for： Master of Engineering Speciality： Computer Science and Technology Affiliation： School of Computer Science and Technology Date of Defence： June, 2012 Degree-Conferring-Institution： Harbin Institute of Technology 摘 摘 要 I I 摘 要 近年来，随着容错技术的发展，软件容错技术作为一种提高软件可靠性的重 要方法越来越引起关注。软件容错的主要技术包括：基于重复指令的错误检测技 术（EDDI），基于数字签名的控制流检测(CFCSS)技术和源到源编译容错等。它们 在编译阶段的不同抽象层次对软件进行加固，生成具有容错性能的应用程序。 本文提出的微线程故障检测方法也是一种基于编译的容错，它是在编译阶段 的中间语言 RTL 上进行，并在 SAM 模拟器上进行故障注入实验。 首先，本文对处理器核内故障容错方法研究近况进行分析，比较其差异。然 后深入研究了 UltraSPARC T2 平台，包含架构的特点，处理器架构，指令集和 traps 等方面的内容。重点是寄存器窗口的相关内容，包括寄存器窗口的原理和相关的 指令。 接着，本文描述了微线程故障检测方案的算法思想和整体设计方案。微线程 故障检测方案可以概括为结合 UltraSPARC T2 平台的，在编译器的中间表示层 RTL 级别实现的一种全指令复制规则的容错方案。这种方案既不依赖于前端特定的高 级语言，也不依赖于后端的目标平台，因此具有很强的适应性。 最后，本文对微线程方案进行详细设计。这部分首先研究了 GCC 编译相关技 术。深入剖析了 GCC 编译过程，重点是从中间表示 Gimple Tree 到 RTL 的生成过 程，以及 RTL 优化和处理过程，汇编代码输出过程。其次，本文从简单的赋值表 达式，算术逻辑运算表达式，特殊的表达式和函数调用等几种指令类型的处理过 程对微线程的具体实现进行描述。再次，利用故障注入平台针对我们的微线程故 障检测方案进行故障注入实验，并对实验结果进行分析。从实验结果可以看出， 本文提出的基于编译的微线程故障检测技术在容错性能上有较好的表现，并且牺 牲的时间和空间代价也在合理的范围内。 关键词：微线程；寄存器窗口；RTL；故障注入 Abstract Abstract II II 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