| 摘要 | 第1-7页 |
| Abstract | 第7-15页 |
| 第一章 绪论 | 第15-31页 |
| ·引言 | 第15-16页 |
| ·典型容错计算系统概述 | 第16-23页 |
| ·C.vmp 表决式多处理器计算机 | 第16-18页 |
| ·Stratus 容错计算机系列 | 第18-20页 |
| ·TANDEM INTEGRITY S2 容错计算机 | 第20-21页 |
| ·OPIAC/FT 雅派克容错计算机 | 第21-22页 |
| ·基于 Cluster 的容错系统 | 第22-23页 |
| ·基于任务复制的容错计算 | 第23-25页 |
| ·主动复制 | 第24页 |
| ·半主动复制 | 第24-25页 |
| ·被动复制 | 第25页 |
| ·亟待解决的主要问题 | 第25-28页 |
| ·同步问题的复杂性 | 第26页 |
| ·故障模型的局限性 | 第26页 |
| ·故障恢复的局限性 | 第26-28页 |
| ·容错功能的透明性 | 第28页 |
| ·论文研究内容 | 第28-31页 |
| 第二章 容错计算系统同步问题研究 | 第31-57页 |
| ·研究现状 | 第31-32页 |
| ·容错计算系统的功能模型 | 第32-42页 |
| ·Petri 网模型基本概念 | 第33-35页 |
| ·Petri 网数学定义 | 第34页 |
| ·Petri 网的同步合成 | 第34页 |
| ·C/E 系统中同步距离 | 第34-35页 |
| ·非容错的单模计算系统模型 | 第35-38页 |
| ·事件驱动系统的 ATN 模型 | 第36页 |
| ·事件驱动系统基于事件和活动的Petri 网模型 | 第36-37页 |
| ·非容错单模计算系统的扩展 Petri 网模型 | 第37-38页 |
| ·容错系统的 Petri 网功能模型 | 第38-42页 |
| ·容错计算系统建模 | 第38-40页 |
| ·容错计算系统的同步问题 | 第40页 |
| ·容错计算系统模型的非确定性 | 第40-42页 |
| ·容错系统的同步策略 | 第42-48页 |
| ·容错系统同步的涵义 | 第43-45页 |
| ·同步的定义 | 第43-44页 |
| ·同步的实质 | 第44-45页 |
| ·容错系统的同步定理 | 第45-48页 |
| ·DMR 容错系统同步定理 | 第46-47页 |
| ·TMR 容错系统同步定理 | 第47-48页 |
| ·容错系统的同步机制研究 | 第48-56页 |
| ·时钟同步 | 第49-51页 |
| ·松散同步 | 第51-52页 |
| ·任务同步 | 第52-54页 |
| ·同步机制综合分析 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 第三章 主动任务复制容错系统的透明容错机制 | 第57-83页 |
| ·主动任务复制系统同步的必要条件 | 第57-59页 |
| ·主动任务复制系统同步策略 | 第59-60页 |
| ·主动任务复制系统的同步算法 | 第60-64页 |
| ·主动任务复制系统的透明容错原理 | 第64-78页 |
| ·Linux 中的 ptrace() 调用 | 第64-66页 |
| ·Limix 中的进程控制 | 第66-69页 |
| ·透明容错算法 | 第69-70页 |
| ·一致同步信息 | 第70-77页 |
| ·同步消息池 | 第77-78页 |
| ·系统容错开销计算 | 第78-81页 |
| ·本章小结 | 第81-83页 |
| 第四章 TMR 主动任务复制透明容错计算的实现 | 第83-95页 |
| ·系统体系结构 | 第83-85页 |
| ·系统故障模型 | 第85-86页 |
| ·系统故障检测机制 | 第86-89页 |
| ·系统同步机制 | 第89-90页 |
| ·系统软件结构 | 第90-92页 |
| ·系统容错功能测试与演示 | 第92-94页 |
| ·容错功能测试原理 | 第92-93页 |
| ·试验演示系统 | 第93-94页 |
| ·本章小结 | 第94-95页 |
| 第五章 系统性能分析与优化 | 第95-117页 |
| ·系统可靠、可用性分析 | 第95-100页 |
| ·可用性分析 | 第96-98页 |
| ·可靠性分析 | 第98-100页 |
| ·容错开销分析 | 第100-103页 |
| ·实验测试 | 第100-101页 |
| ·理论分析 | 第101-103页 |
| ·通信开销优化 | 第103-113页 |
| ·传统 TCP/IP 网络通信延迟分析 | 第104-105页 |
| ·LLCE 原理 | 第105-110页 |
| ·分帧 | 第106-108页 |
| ·缓冲管理 | 第108页 |
| ·流量控制 | 第108-109页 |
| ·用户接口 | 第109-110页 |
| ·通信性能测试与分析 | 第110-112页 |
| ·回程时延 | 第110-111页 |
| ·传输带宽 | 第111-112页 |
| ·基于 LLCE 的系统容错开销 | 第112-113页 |
| ·初始同步 | 第113-114页 |
| ·时间同步 | 第114-116页 |
| ·本章小结 | 第116-117页 |
| 结论 | 第117-119页 |
| 参考文献 | 第119-133页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第133-135页 |
| 致谢 | 第135-137页 |
| 附录 | 第137-142页 |