CRDTs 的基石：半格结构到底有多重要？

本文探讨了无冲突复制数据类型 (CRDT) 的设计原则，指出所有良好的 CRDT 都应基于半格结构。作者批判了那些在 CRDT 内部隐藏假设的做法，强调所有必要的假设都必须内化到半格结构中。文章以添加/删除集合为例，说明了如何通过引入因果关系晶格来解决基于本地时间的过期机制可能导致的非收敛行为。最终，作者总结了 CRDT 设计的几个关键要点，并强调了构建可靠分布式系统的重要性。