您好,登錄后才能下訂單哦!
這篇文章將為大家詳細講解有關什么是paxos協議,文章內容質量較高,因此小編分享給大家做個參考,希望大家閱讀完這篇文章后對相關知識有一定的了解。
解決問題:在消息有可能丟失的情況下,如何保證多個提出者(Proposer)和多個接收者(Acceptor)最終得到一個一致的提案。
理論要求:
1.一個acceptor必須批準他的第一個提案
2.存在一個超過半數acceptor的集合s,要么s沒有批準過,要么s批準過提案中,最大編號小于Mn,值為Vn,那么提案[Mn,Vn]才會被批準
Acceptor工作流程:
1.如果Acceptor提出的prepared的Mn比他批準過的大,則他不再接收小于Mn的版本號,但是會批準大于Mn的。并且返回小于Mn的已經批準的最大版本號的值value
Proposer工作流程:
1.向所有Acceptor發送prepared請求,如果收到過半以上響應,則進行下一步。
2.如果收到的響應中已經有了value值,則只能選取版本號最高的value值作為自己提出提案的value。如果沒有value,則可以任意選取。
優化:
1.leanrer也是一個集群,如果learner與acceptor都有連接,則通信次數會過多,如果learner只有一個,又容易掛掉。那么最優解為選取一部分learner作為集群。
2.會出現這樣的情況,p1進行prepared的時候,acceptor批準,在它提交提案過程中,acceptor又prepare了更高的版本號,導致他的提案被忽略,產生“活鎖”。所以解決方法為使用單個的Proposer。
關于什么是paxos協議就分享到這里了,希望以上內容可以對大家有一定的幫助,可以學到更多知識。如果覺得文章不錯,可以把它分享出去讓更多的人看到。
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。