Geek asks and answers

Paxos - Can Someone Explain Accept Post with Example

I read this post on Paxos choosing the paxos value but still I don't know. Suppose we start Paxos for the first time, and Proposer sends a Prepare and Respondents response with (null, null), because they did not recognize any value, and therefore Proposer agrees to its own value and sends it to the accepting acceptors. The thing that baffles me is when Proposer received Promise-acks and he needs to send a “Receive” message:

If any Acceptors have previously accepted an offer, they will send their values ​​to the offer, which should now set the value of their offer to the value associated with the highest offer number reported by Acceptors. (from Wikipedia)

I do not understand this. What is the meaning of the choice of “value associated with the highest offer number reported by acceptors”? Can someone explain this with an example?

+1
source share
1 answer

/ , , , . Paxos . ( , ). , .

, () , accept (). (), , . , . , -. , . , , .

Paul            Alice Adam Art            Peggy
 |-propose(1)--->|---->|--->|
 |<----ack(_,_)--|-----|----|
 |-accept(A,1)-->|---->|    X               +
 X               |<----|<---|<---propose(2)-|
                 X     |------ack(A,1)----->|
                            |-ack(_,_)----->|
                 |<----|<---|<--accept(A,2)-|
                 |-----|----|-ack---------->|

, : Peggy ; Acceptors.

, , . , . , .

( , , , .)

, make-ack: (A, 1) (B, 2). .

  • (B, 2) , ack'd (2),
  • , A ( ), accept (A, 1).
  • (B, 2) , B . , accept-acks.

. .

?

. Paxos, , : . ; Paxos ; . Paxos .

.

?

-, , [ ceil( N/2 )]. , ceil( N/2 ) - 1 . .

, , . , , . , ( ) , .

Peggy , , ?

, , . , , ; ( ).

+2

More articles:


All Articles