CRDTs（无冲突复制数据类型）是实现强最终一致性的关键工具，允许多个节点独立编辑数据后自动合并，确保更新处理后各节点状态立即一致，而非最终一致。这种机制在分布式数据库中尤为重要，能自动解决冲突，降低延迟，提升系统效率。

强最终一致性：CRDTs背后的核心理念

CRDTs（冲突自由复制数据类型）是一种可以在多个节点上复制、独立编辑并最终合并的数据结构。虽然协同文档编辑和多用户待办事项列表是其应用的一部分，但其更大的潜力在于分布式数据库领域，而这需要我们深入探讨一致性问题。

CRDTs是实现强最终一致性（Strong Eventual Consistency, SEC）的工具。首先，我们来看一下普通最终一致性的定义：

• 最终传递：一个节点上的更新最终会传递到所有节点。
• 最终收敛：如果两个节点看到了所有相同的更新，它们最终会达到相同的状态。

强最终一致性则用强收敛取代了最终收敛：

• 强收敛：如果两个节点看到了所有相同的更新，它们将立即拥有相同的状态。

关键在于，SEC中一旦更新被处理，副本就会立即保持一致，而不是“最终”一致。当多个节点独立更新时，冲突是不可避免的，但SEC保证这些冲突能够自动且确定性地解决。

这带来了巨大的影响。SEC意味着低延迟，因为节点不需要协调来处理读写操作。它还意味着极高的容错性——即使系统中只有一个节点正常运行，读写操作仍可正常进行。此外，节点在离线或与网络断开连接的情况下仍能正常工作。

强最终一致性是真正有效的最终一致性。如果你在构建本地优先或低延迟的地理复制系统，强最终一致性是不可替代的。CRDTs应被视为构建强最终一致性系统的基础组件。无论是作为应用状态的一部分，还是作为整个数据库，CRDTs都展现了其独特的价值。

脚注： 1. 所有定义均改编自Shapiro, Marc; Preguiça, Nuno; Baquero, Carlos; Zawirski, Marek (2011)的《Conflict-Free Replicated Data Types》。

评论内容主要围绕分布式系统中的强最终一致性（SEC）和冲突无关复制数据类型（CRDTs）展开，观点多样且涉及技术细节。以下是总结：

1. 强最终一致性（SEC）的实用性：

   • 支持者认为SEC能带来低延迟和高容错性，节点无需协调即可处理读写操作，且在节点离线时仍能正常工作。
     • "SEC means low latency, because nodes don't need to coordinate to handle reads and writes." (judofyr)
   • 反对者则认为SEC虽然确保状态一致，但不一定是有用的状态，且在实际应用中可能带来问题，如数据不一致或无效状态。
     • "Convergence ensures that everyone observed the same state, not that it’s a useful state." (judofyr)

2. CRDTs的挑战与局限性：

   • CRDTs在实现上相对简单，但确保应用语义一致性和处理部分无序合并的状态非常困难。
     • "With CRDTs you have to consider how partial out of order merges affect the state." (the_duke)
   • 一些评论者提到CRDTs可能导致应用语义的破坏，特别是在复杂场景下，如任务跟踪系统中的状态不一致。
     • "The big problem with CRDTs IMO is that they make it incredibly easy to break application semantics." (the_duke)

3. CRDTs的实际应用与实现：

   • 评论者列举了多个基于JSON的CRDT实现项目，如Automerge、JsonJoy、RDX和Y.js，并指出这些项目在降低开销和提升API易用性方面的努力。
     • "Many projects revolve around some JSON-ish data format that is also a CRDT." (gritzko)
   • 也有评论者提到将CRDTs应用于SQLite或Postgres的尝试，但通常以“最后写入为准”的方式实现。
     • "Others are trying to retrofit CRDTs into SQLite or Postgres." (gritzko)

4. 分布式系统中的一致性问题：

   • 评论者讨论了最终一致性在数据库应用中的问题，如本地提交的更改在传播过程中可能导致客户端读取到无效数据。
     • "The problem here is if we have a database and we commit a change locally but then someone else commits different change elsewhere." (gethly)
   • 一些评论者分享了实际解决方案，如使用“等待器”确保数据一致性。
     • "I use correlation id that i receive when content is created and i put it into the redirect." (gethly)

5. 对作者的评价：

   • 有评论者对作者表示赞赏，认为其见解深刻，适合加入团队。
     • "This blogger has a lot of great takes. I bet he'd make a great addition to any team." (xupybd)

总结：评论者对SEC和CRDTs的实用性、挑战及实现方式展开了深入讨论，观点多样，既有对其优势的肯定，也有对其局限性和实际应用问题的批评。