comparison final_pre/images/paxos1.pu @ 13:117794d50054

update
author akahori
date Tue, 19 Feb 2019 21:49:55 +0900
parents
children
comparison
equal deleted inserted replaced
12:2e843f65ac5f 13:117794d50054
1 @startuml
2 title Paxos 1
3 /' ======= style ======= '/
4
5 skinparam sequence {
6 ArrowColor black
7 LifeLineBorderColor black
8
9 ParticipantBorderColor black
10 ParticipantBackgroundColor white
11 ParticipantPadding 20
12 }
13
14 /' ======= node name ======= '/
15
16 /' === proposers === '/
17 participant proposer1
18 activate proposer1
19 participant proposer2
20 activate proposer2
21
22 /' === acceptors === '/
23 participant acceptor1
24 activate acceptor1
25 participant acceptor2
26 activate acceptor2
27 participant acceptor3
28 activate acceptor3
29
30 /' === learners === '/
31 participant learner1
32 activate learner1
33
34 /' ======= uml ======= '/
35
36 proposer1 -> acceptor1:Prepare request \n\
37 Proposal(7, 1)
38 proposer1 -> acceptor2
39 proposer1 -> acceptor3
40
41 acceptor1 --> proposer1:Promise Success\n\
42 Proposal(7, 1)
43 acceptor2 --> proposer1
44 acceptor3 --> proposer1
45
46 proposer2 -> acceptor1:Prepare request \n\
47 Proposal(8, 2)
48 proposer2 -> acceptor2
49 proposer2 -> acceptor3
50
51 acceptor1 --> proposer2:Promise Success\n\
52 Proposal(8, 2)
53 acceptor2 --> proposer2
54 acceptor3 --> proposer2
55
56 proposer2 -> acceptor1:Accept request \n\
57 Proposal(8, 2)
58 proposer2 -> acceptor2
59 proposer2 -> acceptor3
60
61 acceptor1 --> proposer2:Accept \n\
62 Proposal(8, 2)
63 acceptor1 -> learner1:Accept \n\
64 Proposal(8, 2)
65
66 acceptor2 --> proposer2:Accept \n\
67 Proposal(8, 2)
68 acceptor2 -> learner1:Accept \n\
69 Proposal(8, 2)
70
71 learner1 -> learner1:chosen \n\
72 Proposal(8, 2)
73
74 @enduml