勵志

勵志人生知識庫

flp不可能定理

FLP不可能定理,是分散式領域中的一個著名定理,由FischerLynchPatterson三位作者於1985年發表。該定理證明了在異步通信系統中,即使只有一個進程失敗,也沒有任何算法能保證非故障進程達到一致性。FLP不可能定理的三大限定條件為:

確定性協定。給定一個輸入,一定會產生相同的輸出。

異步網路通信。沒有統一時鐘、不能時間同步、不能使用逾時、不能探測失敗、訊息可任意延遲、訊息可亂序。

所有存活節點。所有存活的節點必須最終達到一致性。

FLP不可能定理實際上告訴人們,不要浪費時間,去為異步分散式系統設計在任意場景下都能實現共識的算法。這個定理在理論上有嚴格的證明,但在工程上實現的一種方法,稱為CAP定理