comparison final_pre/images/paxos.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 Paxos1
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 proposer2 -> acceptor1:Prepare request \n\
37 Proposal(8, 2)
38 proposer2 -> acceptor2
39 proposer2 -> acceptor3
40
41 acceptor1 --> proposer2:Promise Success\n\
42 Proposal(8, 2)
43 acceptor2 --> proposer2:Promise Success\n\
44 Proposal(8, 2)
45 acceptor3 --> proposer2:Promise Success\n\
46 Proposal(8, 2)
47
48 proposer1 -> acceptor1:Prepare request \n\
49 Proposal(7, 1)
50 proposer1 -> acceptor2
51 proposer1 -> acceptor3
52
53 acceptor1 --> proposer1:Promise Fail\n\
54 Proposal(8, 2)
55 acceptor2 --> proposer1
56 acceptor3 --> proposer1
57
58 proposer2 -> acceptor1:Accept request \n\
59 Proposal(8, 2)
60 proposer2 -> acceptor2
61 proposer2 -> acceptor3
62
63 acceptor2 --> proposer2:Accept \n\
64 Proposal(8, 2)
65 acceptor2 --> learner1:accept \n\
66 Proposal(8, 2)
67
68 proposer1 -> acceptor1:Prepare request \n\
69 Proposal(13, 1)
70 proposer1 -> acceptor2
71 proposer1 -> acceptor3
72
73 acceptor1 --> proposer1:Promise Success\n\
74 Proposal(13, 1)
75 acceptor3 --> proposer1:Promise Success\n\
76 Proposal(13, 1)
77
78 acceptor1 --> proposer2:Accept Fail\n\
79 Proposal(13, 1)
80 acceptor3 --> proposer2:Accept Fail\n\
81 Proposal(13, 1)
82 proposer1 -> acceptor1:accept request \n\
83 Proposal(13, 1)
84 proposer1 -> acceptor2
85 proposer1 -> acceptor3
86
87
88 acceptor2 --> proposer1:accept \n\
89 Proposal(13, 1)
90 acceptor2 --> learner1:accept \n\
91 Proposal(13, 1)
92
93
94
95 @enduml