架構雜談《三》 一致性問題 前面的《架構雜談一》和《架構雜談二》 雜談了從服務化到微服務架構的演進,並肯定了服務化和微服務架構是一脈相承的。微服務在服務化架構的基礎上,對服務化的細節和方案進行了優化和細化,重點突出了無中心化管理的微服務架構,通過對服務進行有效的拆分來實現敏捷開發和自動化部署,併在海 ...
架構雜談《三》
一致性問題
前面的《架構雜談一》和《架構雜談二》 雜談了從服務化到微服務架構的演進,並肯定了服務化和微服務架構是一脈相承的。微服務在服務化架構的基礎上,對服務化的細節和方案進行了優化和細化,重點突出了無中心化管理的微服務架構,通過對服務進行有效的拆分來實現敏捷開發和自動化部署,併在海量用戶的請求下,提高了微服務架構下較細粒度的水平伸縮能力。
然而,微服務架構並不是萬能的它可以說就是一把雙刃劍,我們在享受它帶來的便利的同時,也會遇到數據和服務之間不一致性的問題,在為服務架構下多個服務通過非可靠的網路通信,如何讓服務之間高效的通信和協作,如何解決系統之間狀態不一致等問題,這可以說是我們在使用微服務架構後不得不面對的問題。
1、什麼是一致性
一致性是一個抽象的概念,在不同的場景下有不同的含義,在傳統IT時代,一致性通常指強一致性,在雜談互聯網時代的一致性之前,我們先瞭解一下互聯網時代的特點:
- 互聯網時代信息量大,需要非常強大的計算能力
- 互聯網時代要求對用戶的響應速度快,還要求吞吐量指標向外擴展(水平伸縮)
通過這些個互聯網時代的特點分析後,我們發現單節點的伺服器無法滿足人們的需求,服務節點開始池化。但是池化不是越多越好的(常言說,人多不一定能解決所有問題),還得有序、合理的分配任務,並有效的進行管理,於是在互聯網時代討論最多的話題就是拆分。拆分又一般分為水平和垂直,這不單指對資料庫或者緩存的拆分,主要是表達一種分而治之的思想和邏輯
水平拆分:由於單一節點無法滿足性能的需求,需要擴展成多個節點,多個節點之間具有一致的功能,組成一個服務池,一個節點服務一部分的請求量,所有節點共同處理大規模的高併發的請求量。
垂直拆分:按照功能進行拆分,把一個複雜的功能拆分成多個單一、簡單的功能,由於每個功能職責單一、簡單,使得維護和變更變的更容易、簡單和安全,所以更易於產品迭代,還能夠快速地進行敏捷發佈和上線。
在這樣的一個互聯網時代,一致性指分散式服務化之間的弱一致性,包括應用系統的一致性和數據的一致性。
無論是水平還是垂直拆分,都解決了特定場景下的特定問題,然而,拆分後的系統或者服務化的系統的最大問題就是一致性問題。
2、解決一致性問題的思路
1、ACID
如何保證一致性問題呢?我們在學習關係性資料庫時都學習了ACID原理,這裡簡單的對ACID做個介紹。
A:原子性
C:一致性
I:隔離性
D:持久性
具有ACID特性的資料庫支持強一致性,強一致性代表資料庫本身不會出現不一致,每個事務都是原子的(要麼成功要麼失敗),事務間是隔離的,互相不受影響。最終狀態是持久的。因此,資料庫會從一個明確的狀態過渡到另外一個明確的狀態,中間的臨時狀態是不會出現的。如果出現也會及時地自動修複,因此是強一致性的。然而,前面提到,互聯網項目大多數具有大規模、高併發的特性,必須使用拆分的理念。即使使用關係型資料庫,單機是難以滿足存儲和吞吐量上的性能需求。由於業務規則的限制,我們無法將相關數據分到同一個資料庫分片,這時就需要實現最終一致性。
2、CAP
由於對系統或者數據進行了拆分,我們的系統不再是單機系統,而是分散式系統。針對分散式系統的CAP原理有三個元素。
C:一致性。在分散式系統中的所有數據備份,在統一時刻具有相同的值,所有節點在同一時刻讀取的數據都是最新的數據副本。(Consistency)
A:可用性,好的響應性能。完全的可用性指的是在任何故障模型下,服務都會在有限的時間內處理完成併進行響應。(Availability)
P:分區容忍性。儘管網路上有部分消息丟失,但系統仍然可繼續工作。(Partition tolerance)
CAP原理說明,任何分散式系統只可滿足以上兩點,無法三者兼顧。由於關係型資料庫是單節點無複製的,因此不具有分區容忍性,但是具有一致性和可用性。而分散式的服務化系統都需要滿足分區容忍性,這就需要我們在一致性和可用性兩者中進行權衡選擇。
3、BASE
eBay的架構師Dan Pritchett源於對大規模分散式系統的實踐總結,在ACM上發表文章提出BASE理論,BASE理論是對CAP理論的延伸,核心思想是即使無法做到強一致性(Strong Consistency,CAP的一致性就是強一致性),但應用可以採用適合的方式達到最終一致性(Eventual Consitency)。(BASE 思想解決了CAP提出的分散式系統的一致性和可用性不可兼得的問題)
BASE思想與ACID原理截然不同,它滿足CAP原理,通過犧牲強一致性獲得可用性,一般應用於服務化系統的應用層或者大數據處理系統中,通過達到最終一致性來儘量滿足業務的絕大多數需求。
BASE思想的三個元素。
BA:基本可用(Basically Available)。
S:軟狀態,狀態可以在一段時間內不同步(Soft State)。
E:最終一致性,在一定的時間內,最終數據達成一致性即可。(Eventually Consistent)
軟狀態是實現BASE思想的方法,基本可用和最終一致性是目標。以BASE 思想實現的系統由於不保證強一致性,所以系統在處理請求的過程中可以存在短暫的不一致,在短暫的不一致的時間內,請求處理處於臨時狀態中,系統在進行每步操作時,通過記錄每個臨時狀態,在系統出現故障時可以從這些中間狀態繼續處理未完成的請求或者退回到原始狀態,最終達到一致狀態 。
有了BASE 思想作為基礎,我們對複雜的分散式事務進行拆解,對其中的每個步驟記錄其狀態,有問題可以根據記錄的狀態來繼續執行任務,達到最終一致性。
說明:
1、參考書籍:《分散式服務架構:原理、設計與實戰》
2、如有不合適的地方請反饋。綜合後更改。