diff final_pre/images/paxos2.pu @ 13:117794d50054

update
author akahori
date Tue, 19 Feb 2019 21:49:55 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/final_pre/images/paxos2.pu	Tue Feb 19 21:49:55 2019 +0900
@@ -0,0 +1,116 @@
+@startuml
+title Paxos 2
+/' ======= style ======= '/
+
+skinparam sequence {
+ArrowColor black
+LifeLineBorderColor black
+
+ParticipantBorderColor black
+ParticipantBackgroundColor white
+ParticipantPadding 20
+}
+
+/' ======= node name ======= '/
+
+/' === proposers === '/
+participant proposer1
+activate proposer1
+participant proposer2
+activate proposer2
+
+/' === acceptors === '/
+participant acceptor1
+activate acceptor1
+participant acceptor2
+activate acceptor2
+participant acceptor3
+activate acceptor3
+
+/' === learners === '/
+participant learner1
+activate learner1
+
+/' ======= uml ======= '/
+
+proposer1 -> acceptor1:Prepare request \n\
+Proposal(7, 1)
+proposer1 -> acceptor2
+proposer1 -> acceptor3
+
+acceptor1 --> proposer1:Promise Success\n\
+Proposal(7, 1)
+acceptor2 --> proposer1
+acceptor3 --> proposer1
+
+proposer2 -> acceptor1:Prepare request \n\
+Proposal(8, 2)
+proposer2 -> acceptor2
+proposer2 -> acceptor3
+
+acceptor1 --> proposer2:Promise Success\n\
+Proposal(8, 2)
+acceptor2 --> proposer2
+acceptor3 --> proposer2
+
+proposer1 -> acceptor1:Accept request \n\
+Proposal(7, 1)
+proposer1 -> acceptor2
+proposer1 -> acceptor3
+
+
+
+acceptor1 --> proposer1:Accept Fail\n\
+Proposal(8, 2)
+acceptor2 --> proposer1
+acceptor3 --> proposer1
+
+
+proposer2 -> acceptor2:Accept request \n\
+Proposal(8, 2)
+
+acceptor2 --> proposer2:Accept \n\
+Proposal(8, 2)
+acceptor2 -> learner1:Accept \n\
+Proposal(8, 2)
+
+proposer1 -> acceptor1:Prepare request \n\
+Proposal(13, 1)
+proposer1 -> acceptor2
+proposer1 -> acceptor3
+
+acceptor2 --> proposer1:Promise Success\n\
+But Accepted \n\
+Proposal(8, 2)
+acceptor1 --> proposer1:Promise Success\n\
+Proposal(13, 1)
+acceptor3 --> proposer1
+
+proposer2 -> acceptor1:Accept request \n\
+Proposal(8, 2)
+proposer2 -> acceptor3
+
+acceptor1 --> proposer2:Accept Fail\n\
+Proposal(8, 2)
+acceptor3 --> proposer2
+
+proposer1 -> acceptor1:Accept request \n\
+Proposal(13, 2)
+proposer1 -> acceptor2
+proposer1 -> acceptor3
+
+acceptor1 --> proposer2:Accept \n\
+Proposal(13, 2)
+acceptor1 -> learner1:Accept \n\
+Proposal(13, 2)
+
+
+acceptor2 --> proposer2:Accept \n\
+Proposal(13, 2)
+acceptor2 -> learner1:Accept \n\
+Proposal(13, 2)
+
+learner1 -> learner1:chosen \n\
+Proposal(13, 2)
+
+@enduml
\ No newline at end of file