Mercurial > hg > Papers > 2019 > aka-thesis
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 |