Mercurial > hg > Papers > 2019 > ikki-sigos

annotate images/paxos1.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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 @startuml
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 title Paxos 1
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 /' ======= style ======= '/
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 skinparam sequence {
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 ArrowColor black
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 LifeLineBorderColor black
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 ParticipantBorderColor black
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 ParticipantBackgroundColor white
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 ParticipantPadding 20
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 }
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 /' ======= node name ======= '/
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 /' === proposers === '/
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 participant proposer1
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 activate proposer1
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 participant proposer2
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 activate proposer2
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 /' === acceptors === '/
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 participant acceptor1
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 activate acceptor1
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 participant acceptor2
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 activate acceptor2
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 participant acceptor3
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 activate acceptor3
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 /' === learners === '/
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 participant learner1
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 activate learner1
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 /' ======= uml ======= '/
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 proposer1 -> acceptor1:Prepare request \n\
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 Proposal(7, 1)
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 proposer1 -> acceptor2
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 proposer1 -> acceptor3
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 acceptor1 --> proposer1:Promise Success\n\
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 Proposal(7, 1)
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 acceptor2 --> proposer1
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 acceptor3 --> proposer1
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 proposer2 -> acceptor1:Prepare request \n\
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 Proposal(8, 2)
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 proposer2 -> acceptor2
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 proposer2 -> acceptor3
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 acceptor1 --> proposer2:Promise Success\n\
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 Proposal(8, 2)
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 acceptor2 --> proposer2
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 acceptor3 --> proposer2
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 proposer2 -> acceptor1:Accept request \n\
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 Proposal(8, 2)
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 proposer2 -> acceptor2
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 proposer2 -> acceptor3
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 acceptor1 --> proposer2:Accept \n\
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 Proposal(8, 2)
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 acceptor1 -> learner1:Accept \n\
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 Proposal(8, 2)
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 acceptor2 --> proposer2:Accept \n\
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 Proposal(8, 2)
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 acceptor2 -> learner1:Accept \n\
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 Proposal(8, 2)
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 learner1 -> learner1:chosen \n\
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 Proposal(8, 2)
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73
f0c06489da13 initial commit
ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 @enduml