主要观点：深入探讨分布式系统领域的新话题——冲突无关复制数据类型（CRDTs），包括其定义、类型、容错性、与 CAP 定理的关系等。
关键信息：

• SEC 旨在解决强一致性模型的问题，CRDTs 基于此，有对象型、状态型等类型，如 CvRDTs 基于连续状态交换，CmRDTs 分准备更新和效果更新两步。
• CRDTs 具有容错特性，如去中心化、异步通信、节点故障恢复等，但对拜占庭故障较难恢复。
• CRDTs 对 CAP 定理提出质疑，在一定程度上平衡了可用性和最终一致性。
• 介绍了多种基本 CRDT 类型，如寄存器（包括多值寄存器和最后写胜出寄存器）、计数器（增长计数器和正负计数器）、集合（多种类型）、序列、映射等。
  重要细节：
• SEC 的理论基础是简单数学属性，如单调性、交换律和结合律。
• CvRDTs 消息大小可能较大，CmRDTs 需可靠通信协议提供消息因果排序。
• δ-CRDT 通过增量突变解决状态型 CRDTs 的消息大问题。
• CRDTs replicas 始终可用，子集最终一致。
• 有多种 CRDT 开源实现，如 Yjs、Automerge 等。
• 完整的 CRDT 列表很长，可在[https://crdt.tech/implementat...]查看。