Paxos简介
一、paxos是什么
paxos協議是一個解決分布式系中,多個節點之間,就某個值(提案)達成一致(決議)的通信協議。它能夠處理在少數節點離線的情況下,剩余的多數節點仍能夠達成一致。
二、paxos簡介
paxos時一個兩段協議,分為prepare階段和accept階段該協議涉及兩個參與角色:proposer(提議提案的服務器)和acceptor(批準提案的服務器)。二者在屋里上可以是同一臺機器。
三、prepare階段
(1)prepare階段1:proposer發送prepare
proposer生成一個全局唯一,且遞增的提案的ID,向paxos集群的所有機器發送請求,這里無須攜帶提案的內容,之提供提案的ID即可(且把提案ID叫做Pn)
(2)prepare階段2:acceptor答應prepare
Acceptor收到提案請求后,做出以下約定:
--不再應答 <= Pn的Prepare請求;
--對于 < Pn的請求亦不處理
Acceptor做的處理包括:
--在應答前要在本地持久化當前提案ID
--如果現在請求的ID也就是Pn大于此前存放的proposalID,則做以下邏輯;
If Pn>proposalID then proposalID =pn
如果該Acceptor Accept 過的提案,則返回proposalID最大的那個提案的內容,否則返回空值
四、accept階段
(1)accept階段1:proposer發送accept
proposer收到多數派應答(超過n/2+1,n時集群數)prepare階段的返回值后,從中選擇proposalID最大的提案內容,作為要發起ACCEPT的提案,如果這個提案為空,則可以自己隨意決定提案內容。然后攜帶當前proposalID向paxos集群的所有機器發送Accept請求。
(2)accept階段2:acceptor應答accept
Acceptor收到請求后,檢查不違背自己之前做出約定的情況下,持久化當前Proposal和提案內容。最后收集到多數派應答的Accept回復之后,形成決議。
總結
- 上一篇: LeetCode:155. 最小栈
- 下一篇: Linux显示某文件中有关某字符串的信息