CRDT

定义

CRDT(Conflict-free Replicated Data Type,无冲突复制数据类型)是一类特殊设计的数据结构:多个副本可以在不互相协调的情况下各自独立更新,之后按任意顺序交换状态或操作,最终都能自动合并到相同的结果。该概念由 Marc Shapiro 等人于 2011 年系统化提出,数学上保证了强最终一致性。

原理

CRDT 分为两大类:

• 基于状态(CvRDT):副本间同步完整状态,合并函数需满足交换律、结合律和幂等性,如 G-Counter 取各节点分量的最大值合并。
• 基于操作(CmRDT):副本间广播操作,要求并发操作可交换,依赖可靠的消息传递。

常见类型包括 PN-Counter、LWW-Register、OR-Set 以及面向文本协同编辑的序列 CRDT。

应用场景

• 协同编辑:Yjs、Automerge 等库支撑多人实时文档编辑
• 分布式数据库:Redis Enterprise 多活复制、Riak 的数据类型
• 离线优先应用:客户端离线修改,联网后自动合并

优缺点

优点是无需中心协调、天然容忍网络分区;缺点是元数据开销较大、语义受限,某些业务冲突仍需业务层裁决。