分布式系统中的FLP不可能原理、CAP理论与BASE理论(顺带提一下ACID)

分布式系统是由多个不一样的服务节点组成，节点与节点之间经过消息传递进行通讯和协调。根据消息传递的不一样，分布式系统的运行模型能够分为异步模型系统 和同步模型系统。本文首先将介绍同步通讯与异步通讯的概念，而后在此基础上，介绍最小化异步模型系统中的FLP理论。接着，会介绍事务的ACID属性与分布式系统中的CAP理论。最后，会分析ACID原则和BASE理论之间的特色，比较二者之间的不一样。全文将按照以下

>>阅读原文<<