基于编译中间代码的关键变量容错技术-fault tolerance technology of key variables based on compiling intermediate code.docxVIP

论文书脊基 于 编 译 中 间 代 码 的 关 键 变 量 容 错 技 术国 防 科 学 技 术 大 学 研 究 生 院Compile-Based Intermediate Code Key Variable Fault-Tolerant TechnologyCandidate：Li Lin-HuAdvisor：Prof. Tan Qing-pingA thesisSubmitted in partial fulfillment of the requestments for the degree of Master of Engineeringin Computer Science and TechnologyGraduate School of National University of Defense Technology Changsha，Hunan，P.R. ChinaNovember, 2010（此页放置《独创性声明》和《学位论文版权使用授权书》复印件，其原件存放在学位申请材料中。）目录摘要iABSTRACTiii第一章绪论 11.1课题背景 11.2课题主要研究内容及成果 51.3论文的组织结构 6第二章相关技术背景 72.1空间辐射对硬件系统的影响 72.2容错技术概述 82.3硬件容错技术 92.4面向硬件故障的软件容错技术 122.4.1 软件实现的控制流错误检测技术 122.4.2 软件实现的数据流错误检测技术 152.4.3 软件容错技术总结 192.5编译技术概述 202.6故障注入技术 212.7本章小结 22第三章一种静态分析的关键变量选取技术 233.1变量脆弱因子 VVF233.2数据流分析 243.2.1 活跃变量分析 253.2.2 定义-引用链 263.3固有脆弱因子 273.3.1 存储部件基本单元单粒子翻转分析 273.3.2 固有脆弱因子计算模型 283.3.3 固有脆弱因子模型分析与示例 293.4依赖脆弱因子 313.4.1 数据依赖关系对程序输出的影响 313.4.2 依赖脆弱因子计算模型 333.4.3 依赖脆弱因子模型分析与示例 333.5本章小结 35第 I 页第四章基于编译中间代码的关键变量容错算法374.1变量选择 394.2变量复制 404.2.1 数据流检错的变量复制策略 404.2.2 具有错误恢复的变量复制策略 414.3一致性检查 424.4算法实现 434.5本章小结 44第五章容错算法验证 455.1具有容错能力的编译器总体设计 455.2故障注入实验结果及分析 475.2.1 实验条件 475.2.2 实验结果 485.2.3 实验结论 505.3本章小结 50第六章结束语 51致谢 53参考文献55 作者在学期间取得的学术成果 61表目录表 4.1变量脆弱性描述与对策表 39表 5.1冗余粒度 1 算法性能和存储代价 48表 5.2冗余粒度 2 算法性能和存储代价 48表 5.3冗余粒度 3 算法性能和存储代价 48表 5.4冗余粒度 1 时容错算法故障检测结果 49表 5.5冗余粒度 2 时容错算法故障检测结果 49表 5.6冗余粒度 3 时容错算法故障检测结果 49图目录图 1.1 太阳风暴示意图 2图 1.2 半导体芯片图3 图 1.3 制造工艺与一位 SRAM 的单粒子翻转 3图 1.4微处理器中 SRAM 发生 SEU 概率 4图 2.1 故障、错误、失效示意 7 图 2.2 抗辐照微处理器和 COTS 微处理器的性能对比 11 图 2.3 指令序列的控制流示意 12图 2.4 指令序列的控制流图 13图 2.5CFCSS 检测控制流错误示例 14图 2.6 EDDI 算法示例……………………………………………………………….16 图 2.7无存基本块示例 16图 2.8EDDI 算法中基本块依赖图及副本依赖图 16图 2.9EDDI 算法指令调度 17图 2.10(a)源程序，(b)引入数据差异的副本程序 18图 2.11 源到源算法示例 18图 2.12SIHFT 实现过程 19图 2.13 编译器结构框架 20图 2.14 一条语句的编译过程 21图 3.1用于定义-引用链分析的程序流图 27图 3.2 变量的生命周期 28图 3.3变量的生命时间计算示例 CFG 30图 3.4变量的生命时间计算示例 CFG 30图 3.5 含有控制和数据依赖关系的代码片段 31图 3.6 变量依赖图……………………………………………………………………32图 3.7 快速排序的中间代码控制流图