CRDTs: Pros and Cons (Lattices and Lettuces?)
a year ago
- #programming
- #CRDTs
- #distributed-systems
- CRDT（收敛复制数据类型）旨在实现无需协调的分布式编程
- CRDT基于半格理论，使用满足结合律、交换律和幂等律的并集运算符
- 利用半格实现复制数据类型的理念可追溯至1997年Baquero和Moura的研究
- 现代代数在分布式系统正确性验证中日益重要，CRDT就是早期典型案例
- CRDT存在三大问题：数学正确性漂移、读取操作不安全、可编程性不足
- 理论上正确的CRDT实现应禁止读取操作，这使其理论无用但实际被不安全使用
- 构建实用的CRDT程序需要LVars、Bloom^L、Lasp或Rust的Hydro等专用语言/框架
- 作者认可CRDT核心思想，但强调其实际缺陷和教育意义
- 后续文章将剖析CRDT的经验教训，帮助开发者做出更明智决策