空间辐射环境下提高程序容错能力的技术研究
| 摘要 | 第1-9页 |
| ABSTRACT | 第9-10页 |
| 第一章 绪论 | 第10-15页 |
| ·课题背景 | 第10-12页 |
| ·软错误 | 第10-11页 |
| ·容错的概念 | 第11-12页 |
| ·容错能力和容错开销的矛盾 | 第12页 |
| ·课题主要研究内容、成果及意义 | 第12-13页 |
| ·论文的组织结构 | 第13-15页 |
| 第二章 相关容错技术介绍 | 第15-27页 |
| ·硬件容错技术 | 第15页 |
| ·软件容错技术 | 第15-25页 |
| ·软错误检测算法 | 第16-22页 |
| ·软错误恢复技术 | 第22-23页 |
| ·容错优化技术 | 第23-25页 |
| ·本章小结 | 第25-27页 |
| 第三章 提高程序容错能力的编译优化技术 | 第27-45页 |
| ·基于寄存器可靠性的程序容错能力分析 | 第27-32页 |
| ·寄存器可靠性分析 | 第27-28页 |
| ·程序容错能力分析 | 第28-32页 |
| ·提高程序容错能力的编译优化技术 | 第32-43页 |
| ·指令调度 | 第32-36页 |
| ·循环结构的容错能力优化 | 第36-40页 |
| ·删除替换重复指令约束 | 第40-43页 |
| ·编译优化技术分析 | 第43-44页 |
| ·本章小结 | 第44-45页 |
| 第四章 基于部分可靠寄存器提高程序容错能力的技术 | 第45-55页 |
| ·PPRF概论 | 第45-46页 |
| ·PPRF实现 | 第46-53页 |
| ·数据流分析方法 | 第46-47页 |
| ·错误产生和传播模型 | 第47-49页 |
| ·PPRF步骤 | 第49-53页 |
| ·PPRF技术分析 | 第53-54页 |
| ·本章小结 | 第54-55页 |
| 第五章 故障注入实验 | 第55-58页 |
| ·实验环境及实验步骤 | 第55页 |
| ·实验结果 | 第55-57页 |
| ·实验分析 | 第57页 |
| ·本章小结 | 第57-58页 |
| 第六章 结束语 | 第58-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-66页 |
| 作者在学期间取得的学术成果 | 第66-67页 |
| 附录 | 第67-93页 |
