| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 研究背景 | 第8-11页 |
| ·组通信简介 | 第8页 |
| ·面向容错服务的组通信的研究背景 | 第8-9页 |
| ·本论文的难点和贡献 | 第9-10页 |
| ·本论文的结构 | 第10-11页 |
| 第二章 容错系统中的组通信模型 | 第11-19页 |
| ·同步系统与异步系统 | 第11-12页 |
| ·组通信系统的错误模型 | 第12页 |
| ·组通信系统的语义规范 | 第12-15页 |
| ·组通信系统的体系结构 | 第15页 |
| ·容错服务中的组通信系统模型 | 第15-17页 |
| ·失效检测器 | 第17-19页 |
| 第三章 基于逻辑环的一致性协议 | 第19-37页 |
| ·协议模型 | 第19-20页 |
| ·基本的逻辑环一致性协议 | 第20-23页 |
| ·协议描述 | 第20-21页 |
| ·基本协议的正确性证明 | 第21-23页 |
| ·改进的逻辑环一致性协议 | 第23-29页 |
| ·改进协议的描述 | 第23-27页 |
| ·改进协议的正确性证明 | 第27-29页 |
| ·改进的逻辑环一致性算法与Chandra&Toueg 算法的比较 | 第29-30页 |
| ·逻辑环一致性算法的理论分析 | 第30-37页 |
| ·不同准确概率的失效检测器对逻辑环可靠性的影响 | 第30-33页 |
| ·请求消息的处理延迟的初步计算 | 第33-34页 |
| ·基于以太网环境下的请求延迟与系统可靠性分析 | 第34-37页 |
| 第四章 基于逻辑环的组管理协议 | 第37-46页 |
| ·新成员加入协议 | 第37-38页 |
| ·成员退出协议 | 第38-42页 |
| ·成员主动退出协议 | 第38-41页 |
| ·成员被动退出协议 | 第41-42页 |
| ·组合并协议 | 第42-44页 |
| ·组分割协议 | 第44-46页 |
| 第五章 组通信系统的实现与测试 | 第46-66页 |
| ·基于逻辑环的容错系统的原型实现 | 第46-55页 |
| ·通信类CommunicateMgr 的实现 | 第47-49页 |
| ·链表类的实现 | 第49-50页 |
| ·失效检测器类FailureDetector 的实现 | 第50页 |
| ·组成员管理类MembershipMgr 的实现 | 第50-51页 |
| ·投票类Consensus 的实现 | 第51-53页 |
| ·原型系统的UML 描述 | 第53-55页 |
| ·逻辑环一致性协议原型系统的安全性扩展 | 第55-60页 |
| ·安全组通信系统 | 第55-57页 |
| ·数字签名的产生和验证 | 第57-60页 |
| ·组通信系统的性能测试 | 第60-66页 |
| ·不同组成员数和不同请求发送间隔条件下的延迟比较 | 第61-63页 |
| ·不同原型系统所带来的中间件延迟的比较 | 第63-66页 |
| 第六章 总结与展望 | 第66-68页 |
| ·论文总结 | 第66页 |
| ·未来的工作 | 第66-68页 |
| 参考文献 | 第68-73页 |
| 致谢 | 第73-74页 |
| 作者在攻读硕士期间发表论文清单 | 第74页 |