分佈式系統中的FLP不可能原理、CAP理論與BASE理論(順帶提一下ACID)

分佈式系統是由多個不一樣的服務節點組成，節點與節點之間經過消息傳遞進行通訊和協調。根據消息傳遞的不一樣，分佈式系統的運行模型能夠分爲異步模型系統 和同步模型系統。本文首先將介紹同步通訊與異步通訊的概念，而後在此基礎上，介紹最小化異步模型系統中的FLP理論。接着，會介紹事務的ACID屬性與分佈式系統中的CAP理論。最後，會分析ACID原則和BASE理論之間的特色，比較二者之間的不一樣。全文將按照以下

>>阅读原文<<