从强一致性到最终一致性的BASE理论重新定义一致性

[[CAP三选二对应的三类真实系统选择]]里”AP without C”是分布式系统的主流 选择，但这意味着事务本来追求的”一致性”恰恰成了通常被牺牲的那一项，这 显然不能是终点——系统终究要保证结果在最终交付时是正确的，只是允许中间 过程短暂出错。为此，人们把CAP/ACID里讨论的一致性重新命名为”强一致性” （也叫线性一致性），把纯粹放弃一致性的状态叫”弱一致性”，并在弱一致性 里总结出一个更有实用价值的特例——”最终一致性”：只要数据在一段时间内 不再被其他操作更改，最终会收敛到与强一致性相同的结果（这类算法也被称为 “乐观复制算法”）。这套思路被系统化总结为BASE理论：基本可用性（Basically Available）、柔性事务（Soft State）、最终一致性（Eventually Consistent）， 与ACID形成”ACID vs BASE（酸vs碱）”的对照。相应地，使用ACID的事务被称为 “刚性事务”，而放弃强一致性、追求最终一致性的几种分布式事务做法（可靠 事件队列/TCC/SAGA）统称”柔性事务”——这标志着分布式事务处理彻底从”追求 不出错”转向”允许出错但保证收敛”的设计哲学。