[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Several detailed questions about Paxos algorithm



I'm sorry if here is not the right place for such question, but I didn't manage to find an online Paxos leaner group.

----

https://en.wikipedia.org/wiki/Paxos_(computer_science)#Network

Q1:

Does it really necessary for Paxos algorithm to handle message duplication when we already have TCP (to avoid such duplication)? If all the RPC (prepare and accept) in a Paxos group is implemented with TCP then such "message duplication" assumption could be removed from Paxos network assumption. Is it correct?

Q2:

To be clear, the meaning of "message duplication" in the Paxos network assumption I understand is like below:

  When proposer1 send one Prepare(e0) request to acceptor1 then acceptor1 may receive two Prepare(e0) requests because the msg duplication problem and the response from acceptor1 to proposer1 could be 4 or even more.

  Proposer1->P(e0)->                                                     Acceptor1

  Proposer1                                         ->P(e0)->P(e0)->Acceptor1

  Proposer1                                    <-Reply1<-Reply0<-Acceptor1

  Proposer1<-Reply1<-Reply0<-Reply1<-Reply0<-        Acceptor1

----

Is my understanding of "msg duplication" in Paxos network assumption is correct?

Thank very much for your patience and help.

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/f20b80d0-241f-4d49-8bc4-2b5ee53abb86%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.