對共識協議中「一致性」的分類

參考文章

在分布式系統中，執行著多個相互關聯的服務節點。

一致性是指分布式系統中的多個服務節點，給定一系列的操作，在約定協議的保障下，使它們對外界呈現的狀態是一致的。換句話說，也就是保證集群中所有服務節點中的資料完全相同並且能夠對某個提案（proposal）達成一致。

在學習過程中，一度被分布式事務一致性和分布式資料一致性這兩種說法搞混淆。實際上，兩者是從兩種不同的角度對一致性的描述。

在這裡，事務（資料庫事務的簡稱）是資料庫管理系統中執行過程中的乙個邏輯單位，由乙個有限的資料庫操作序列構成。

分布式事務一致性，指的是「操作序列在多個服務節點中執行的順序是一致的」。

分布式資料一致性，指的是「資料在多份副本中儲存時，各副本中的資料是一致的」。

保證了分布式事務的一致性，也就保證了資料的一致性。

但是這種實現對效能影響較大，因為這意味著，只要上次的操作沒有處理完，就不能讓使用者讀取資料。

系統並不保證程序或者執行緒的訪問都會返回最新的更新過的值。系統在資料寫入成功之後，不承諾立即可以讀到最新寫入的值，也不會具體的承諾多久之後可以讀到。但會盡可能保證在某個時間級別（比如秒級別）之後，可以讓資料達到一致性狀態。

弱一致性的特定形式。系統保證在沒有後續更新的前提下，系統最終返回上一次更新操作的值。在沒有故障發生的前提下，不一致視窗的時間主要受通訊延遲，系統負載和複製副本的個數影響。dns是乙個典型的最終一致性系統。