blob: d88a555c389b9b7eed3bd7aa6b58c2ef448e0499 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
## Simple Paxos
#### Python implementation of the [Part-time Parliament](https://dl.acm.org/citation.cfm?id=279229) consensus system used on the Greek island of Paxos, found during extensive archeological digs by L. Lamport
#### Documentation ripped from code
##### Formats
###### Ledger format
ballot number, decree
n,d
###### Messagebook format
(priests will track these for changes by messengers)
from,code,ballot,decree
n,1/2/3,(voted at) ballot_number, (voted for) decree
voted_at_ballot: responding to next_ballot from priests
decree decree voted at
codes (to leader):
1: last vote
2: vote: yes
3: vote: no
codes (from leader):
1: next ballot
2: begin ballot
3: succesful ballot
4: failed ballot
##### Misc
###### Sequence of function writing (follow this when evaluating):
- skeleton
- priest init
- leader_main
- god init
- leader.next_ballot
- messenger init
- leader.messenger.send_next_ballot
- priest_main
- priest.messenger.send_last_vote
- leader.begin_ballot
- leader.messenger.send_begin_ballot
- priest.vote
- priest.messenger.send_vote
- leader.evaluate
- messenger.send_message (condensed messenger)
###### TODO
- multiple god instance support
- actually satisfy B1
###### TODO future:
- split classes into different files for readability
- implement priest promise after lastvote (one idea: priest send a message to himself. this would require a new field in messagebook: 'outgoing/self')
###### TODO far future:
- change communications between priests to socket communications instead of file io
##### God
- paxons are very religious; god controls anything and everything
- literally creates priests ie initializes the objects
##### Messenger
- messenger relays messages to and from the leader and the priest
she accomplishes this by tracking the priests' ledger files for changes
- each priest (including the leader) has a personal messenger (instance)
##### Priest
- priests are present (or not present) and vote (or not vote) for ballots proposed by the leader
- they record all ballots they have participated in in individual ledger files
|
