赋格的艺术：协同文本编辑中交错的最小化

大多数现有的用于复制列表的算法（广泛用于协同文本编辑器）存在一个问题：当两个用户同时在文档的同一位置插入文本时，合并结果可能会将插入的文本片段交错，导致文本损坏且可能不可读。该问题数十年来一直未被察觉，并且它同时影响CRDT和操作变换（Operational Transformation）。本文定义了最大非交错性，这是我们为复制列表提出的新正确性属性。我们引入了两种相关的CRDT算法，Fugue和FugueMax，并证明FugueMax满足最大非交错性。我们还实现了我们的算法，并证明Fugue在性能上可与最先进的文本编辑CRDT库相媲美。