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