| 摘要 | 第5-7页 |
| ABSTRACT | 第7-9页 |
| 第一章 绪论 | 第14-26页 |
| 1.1 研究背景 | 第15-20页 |
| 1.2 研究意义 | 第20-22页 |
| 1.3 本文的主要工作内容和创新成果 | 第22-23页 |
| 1.4 本文的组织结构 | 第23-26页 |
| 第二章 云存储中的一致性问题研究 | 第26-50页 |
| 2.1 一致性问题 | 第26-32页 |
| 2.1.1 定义 | 第26-29页 |
| 2.1.2 一致性模型分类 | 第29-32页 |
| 2.2 云存储中的复制与一致性 | 第32-43页 |
| 2.2.1 复制方法 | 第32-35页 |
| 2.2.2 状态机复制与Paxos协议 | 第35-43页 |
| 2.3 关键原则与权衡 | 第43-47页 |
| 2.3.1 关键原则 | 第43-45页 |
| 2.3.2 原则间的区别与联系 | 第45-47页 |
| 2.4 当前研究中存在的问题 | 第47-49页 |
| 2.5 本章小结 | 第49-50页 |
| 第三章 复制状态机的模块化抽象框架 | 第50-68页 |
| 3.1 问题与动机 | 第50-51页 |
| 3.2 复制状态机及一致性协议的设计方法 | 第51-53页 |
| 3.3 典型的复制状态机及其一致性协议 | 第53-54页 |
| 3.4 模型限定 | 第54页 |
| 3.5 规范：复制状态机的模块化抽象框架 | 第54-61页 |
| 3.5.1 抽象框架概览 | 第55-57页 |
| 3.5.2 定义：集合与映射 | 第57-59页 |
| 3.5.3 抽象框架协议及其属性 | 第59-61页 |
| 3.6 实例化：复制状态机及其一致性协议实例 | 第61-66页 |
| 3.6.1 传统的复制状态机及Multi-Ring Paxos | 第61-63页 |
| 3.6.2 简单复制状态机及中间协议P | 第63-65页 |
| 3.6.3 可扩展复制状态机及可线性化协议 | 第65-66页 |
| 3.7 本章小结 | 第66-68页 |
| 第四章 分层复制状态机及一致性协议D-PAXOS | 第68-95页 |
| 4.1 动机与背景 | 第68-69页 |
| 4.2 广域环境下的强一致性协议实现 | 第69-71页 |
| 4.3 分层复制状态机 | 第71-74页 |
| 4.3.1 系统模型 | 第71页 |
| 4.3.2 定义 | 第71-73页 |
| 4.3.3 属性 | 第73-74页 |
| 4.4 D-PAXOS | 第74-80页 |
| 4.4.1 假设 | 第74-75页 |
| 4.4.2 协议过程 | 第75-77页 |
| 4.4.3 故障检测与恢复 | 第77-80页 |
| 4.5 一致性证明 | 第80-82页 |
| 4.6 基于模块化抽象框架的实例化 | 第82-84页 |
| 4.7 评估 | 第84-93页 |
| 4.7.1 实验设置 | 第85页 |
| 4.7.2 吞吐量和延迟 | 第85-87页 |
| 4.7.3 可扩展性 | 第87-89页 |
| 4.7.4 故障的影响 | 第89-93页 |
| 4.8 本章小结 | 第93-95页 |
| 第五章 强一致性协议D-PAXOS的定量分析建模 | 第95-111页 |
| 5.1 PAXOS及其变体中的批处理和流水线技术 | 第95-99页 |
| 5.1.1 Paxos中的技术框架 | 第96-98页 |
| 5.1.2 Paxos变体中的批处理、流水线及其定量分析 | 第98-99页 |
| 5.2 D-PAXOS预排序请求批次的尺寸 | 第99-101页 |
| 5.3 参数定义 | 第101-102页 |
| 5.4 定量分析模型 | 第102-106页 |
| 5.5 评估 | 第106-110页 |
| 5.5.1 实验设置 | 第106-107页 |
| 5.5.2 分析模型的有效性 | 第107页 |
| 5.5.3 请求尺寸、预排序批次尺寸和吞吐量之间的关系 | 第107-109页 |
| 5.5.4 预排序请求批次尺寸对可扩展性的影响 | 第109-110页 |
| 5.6 本章小结 | 第110-111页 |
| 第六章 面向自适应一致性的分组复制框架及其权衡策略 | 第111-130页 |
| 6.1 背景与动机 | 第111-112页 |
| 6.2 自适应一致性研究 | 第112-114页 |
| 6.3 分组复制框架 | 第114-117页 |
| 6.3.1 框架概览 | 第114-116页 |
| 6.3.2 分组复制与一致性 | 第116-117页 |
| 6.4 一致性权衡策略 | 第117-119页 |
| 6.5 基于分组复制框架的策略 | 第119-125页 |
| 6.5.1 主分组中的强一致性保证 | 第119-120页 |
| 6.5.2 成本策略中的权衡公式 | 第120-121页 |
| 6.5.3 性能策略中的一致性/响应时间效率估计 | 第121-123页 |
| 6.5.4 一致性选择算法 | 第123-125页 |
| 6.6 评估 | 第125-128页 |
| 6.6.1 设置 | 第125页 |
| 6.6.2 成本策略的有效性 | 第125-127页 |
| 6.6.3 性能策略的有效性 | 第127-128页 |
| 6.7 本章小结 | 第128-130页 |
| 结论 | 第130-133页 |
| 参考文献 | 第133-146页 |
| 附录1 全局一致性协议 | 第146-150页 |
| 附录 2 D-PAXOS协议 | 第150-152页 |
| 攻读博士学位期间取得的研究成果 | 第152-154页 |
| 致谢 | 第154-155页 |
| 附件 | 第155页 |
