最終一致性

最終一致性（英語：Eventual consistency）是分散式計算里的一種主記憶體一致性模型，它指對於已改變寫的資料的讀取，最終都能取得已更新的資料，但不完全保證能立即取得已更新的資料。這種模型通常可以實現較高的可用性。^[1]最終一致性，通過樂觀複製（英語：Optimistic replication），或稱延遲複製（lazy replication）實現。^[2]這種概念最初始於行動應用，後來在各類分散式系統中也有廣泛的應用。^[3]達到最終一致性的分散式系統被稱為副本達到了「收斂（converged）」狀態。^[4]最終一致性是一種較弱的保證。如果某個系統滿足更強的一致性約束（例如線性一致性），它就同時具有最終一致性，但是反過來則未必成立，僅保證最終一致性的系統無法保證更強的約束。