分布式事务的关键是实现强一致性，但是CAP定理认为获得强一致性必然放弃可用性，这是传统关系数据库和2PC的问题所在，最终一致性可以兼顾一致性和可用性，强最终一致性则更好，因此分布式事务的发展方向走向强最终一致性的一致性模型，强最终一致的模型实现有几种，比如Paxos和Raft，但是这些只适合封闭的产品环境，对于分布式事务中间件的实现目前CRDT是一种方向，全球最大的电子商务公司Ebay已经将其落地，这里介绍一篇关于CRDT的文章比较全面，点击标题可进入，摘录如下：
CRDT称为强最终一致性的一致性模型，在维基百科的最终一致性的描述是：
最终一致性是分布式计算中使用的一致性模型，用于实现高可用性，非正式地保证，如果没有对给定数据项进行新的更新，最终对该项的所有访问将返回最后更新的值。
强的最终一致性，强调一些保证一致性的数学特性。
CRDT存在两种不同类型，一种是基于状态的，即状态在副本之间发送和合并，另一种是基于操作的，单独的操作被发送到其他副本。