這篇文章給大家介紹Paxos如何理解，內(nèi)容非常詳細(xì)，感興趣的小伙伴們可以參考借鑒，希望對大家能有所幫助。

成都創(chuàng)新互聯(lián)主打移動(dòng)網(wǎng)站、成都網(wǎng)站設(shè)計(jì)、做網(wǎng)站、網(wǎng)站改版、網(wǎng)絡(luò)推廣、網(wǎng)站維護(hù)、國際域名空間、等互聯(lián)網(wǎng)信息服務(wù)，為各行業(yè)提供服務(wù)。在技術(shù)實(shí)力的保障下，我們?yōu)榭蛻舫兄Z穩(wěn)定，放心的服務(wù)，根據(jù)網(wǎng)站的內(nèi)容與功能再?zèng)Q定采用什么樣的設(shè)計(jì)。最后，要實(shí)現(xiàn)符合網(wǎng)站需求的內(nèi)容、功能與設(shè)計(jì)，我們還會規(guī)劃穩(wěn)定安全的技術(shù)方案做保障。

假設(shè)有一組可以提出提案的進(jìn)程集合。一個(gè)一致性算法需要保證：在這些被提出的提案中，只有一個(gè)會被選定；如果，沒有提案被提出，那么就不會有被選定的提案；當(dāng)一個(gè)提案被選定后，進(jìn)程應(yīng)該可以獲取被選定的提案信息。

對于一致性來說，安全性(Safety)需求就是這樣的：

• 只有被提出的提案才能被選定。

• 只能有一個(gè)值被選定(chosen)，同時(shí)

• 如果某個(gè)進(jìn)程認(rèn)為某個(gè)提案被選定了，那么這個(gè)提案必須是真的被選定的那個(gè)。

我們不會精確地描述活性(Liveness)需求。整體上來說，目標(biāo)就是要保證最終有一個(gè)提案會被選定，當(dāng)提案被選定后，進(jìn)程最終也能獲取到被選定的提案。 [?]譯注

在該一致性算法中，有三種參與角色，我們用 Proposers ， Acceptors 和 Learners 來表示。在具體的實(shí)現(xiàn)中，一個(gè)進(jìn)程可能充當(dāng)不止一種角色，在這里我們并不關(guān)心進(jìn)程如何映射到各種角色。

假設(shè)不同參與者之間可以通過發(fā)送消息來通信，我們使用普通的非拜占庭模式的異步模型：

• 每個(gè)參與者以任意的速度執(zhí)行，可能會出錯(cuò)而停止，也可能會重啟。當(dāng)一個(gè)提案被選定后，所有的參與者都有可能失敗或重啟，因此除非那些失敗或重啟的參與者可以記錄某些信息，否則是不可能存在一個(gè)解的。

• 消息在傳輸中可能花費(fèi)任意的時(shí)間，可能會重復(fù)，丟失，但是不會被損壞。

關(guān)于Paxos如何理解就分享到這里了，希望以上內(nèi)容可以對大家有一定的幫助，可以學(xué)到更多知識。如果覺得文章不錯(cuò)，可以把它分享出去讓更多的人看到。