CRDT让副本各奔东西仍能收敛，无需加锁

多用户编辑面临一个根本问题：当两个人离线或在不同连接上编辑同一个文档时，两个副本都变了，必须有人来协调。传统做法要么锁定部分文档——阻碍协作，要么使用操作转换，其状态组合爆炸，而且正确性证明出了名的难。

2011年，Marc Shapiro和同事提出了无冲突复制数据类型（CRDT）：一种数据结构，让并发更新可以交换。如果每个更新都可交换，合并操作满足结合律，那么分叉的副本可以任意顺序合并，最终收敛到同一个状态，无需中心协调器，也没有冲突对话框。寄存器、计数器、集合和文本编辑器都能这样构建。

接下来的几年里，理论逐步成熟：2018年Martin Kleppmann等人的OpSets论文搭建了一个可执行框架，能机械验证复制数据类型算法，揭示了一个协作文本的正确性属性，而几个已发表的算法违反了它，并且定义了一个原子移动操作，之前被认为不加锁不可能实现。

生产系统采纳了这个想法。Figma的多人引擎明确受CRDT研究启发：其服务端授权、按属性设计就像一个最后写入者胜出的寄存器，在公司拒绝操作转换（认为过于复杂）之后选择。Redis、Riak和Cosmos DB都提供基于CRDT的数据类型，Apple的备忘录用CRDT在设备间同步离线编辑。