[论文解读] Abstract unordered and ordered trees CRDT

Stéphane Martin, Mehdi Ahmed-Nacer+1 more|arXiv (Cornell University)|Jan 9, 2012

Distributed systems and fault tolerance参考文献 12被引用 10

一句话总结

本文提出了一类用于无序树和有序树的无冲突复制数据类型（CRDT），在分布式系统中实现最终一致性。它利用现有的集合CRDT，并引入分层校正算法以解决树结构中的并发冲突，同时提出一种新型的WOOTR序列CRDT，实现对有序树的高效且一致的位置定位。

ABSTRACT

Trees are fundamental data structure for many areas of computer science and system engineering. In this report, we show how to ensure eventual consistency of optimistically replicated trees. In optimistic replication, the different replicas of a distributed system are allowed to diverge but should eventually reach the same value if no more mutations occur. A new method to ensure eventual consistency is to design Conflict-free Replicated Data Types (CRDT). In this report, we design a collection of tree CRDT using existing set CRDTs. The remaining concurrency problems particular to tree data structure are resolved using one or two layers of correction algorithm. For each of these layer, we propose different and independent policies. Any combination of set CRDT and policies can be constructed, giving to the distributed application programmer the entire control of the behavior of the shared data in face of concurrent mutations. We also propose to order these trees by adding a positioning layer which is also independent to obtain a collection of ordered tree CRDTs.

研究动机与目标

• 设计用于分布式树的无冲突复制数据类型（CRDT），确保无需同步即可实现最终一致性。
• 通过分层校正算法解决树复制中的并发问题，如冲突的插入、删除和路径唯一性问题。
• 通过一种名为WOOTR的新序列编辑CRDT，将CRDT树扩展以支持兄弟节点的排序。
• 通过可组合的策略为集合CRDT和校正层，使应用开发者能够完全控制冲突解决语义。
• 评估不同CRDT树变体在高并发场景下的可扩展性和性能权衡。

提出的方法

• 使用图论（节点集和边集）构建无序树CRDT，利用现有的集合CRDT（如LWW-Set、OR-Set）作为底层负载。
• 引入两层校正机制：第一层确保图保持有根，第二层强制实现唯一路径以防止环路。
• 为每个校正层应用独立且可组合的策略，以支持灵活的冲突解决语义。
• 采用基于词语理论的树表示方法，其中路径为唯一字符串，通过单一集合CRDT和连接层实现构建。
• 引入WOOTR——一种新型的可交换序列CRDT，支持元素的重新引入，并将同一位置的并发插入视为等价操作。
• 通过将WOOTR生成的位置标识符关联到节点或边，将无序树CRDT扩展为有序树CRDT，确保副本间的一致排序。

实验结果

研究问题

• RQ1 如何仅使用现有的集合CRDT构建树CRDT，同时确保最终一致性？
• RQ2 哪些分层校正策略可以解决树结构中并发修改（如插入、删除）的问题，而无需同步？
• RQ3 如何在支持最终一致性和并发更新的CRDT模型中实现有序树语义？
• RQ4 不同CRDT树变体在性能和可扩展性方面的权衡是什么，特别是在高并发场景下？
• RQ5 是否可以设计一种新型序列CRDT（WOOTR），以支持在树CRDT中实现高效、无冲突的重新插入和一致的位置定位？

主要发现

• 所提出的CRDT树族通过可组合策略和现有集合CRDT支持最终一致性，实现无需协调的无冲突复制。
• 两层校正机制（根化和路径唯一性）有效解决了基于图和边的树表示中的并发问题。
• 新型序列CRDT WOOTR支持已删除元素的重新引入，并将同一位置的并发插入视为等价操作，提升了一致性和效率。
• 通过将WOOTR生成的位置标识符扩展到无序树CRDT，构建了有序树CRDT，确保副本间一致的兄弟节点排序。
• 不同集合CRDT和策略的组合产生不同的冲突解决行为，使应用开发者能够完全控制语义。
• 性能差异显著：基于2P-Set的变体效率较高，而部分基于图和边的树策略由于复杂的冲突解决逻辑，计算开销较大。