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