Mercurial > hg > Papers > 2019 > ikki-sigos

comparison images/paxos3.pu @ 0:f0c06489da13

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
initial commit
author ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
date Tue, 07 May 2019 22:11:05 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:f0c06489da13
1 @startuml
2 title Paxos 3
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 proposer1 -> acceptor3:Accept Request \n\
47 Proposal(7, 1)
48 acceptor3 --> proposer1: Accept \n\
49 Proposal(7,1)
50 acceptor3 -> learner1:Accept \n\
51 Proposal(7, 1)
52
53
54 proposer2 -> acceptor1:Prepare request \n\
55 Proposal(8, 2)
56 proposer2 -> acceptor2
57 proposer2 -> acceptor3
58
59 acceptor1 --> proposer2:Promise Success\n\
60 Proposal(8, 2)
61 acceptor2 --> proposer2
62 acceptor3 --> proposer2:Promise Success \n\
63 But Accepted \n\
64 Proposal(7, 1)
65
66 proposer1 -> acceptor1:Accept request \n\
67 Proposal(7, 1)
68 proposer1 -> acceptor2
69
70 acceptor1 --> proposer1:Accept Fail\n\
71 Promised \n\
72 Proposal(8, 2)
73 acceptor2 --> proposer1
74
75
76 proposer1 -> acceptor1:Prepare request \n\
77 Proposal(13, 1)
78 proposer1 -> acceptor2
79 proposer1 -> acceptor3
80
81 acceptor1 --> proposer1:Promise Success\n\
82 Proposal(13, 1)
83 acceptor2 --> proposer1
84 acceptor3 --> proposer1
85
86
87 proposer1 -> acceptor1:Accept request \n\
88 Proposal(13, 1)
89 proposer1 -> acceptor2
90 proposer1 -> acceptor3
91
92 acceptor1 --> proposer1:Accept \n\
93 Proposal(13, 1)
94 acceptor1 -> learner1:Accept \n\
95 Proposal(13, 1)
96
97 acceptor2 --> proposer1:Accept \n\
98 Proposal(13, 1)
99 acceptor2 -> learner1:Accept \n\
100 Proposal(13, 1)
101
102
103
104 acceptor3 --> proposer1:Accept \n\
105 Proposal(13, 1)
106 acceptor3 -> learner1:Accept \n\
107 Proposal(13, 1)
108
109 learner1 -> learner1:chosen \n\
110 Proposal(13, 1)
111
112 @enduml