| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第1章 引言 | 第12-20页 |
| ·背景介绍 | 第12-17页 |
| ·分布式系统 | 第12-13页 |
| ·分布式系统中的计算问题 | 第13-14页 |
| ·共识问题 | 第14-16页 |
| ·故障检测器 | 第16-17页 |
| ·本文主要结果和创新点 | 第17-19页 |
| ·k-共识问题的故障检测器 | 第17-18页 |
| ·二值共识与多值共识的等价性 | 第18-19页 |
| ·全文结构 | 第19-20页 |
| 第2章 模型定义 | 第20-32页 |
| ·分布式计算模型 | 第20-28页 |
| ·消息传递模型 | 第23-25页 |
| ·公共内存模型 | 第25-27页 |
| ·各章节所涉及的系统模型 | 第27-28页 |
| ·共识问题 | 第28-29页 |
| ·故障检测器定义 | 第29-32页 |
| 第3章 基于Ω_k 的故障检测器与Paxos算法推广 | 第32-55页 |
| ·基于Ω_k 构造的故障检测器 | 第32-40页 |
| ·故障检测器类Ω′k 定义 | 第32-34页 |
| ·故障检测器类Ω′k′定义 | 第34-35页 |
| ·故障检测器类Ωk，Ω′k 与Ωk′′的等价性 | 第35-39页 |
| ·故障检测器类Ωk, Ω′k 与Ω′k′总结 | 第39-40页 |
| ·推广的Paxos算法 | 第40-55页 |
| ·算法描述 | 第40-44页 |
| ·算法证明 | 第44-49页 |
| ·算法创新点 | 第49-51页 |
| ·算法改进 | 第51-55页 |
| 第4章 k-共识问题的故障检测器 | 第55-142页 |
| ·划分方法的设计思想和基本框架 | 第57-58页 |
| ·划分故障检测器类Π_k 与Π_k~S | 第58-62页 |
| ·静态划分故障检测器类Π_k | 第58-60页 |
| ·动态划分故障检测器类ΠSk | 第60-62页 |
| ·故障检测器类Π_k, Π_k~S 与?′z′×Σ之间的强弱关系比较 | 第62-85页 |
| ·能实现的转化算法 | 第63-66页 |
| ·模型(?) 中不可实现的转化算法 | 第66-80页 |
| ·模型(?)[Σ] 和??[Maj] 中不可实现的转化算法 | 第80-85页 |
| ·利用故障检测器类Π_ k~S 实现k-共识 | 第85-99页 |
| ·划分故障检测器类ΠΩ_k | 第99-104页 |
| ·故障检测器类ΠΩk 的定义 | 第99-101页 |
| ·利用故障检测器类ΠΩk 实现k-共识 | 第101-104页 |
| ·划分故障检测器类ΠΩΥk | 第104-109页 |
| ·故障检测器类ΠΩΥk 的定义 | 第105-106页 |
| ·利用故障检测器类ΠΩΥk 实现n-共识 | 第106-109页 |
| ·划分故障检测器类ΠΥ | 第109-113页 |
| ·故障检测器类ΠΥ的定义 | 第110-111页 |
| ·利用故障检测器类ΠΥ实现n-共识 | 第111-113页 |
| ·故障检测器类ΠΩk，ΠΩΥk，ΠΥ与Ω_k, Υ之间的强弱关系比较 | 第113-140页 |
| ·能实现的转化算法 | 第114-120页 |
| ·不可实现的转化算法 | 第120-140页 |
| ·本章总结 | 第140-142页 |
| 第5章 二值共识与多值共识的等价性 | 第142-167页 |
| ·用二值共识实现多值共识的算法 | 第144-150页 |
| ·复杂性与处理器ID长度呈线性关系的算法 | 第144-147页 |
| ·复杂性与处理器提议值长度呈线性关系的算法 | 第147-150页 |
| ·利用二值共识实现一致可靠广播 | 第150-154页 |
| ·实现一致可靠广播的必要条件 | 第154-163页 |
| ·利用多值共识实现一致可靠广播 | 第163-166页 |
| ·本章总结 | 第166-167页 |
| 第6章 总结和展望 | 第167-168页 |
| 参考文献 | 第168-171页 |
| 致谢 | 第171-172页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第172-173页 |
