为 JSON CRDT 扩展移动操作
分布式、并行与集群计算
2024-09-25 v2
摘要
用于 JSON 的无冲突复制数据类型(CRDTs)允许用户并发更新 JSON 文档并自动将更新合并为一致状态。在 JSON CRDT 中移动映射中的子树或重排列表中的元素具有挑战性:朴素的合并算法可能引入意外结果,如重复或环。在本文中,我们介绍了一种 JSON CRDT 中移动操作的算法,该算法处理与并发非移动操作的交互,并使用新颖的优化来提升性能。我们计划将该算法集成到 Automerge CRDT 库中。
引用
@article{arxiv.2311.14007,
title = {Extending JSON CRDTs with Move Operations},
author = {Liangrun Da and Martin Kleppmann},
journal= {arXiv preprint arXiv:2311.14007},
year = {2024}
}
备注
7 pages, 4 figures