CRDT：无冲突复制数据类型——从数学基石到实时协作的未来架构

设想一个场景：你和三位同事正在同时编辑一份在线文档。你在第三段插入了一行字，同事在第五段删了一个词，另一位在第一段加了一张图片。没有任何中央服务器来协调，也没人等待锁——然而下一秒，所有人的屏幕上显示的内容完全一致。这不是魔术，这背后是 CRDT（Conflict-free Replicated Data Types，无冲突复制数据类型） 的数学力量。

在分布式系统领域，CAP 定理告诉我们：Consistency（一致性）、Availability（可用性）、Partition tolerance（分区容错）三者不可兼得。传统方案如 Paxos/Raft 强一致性协议需要协调者，无法在网络分区时保持可用。而 CRDT 走了一条完全不同之路：让冲突在数学意义上不可能发生——无论操作以何种顺序到达，最终结果始终收敛一致。

一、CRDT 的数学基石

1.1 半格（Semilattice）与 join 操作

CRDT 的理论基础来自序理论（Order Theory）。其核心数据结构是一个并半格（Join Semilattice）：

• 集合 C 上的部分关系 ⊑（表示 "小于等于" 的因果序）
• 二元运算 ⊔（join/合并），满足：