以图灵机为喻！交互式教程助开发者理解CRDT工作原理

【导语：近日，前Recurse Center工程师Jake Lazaroff撰写交互式入门教程，以图灵机比喻帮助开发者理解CRDT工作原理。CRDT是构建分布式协同应用的核心数据结构，有独特特性和应用场景。】

CRDT：分布式协同核心数据结构

CRDT即无冲突复制数据类型，是构建分布式协同应用的核心数据结构。它是一种可在不同计算机（对等节点）上存储的数据结构，每个节点能即时更新本地状态，无需网络请求，最终保证所有节点收敛到一致状态。其merge函数需满足交换律、结合律、幂等性，无论合并顺序和次数，最终状态保持一致。

图灵机视角下的CRDT

Lazaroff提出将CRDT看作一台图灵机，它只有一个状态，可通过merge操作与另一台图灵机的“纸带”合并。CRDT的接口定义包括value（当前值）、state（内部状态），merge用于将另一个状态合并到当前状态。

状态型与操作型CRDT

教程主要聚焦状态型CRDT，如LWW - Register和LWW - Map。LWW基于时间戳，后写入的数据胜出。LWW - Map由多个LWW Register组成，支持添加、更新和删除。删除处理采用“墓碑”机制，将寄存器值设为null，以区分“该键已删除”和“该键从未存在”两种状态。

CRDT的应用与局限

CRDT被广泛应用于协作工具（如Figma、Google Docs）、消息系统和分布式数据库。但它是单调递增的数据结构，只能添加信息不能删除，会产生存储开销。

编辑观点：CRDT在分布式协同领域有重要价值，此次教程为开发者理解其原理提供新视角，但存储开销问题待解决，未来或有更多优化方案。