| 摘要 | 第1-12页 |
| Abstract | 第12-14页 |
| 第一章 绪论 | 第14-34页 |
| ·研究背景 | 第14-16页 |
| ·事务存储的兴起 | 第14-15页 |
| ·微处理器的可靠性问题 | 第15-16页 |
| ·事务存储系统 | 第16-20页 |
| ·事务存储系统的基本概念和分类 | 第16-18页 |
| ·事务存储系统的实现 | 第18-20页 |
| ·可靠性及容错研究基础 | 第20-23页 |
| ·系统可靠性的影响因素 | 第20-22页 |
| ·容错技术 | 第22-23页 |
| ·相关工作 | 第23-29页 |
| ·故障检测技术 | 第24-26页 |
| ·故障恢复技术 | 第26-28页 |
| ·故障屏蔽技术 | 第28-29页 |
| ·基于事务存储的容错技术 | 第29页 |
| ·本文的研究内容及主要创新点 | 第29-32页 |
| ·本文的研究内容 | 第29-30页 |
| ·本文的创新点 | 第30-32页 |
| ·论文结构 | 第32-34页 |
| 第二章 错误在事务存储系统中的传播行为分析 | 第34-54页 |
| ·程序语句间的错误传播 | 第34-43页 |
| ·语句间的错误传播 | 第35-39页 |
| ·任务段的错误隔离 | 第39-43页 |
| ·事务间的错误传播 | 第43-52页 |
| ·事务间的错误传播 | 第43-45页 |
| ·事务存储系统的错误隔离 | 第45-52页 |
| ·小结 | 第52-54页 |
| 第三章 基于事务冗余的错误检测 | 第54-82页 |
| ·基于事务冗余的错误检测方法 | 第54-61页 |
| ·EDRT 的基本思想 | 第55-57页 |
| ·开销分析 | 第57-60页 |
| ·错误检测能力分析 | 第60-61页 |
| ·容错日志事务存储系统：FTLogTM | 第61-68页 |
| ·数据比较集 | 第62-64页 |
| ·冲突检测机制 | 第64-68页 |
| ·容错缓存事务存储系统：FTBufTM | 第68-74页 |
| ·数据比较集 | 第68-70页 |
| ·冲突检测机制 | 第70-74页 |
| ·实验与评测 | 第74-80页 |
| ·实验方法 | 第74-76页 |
| ·实验结果 | 第76-80页 |
| ·小结 | 第80-82页 |
| 第四章 基于事务回退的故障恢复 | 第82-108页 |
| ·基于FRTR 的容错事务存储系统 | 第82-87页 |
| ·FRTR 的基本思想 | 第82-84页 |
| ·一个例子 | 第84-86页 |
| ·FRTR 的开销分析 | 第86-87页 |
| ·容错事务存储系统的隔离性 | 第87-96页 |
| ·基于Eager 冲突检测机制的容错事务存储系统的隔离性 | 第91-93页 |
| ·基于Lazy 冲突检测机制的容错事务存储系统的隔离性 | 第93-95页 |
| ·FRTR 对故障恢复的充分性 | 第95-96页 |
| ·实验与评测 | 第96-100页 |
| ·实验方法 | 第96-97页 |
| ·实验结果 | 第97-100页 |
| ·事务存储系统中基于并行复算的故障恢复 | 第100-105页 |
| ·基本思想 | 第100-101页 |
| ·针对OpenTM 程序的并行复算 | 第101-104页 |
| ·实验与评测 | 第104-105页 |
| ·小结 | 第105-108页 |
| 第五章 基于三模冗余的容错方法 | 第108-130页 |
| ·事务的三模冗余容错方法：TriTM | 第108-119页 |
| ·TriTM 的基本思想 | 第109-113页 |
| ·TriTM 的性能优化 | 第113-114页 |
| ·TriTM 的比较点设置 | 第114-119页 |
| ·基于Closed 嵌套事务的TriTM 的实现 | 第119-122页 |
| ·嵌套事务存储系统 | 第119-120页 |
| ·TriTM 的实现 | 第120-122页 |
| ·实验与评测 | 第122-127页 |
| ·实验方法 | 第122-123页 |
| ·实验结果 | 第123-127页 |
| ·小结 | 第127-130页 |
| 第六章 结论与展望 | 第130-132页 |
| ·工作总结 | 第130-131页 |
| ·研究展望 | 第131-132页 |
| 致谢 | 第132-134页 |
| 参考文献 | 第134-146页 |
| 作者在学期间取得的学术成果 | 第146-148页 |
| 作者在学期间参加的科研项目 | 第148页 |