[论文解读] Dotted Version Vectors: Logical Clocks for Optimistic Replication

Nuno Preguiça, Carlos Baquero+3 more|arXiv (Cornell University)|Nov 26, 2010

Distributed systems and fault tolerance参考文献 22被引用 14

一句话总结

本文提出点号版本向量（dotted version vectors），一种用于分布式系统中乐观复制的新型因果关系追踪机制。通过使用服务器级条目而非客户端级条目来编码因果历史，该机制实现了准确的并发检测，且存储增长仅与复制度成比例，而非客户端数量——相比传统版本向量，显著提升了可扩展性。

ABSTRACT

In cloud computing environments, a large number of users access data stored in highly available storage systems. To provide good performance to geographically disperse users and allow operation even in the presence of failures or network partitions, these systems often rely on optimistic replication solutions that guarantee only eventual consistency. In this scenario, it is important to be able to accurately and efficiently identify updates executed concurrently. In this paper, first we review, and expose problems with current approaches to causality tracking in optimistic replication: these either lose information about causality or do not scale, as they require replicas to maintain information that grows linearly with the number of clients or updates. Then, we propose a novel solution that fully captures causality while being very concise in that it maintains information that grows linearly only with the number of servers that register updates for a given data element, bounded by the degree of replication.

研究动机与目标

• 解决现有因果关系追踪机制在乐观复制系统中的可扩展性限制。
• 消除元数据随客户端数量线性增长的问题，该问题在大规模云系统中会阻碍性能。
• 提供一种安全、准确的方法，用于检测并发更新，同时不丢失因果关系。
• 设计一种机制，在保持因果关系完整性的同时，减少存储和通信开销。
• 实现与现有键值存储（如Riak）的实用集成，仅需极少的代码修改。

提出的方法

• 该方法通过引入一种点号表示法，将传统版本向量扩展为按服务器而非客户端表示因果依赖。
• 每次更新均附带一个特定于服务器的事件ID，以及一个捕获前一状态因果历史的版本向量。
• 因果关系通过比较点号版本向量来确定，其中若一个向量包含所有因果前驱且在同一服务器上具有更高的事件ID，则认为其更大。
• 该机制使用一种仅基于服务器级条目合并向量的合并操作，从而保留因果关系。
• 通过利用每个键的副本服务器数量有限这一特性，实现了对过时条目的高效清理。
• 该设计已集成至Riak，仅需约100行代码修改，证明了其实际可部署性。

实验结果

研究问题

• RQ1 如何在不损失准确性的前提下，使乐观复制系统中的因果关系追踪实现可扩展？
• RQ2 客户端数量对传统版本向量中元数据增长的影响是什么？能否加以缓解？
• RQ3 能否仅使用服务器级条目而非每个客户端的条目，准确捕捉因果关系？
• RQ4 在保持正确性的前提下，因果关系追踪的存储和通信开销可被减少到何种程度？
• RQ5 点号版本向量在现有分布式键值存储中可被多高效地集成？

主要发现

• 点号版本向量将元数据增长从与客户端数量成线性关系，降低为仅与每个键的副本服务器数量成线性关系，而该数量受复制度的限制。
• 该机制能够准确检测并发更新，且不丢失因果关系，这与不安全的压缩空间技术形成对比。
• 该方案在保持与传统版本向量相当的因果关系完整性的同时，在大规模系统中显著减少了存储开销。
• 该方法成功集成至Riak，仅需极少工程工作，代码修改量约为100行。
• 过时条目的清理高效且安全，因其依赖于数量有限的服务器条目，而非数量无界的客户端条目。
• 该方法在正确性和可扩展性方面均优于现有方案，如Roam和哈希历史机制。