CRDT或无冲突复制数据类型遵循强有力的最终一致性保证,本质上意味着保证在未来某个时间点实现一致性。
我的问题是,是牺牲了CAP定理的一致性部分,还是牺牲了哪一个?
CRDT牺牲一致性来实现可用性,至少在最直接的利用它们时是这样,它不会检查您是否收到了来自所有潜在客户端(网络中的节点(的输入。
然而CRDT是一种数据结构,不是分布式算法,因此它在分布式环境中的行为将取决于它们所参与的全分布式算法
中讨论了一些类似的想法https://blog.acolyer.org/2017/08/17/on-the-design-of-distributed-programming-models/:
Lasp是一个为可用性牺牲一致性的AP模型的例子。在Lasp中,所有数据结构都是CRDT。。。