Search papers, labs, and topics across Lattice.
This paper introduces a novel semantic conflict model for collaborative data structures that enables explicit, local-first conflict resolution without central coordination, addressing the limitations of implicit CRDT conflict resolution and centralized reconciliation techniques. The model identifies conflicts based on semantic dependencies between operations and resolves them through a three-way merge of conflicting operations onto a reconciling operation within a replicated journal. The approach is demonstrated on collaborative registers, including a Last-Writer-Wins register and a multi-register entity with semi-automatic reconciliation.
Resolve conflicts in collaborative data structures locally and explicitly, without relying on opaque CRDT resolutions or centralized coordination.
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.
