面向程序级的软错误容错研究
| 摘要 | 第1-13页 |
| Abstract | 第13-16页 |
| 第一章 绪论 | 第16-40页 |
| ·研究背景 | 第16-23页 |
| ·计算机系统中的故障 | 第17-19页 |
| ·软错误产生的原因 | 第19-21页 |
| ·引起软错误的高能粒子种类 | 第21页 |
| ·软错误对系统不同层次的影响 | 第21-23页 |
| ·软错误种类及容错方法 | 第23-28页 |
| ·软错误相关概念及种类 | 第23-26页 |
| ·软错误容错方法 | 第26-28页 |
| ·相关工作及存在的问题 | 第28-37页 |
| ·软错误的影响分析、评估 | 第29-30页 |
| ·基于软件的软错误容错方法 | 第30-36页 |
| ·存在的问题 | 第36-37页 |
| ·本文的主要内容 | 第37-39页 |
| ·本文的结构 | 第39-40页 |
| 第二章 软错误导致的程序级错误传播分析 | 第40-70页 |
| ·引言 | 第40-41页 |
| ·相关工作 | 第41-42页 |
| ·软错误对程序的影响 | 第42-46页 |
| ·软错误对程序代码的影响 | 第42-44页 |
| ·软错误对程序数据的影响 | 第44-46页 |
| ·软错误发生模型 | 第46-47页 |
| ·软错误导致的程序错误传播分析 | 第47-62页 |
| ·Petri 网 | 第47-48页 |
| ·指令地址错误的传播分析 | 第48-49页 |
| ·数据寄存器错误传播分析 | 第49-56页 |
| ·指令操作码错误传播分析 | 第56-57页 |
| ·软错误导致的程序错误传播综合分析 | 第57-62页 |
| ·实验 | 第62-69页 |
| ·实验方法和工具 | 第62-63页 |
| ·实验结果 | 第63-67页 |
| ·分析和讨论 | 第67-69页 |
| ·本章小结 | 第69-70页 |
| 第三章 基于软错误的系统可靠性评估 | 第70-98页 |
| ·引言 | 第70-71页 |
| ·相关工作 | 第71-73页 |
| ·指令执行出错概率分布 | 第73-74页 |
| ·基于程序静态分析的硬件构件 AVF 评估 | 第74-83页 |
| ·软错误对于程序的影响 | 第74-79页 |
| ·硬件构件的 AVF 评估 | 第79-83页 |
| ·软错误发生条件下系统可靠性模型 | 第83-89页 |
| ·软错误发生条件下的系统可靠性评估方法 | 第83-84页 |
| ·软错误发生条件下的软件可靠性 | 第84-86页 |
| ·指令执行错误类型对软件可靠性的影响 | 第86-89页 |
| ·实验 | 第89-96页 |
| ·硬件构件 AVF 评估 | 第89-93页 |
| ·系统可靠性模型验证 | 第93-96页 |
| ·本章小结 | 第96-98页 |
| 第四章 SIHFT 系统中可靠性与性能的权衡分析 | 第98-120页 |
| ·引言 | 第98-99页 |
| ·系统可靠性和性能的评估方法 | 第99-100页 |
| ·系统可靠性的评估方法 | 第99页 |
| ·系统性能的评估方法 | 第99-100页 |
| ·SIHFT 系统可靠性与性能模型 | 第100-103页 |
| ·SIHFT 系统中的程序 | 第100页 |
| ·SIHFT 系统的性能模型 | 第100-101页 |
| ·SIHFT 系统的可靠性模型 | 第101-103页 |
| ·程序冗余的配置优化 | 第103-108页 |
| ·空闲程序的错误屏蔽 | 第104-106页 |
| ·动态死代码的错误屏蔽 | 第106-108页 |
| ·SIHFT 系统可靠性与性能的优化与权衡 | 第108-113页 |
| ·SIHFT 系统可靠性与性能的优化 | 第108-109页 |
| ·SIHFT 系统可靠性与性能的权衡 | 第109-113页 |
| ·实验与实例分析 | 第113-119页 |
| ·程序级软错误屏蔽实验 | 第113-117页 |
| ·SIHFT 系统实例分析 | 第117-119页 |
| ·本章小结 | 第119-120页 |
| 第五章 基于部分程序静态保护的软错误容错方法 | 第120-146页 |
| ·引言 | 第120-121页 |
| ·研究动机及相关工作 | 第121-123页 |
| ·系统容错机制 | 第123-124页 |
| ·基于部分程序静态保护的容错方法 | 第124-132页 |
| ·指令级软错误检测和恢复机制 | 第128-130页 |
| ·检查点设置算法 | 第130-132页 |
| ·容错方法应用下的系统可靠性和性能评估 | 第132-135页 |
| ·可靠性评估 | 第133-134页 |
| ·性能评估 | 第134-135页 |
| ·实验 | 第135-144页 |
| ·软错误检测机制验证 | 第135-141页 |
| ·软错误恢复机制验证 | 第141-144页 |
| ·本章小结 | 第144-146页 |
| 第六章 面向软错误的软件动态容错方法 | 第146-168页 |
| ·引言 | 第146-147页 |
| ·研究动机及相关工作 | 第147-148页 |
| ·软错误对软件的动态行为影响 | 第148-149页 |
| ·软错误下软件可靠性的相关因素 | 第149-155页 |
| ·相关参数计算 | 第152-155页 |
| ·一种基于程序动态保护的软错误容错方法 | 第155-159页 |
| ·研究思路 | 第155-156页 |
| ·方法实现 | 第156-159页 |
| ·实验 | 第159-167页 |
| ·软错误下软件可靠性的相关因素验证 | 第159-162页 |
| ·基于程序动态保护的容错算法实现和评估 | 第162-167页 |
| ·本章小结 | 第167-168页 |
| 第七章 结束语与展望 | 第168-172页 |
| ·本文的主要贡献 | 第168-170页 |
| ·今后的工作 | 第170-172页 |
| 致谢 | 第172-174页 |
| 参考文献 | 第174-186页 |
| 作者在学期间取得的学术成果 | 第186-187页 |
