| 摘要 | 第4-7页 |
| Abstract | 第7-10页 |
| 1 绪言 | 第18-32页 |
| 1.1 分布共享数据服务 | 第19-20页 |
| 1.2 分布数据一致性问题 | 第20-23页 |
| 1.2.1 问题描述 | 第20-21页 |
| 1.2.2 以数据一致性为核心的权衡 | 第21-23页 |
| 1.3 历史阶段与发展趋势 | 第23-25页 |
| 1.4 研究理念与研究挑战 | 第25-28页 |
| 1.4.1 研究理念 | 第25-27页 |
| 1.4.2 研究挑战 | 第27-28页 |
| 1.5 研究现状概述 | 第28-29页 |
| 1.6 研究思路与本文贡献 | 第29-30页 |
| 1.7 论文组织 | 第30-32页 |
| 2 相关工作 | 第32-42页 |
| 2.1 “多样化,可调节”的研究理念 | 第32-35页 |
| 2.1.1 “多样化,可调节”的读写寄存器一致性模型 | 第33-34页 |
| 2.1.2 “多样化,可调节”的事务一致性模型 | 第34-35页 |
| 2.2 “精细化,可度量”的研究理念 | 第35-40页 |
| 2.2.1 “精细化,可度量”的读写寄存器一致性模型 | 第35-39页 |
| 2.2.2 “精细化,可度量”的事务一致性模型 | 第39-40页 |
| 2.3 小结 | 第40-42页 |
| 3 分布共享数据服务理论模型与技术框架 | 第42-50页 |
| 3.1 理论模型 | 第42-44页 |
| 3.1.1 分布数据与共享数据 | 第42-43页 |
| 3.1.2 分布共享数据服务 | 第43-44页 |
| 3.2 技术框架 | 第44-48页 |
| 3.2.1 数据类型 | 第44-45页 |
| 3.2.2 一致性模型 | 第45-46页 |
| 3.2.3 一致性实现机制 | 第46-47页 |
| 3.2.4 一致性度量 | 第47-48页 |
| 3.3 小结 | 第48-50页 |
| 4 读写寄存器Pipelined-RAM一致性模型验证 | 第50-80页 |
| 4.1 问题描述与解决思路 | 第51-53页 |
| 4.2 问题定义 | 第53-57页 |
| 4.2.1 读写操作及其序关系 | 第53-55页 |
| 4.2.2 Pipelined-RAM一致性模型 | 第55-56页 |
| 4.2.3 Pipelined-RAM一致性验证问题 | 第56-57页 |
| 4.3 VPC-SD和VPC-MD是NP-complete问题 | 第57-60页 |
| 4.4 VPC-MU问题的READ-CENTRIC算法 | 第60-76页 |
| 4.4.1 基本思想 | 第61-63页 |
| 4.4.2 READ-CENTRIC算法概述 | 第63-65页 |
| 4.4.3 与可达关系相关的数据结构 | 第65-66页 |
| 4.4.4 READ-CENTRIC算法详细设计 | 第66-70页 |
| 4.4.5 READ-CENTRIC算法示例 | 第70-71页 |
| 4.4.6 READ-CENTRIC算法正确性证明 | 第71-74页 |
| 4.4.7 READ-CENTRIC算法时间复杂度分析 | 第74-76页 |
| 4.5 READ-CENTRIC算法实验评估 | 第76-78页 |
| 4.5.1 实验设计 | 第76-77页 |
| 4.5.2 实验结果 | 第77-78页 |
| 4.6 小结 | 第78-80页 |
| 5 PA2AM：在分布式存储系统中实现“近乎强”一致性 | 第80-110页 |
| 5.1 问题描述与解决思路 | 第81-83页 |
| 5.2 “近乎强”一致性与PA2AM一致性 | 第83-86页 |
| 5.2.1 “近乎强”一致性 | 第83-85页 |
| 5.2.2 PA2AM一致性 | 第85-86页 |
| 5.3 PA2AM维护算法 | 第86-91页 |
| 5.3.1 PA2AM算法 | 第87-89页 |
| 5.3.2 PA2AM算法正确性证明 | 第89-91页 |
| 5.4 度量PA2AM算法中的“Atomicity违反”异常 | 第91-101页 |
| 5.4.1 度量并发模式的比率 | 第92-95页 |
| 5.4.2 度量读写模式的比率 | 第95-97页 |
| 5.4.3 数值结果与讨论 | 第97-101页 |
| 5.5 实验评估 | 第101-108页 |
| 5.5.1 实验设置 | 第101-102页 |
| 5.5.2 实验结果1：读操作延迟 | 第102-103页 |
| 5.5.3 实验结果2：Atomicity违反 | 第103-105页 |
| 5.5.4 PA2AM与弱一致性模型的比较 | 第105-108页 |
| 5.6 小结 | 第108-110页 |
| 6 分布式事务键值存储系统中的RVSI一致性模型 | 第110-140页 |
| 6.1 问题描述与解决思路 | 第111-114页 |
| 6.2 SI事务一致性模型 | 第114-117页 |
| 6.2.1 数据项与事务 | 第114页 |
| 6.2.2 系统历史 | 第114-115页 |
| 6.2.3 SI的定义 | 第115-116页 |
| 6.2.4 SI的图论刻画 | 第116-117页 |
| 6.3 RVSI事务一致性模型 | 第117-122页 |
| 6.3.1 RVSI的定义 | 第117-119页 |
| 6.3.2 RVSI的性质及其异常 | 第119-122页 |
| 6.4 Chameleon系统设计 | 第122-124页 |
| 6.4.1 Chameleon事务键值存储系统 | 第122页 |
| 6.4.2 客户端库 | 第122-123页 |
| 6.4.3 RVSI协议 | 第123-124页 |
| 6.5 RVSI主从数据复制协议(RVSI-MS) | 第124-130页 |
| 6.5.1 RVSI-MS协议 | 第126-127页 |
| 6.5.2 数据结构 | 第127页 |
| 6.5.3 版本约束 | 第127-128页 |
| 6.5.4 实现讨论 | 第128-130页 |
| 6.6 RVSI跨分区事务提交协议(RVSI-MP) | 第130-133页 |
| 6.6.1 RVSI-MP协议 | 第130-132页 |
| 6.6.2 实现讨论 | 第132-133页 |
| 6.7 实验评估 | 第133-138页 |
| 6.7.1 实验设计 | 第133-135页 |
| 6.7.2 实验结果 | 第135-138页 |
| 6.8 小结 | 第138-140页 |
| 7 总结与展望 | 第140-146页 |
| 7.1 工作总结 | 第140-142页 |
| 7.2 研究展望 | 第142-146页 |
| 参考文献 | 第146-162页 |
| 简历与科研成果 | 第162-164页 |
| 致谢 | 第164-165页 |
