基于编译实现微线程的故障检测机制关键技术研究

摘要

近年来,随着容错技术的发展,软件容错技术作为一种提高软件可靠性的重要方法越来越引起关注。软件容错的主要技术包括:基于重复指令的错误检测技术(EDDI),基于数字签名的控制流检测(CFCSS)技术和源到源编译容错等。它们在编译阶段的不同抽象层次对软件进行加固,生成具有容错性能的应用程序。
　　本文提出的微线程故障检测方法也是一种基于编译的容错,它是在编译阶段的中间语言RTL上进行,并在SAM模拟器上进行故障注入实验。
　　首先,本文对处理器核内故障容错方法研究近况进行分析,比较其差异。然后深入研究了UltraSPARCT2平台,包含架构的特点,处理器架构,指令集和traps等方面的内容。重点是寄存器窗口的相关内容,包括寄存器窗口的原理和相关的指令。
　　接着,本文描述了微线程故障检测方案的算法思想和整体设计方案。微线程故障检测方案可以概括为结合UltraSPARCT2平台的,在编译器的中间表示层RTL级别实现的一种全指令复制规则的容错方案。这种方案既不依赖于前端特定的高级语言,也不依赖于后端的目标平台,因此具有很强的适应性。
　　最后,本文对微线程方案进行详细设计。这部分首先研究了GCC编译相关技术。深入剖析了GCC编译过程,重点是从中间表示GimpleTree到RTL的生成过程,以及RTL优化和处理过程,汇编代码输出过程。其次,本文从简单的赋值表达式,算术逻辑运算表达式,特殊的表达式和函数调用等几种指令类型的处理过程对微线程的具体实现进行描述。再次,利用故障注入平台针对我们的微线程故障检测方案进行故障注入实验,并对实验结果进行分析。从实验结果可以看出,本文提出的基于编译的微线程故障检测技术在容错性能上有较好的表现,并且牺牲的时间和空间代价也在合理的范围内。

目录

基于编译实现微线程的故障检测 机制关键技术研究

KEY TECHNOLOGY RESEARCH OF FAULT DETECTION MECHANISM BASED ON COMPILER GENERATED MICRO-THREAD

摘 要

Abstract

目 录

第1章 绪 论

1.1 课题背景

1.2 国内外研究现状及分析

1.3 本文主要工作

1.4 本文结构

第2章 UltraSPARCT2平台相关背景

2.1 UltraSPARCT2体系结构介绍

2.1.1 架构的特点

2.1.2 UltraSPARC处理器架构

2.1.3 指令集

2.1.4 Traps

2.2 片上多线程（CMT）

2.3 寄存器窗口原理

2.3.1 原理概述

2.3.2 各个寄存器的使用

2.4 寄存器窗口相关指令

2.5 本章小结

第3章 微线程故障检测机制整体设计

3.1 算法概述

3.2 总体设计方案

3.2.1 微线程的基本思想

3.2.2 微线程的实现方案

3.3 本章小结

第4章 微线程故障检测机制详细设计

4.1 GCC编译相关关键技术研究

4.1.1 GCC的编译框架

4.1.2 GCC的过程管理器（pass）

4.1.3 GCC中的基本数据结构

4.1.4 RTL的生成

4.2 微线程的具体实现关键技术研究

4.2.1 简单赋值表达式

4.2.2 算术逻辑运算表达式

4.2.3 特殊的表达式类型

4.2.4 函数调用

4.2.5 切换窗口

4.3 故障注入实验

4.3.1 实验设计

4.3.2 故障注入平台

4.3.3 实验结果

4.3.4 实验分析

4.4 本章小结

结论

参考文献

哈尔滨工业大学学位论文原创性声明及使用授权说明

致谢