语义冲突模型用于协作数据结构
Semantic Conflict Model for Collaborative Data Structures
AI总结：
本文提出一种语义冲突模型，用于协作数据结构中的显式本地冲突解决，无需中心协调。通过操作间的语义依赖识别冲突，并通过三次合并重基于协调操作进行解决。
摘要：
数字协作系统支持通过复制数据进行异步工作，当同时操作无法明确整合到共享历史中时会出现冲突。虽然冲突自由复制数据类型（CRDTs）通过内置冲突解决确保收敛，但这种解决通常是隐含的且对用户不透明，而现有协调技术往往依赖于集中协调。本文介绍了一种协作数据结构的冲突模型，使显式、本地优先的冲突解决成为可能，而无需集中协调。该模型通过操作间的语义依赖识别冲突，并通过三次合并将冲突操作重新基于协调操作进行解决。我们展示了该方法在协作寄存器上的应用，包括显式定义的最后写者胜寄存器以及支持半自动协调的多寄存器实体。
英文摘要：
Digital collaboration systems support asynchronous work over replicated data, where conflicts arise when concurrent operations cannot be unambiguously integrated into a shared history. While Conflict-Free Replicated Data Types (CRDTs) ensure convergence through built-in conflict resolution, this resolution is typically implicit and opaque to users, whereas existing reconciliation techniques often rely on centralized coordination. This paper introduces a conflict model for collaborative data structures that enables explicit, local-first conflict resolution without central coordination. The model identifies conflicts using semantic dependencies between operations and resolves them by rebasing conflicting operations onto a reconciling operation via a three-way merge over a replicated journal. We demonstrate our approach on collaborative registers, including an explicit formulation of the Last-Writer-Wins Register and a multi-register entity supporting semi-automatic reconciliation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
