Skip to content
Snippets Groups Projects
Select Git revision
  • optimization
  • multi-propose
  • main default protected
  • otherdebug
  • debug-pickle
  • test
  • new_main
  • handlers
  • testing
  • timers
  • messages
  • 333-basic-server
12 results
Blame History Permalink
message.py 4.61 KiB
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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118 






from typing import Dict
from paxos_utils import Address, BallotValuePair, BallotNumber
from typing import List


class Message:
    def __init__(self, addr: Address) -> None:
        self.addr: Address = addr  # address of sender

    def __str__(self) -> str:
        return f"addr: {str(self.addr)}"


class LeaderHeartbeat(Message):
    def __init__(self, addr: Address, log: Dict[int, BallotValuePair], ballot_num: BallotNumber, leader_slot: List[bool]) -> None:
        super().__init__(addr)
        self.log: Dict[int, BallotValuePair] = log
        self.ballot_num: BallotNumber = ballot_num
        self.leader_slot: List[bool] = leader_slot # for example, [False, True, False] means that we believe we are the leader for 2nd slot only. etc.

    def __str__(self) -> str:
        return f"LeaderHeartbeat({super().__str__()}, {str(self.ballot_num)}, log: {self.log}, leader_slot: {str(self.leader_slot)})"

class P1A(Message):
    def __init__(self, addr: Address, ballot_num: BallotNumber, leader_slot: int) -> None:
        super().__init__(addr)
        # ballot_num is a BallotNumber
        # leader_slot is an int. It is the slot we are trying to become the leader of. 
        # Let n be the number of paxos nodes, then 0 <= leader_slot < n. 
        # To clarify, If leader_slot is 1, then we give this new leader slot 1, 1+n, 1+2n, ... if their revoke attempt is successful
        self.ballot_num: BallotNumber = ballot_num
        self.leader_slot: int = leader_slot

    def __str__(self) -> str:
        return f"P1A({super().__str__()}, {str(self.ballot_num)}, leader_slot: {str(self.leader_slot)})"


class P1B(Message):
    def __init__(self, addr: Address, accepted_ballot: BallotNumber, accepted: Dict[int, BallotValuePair], leader_slot: int) -> None:
        super().__init__(addr)
        # accepted_ballot is a BallotNumber
        # accepted is a dict from int to BallotValuePair
        self.accepted_ballot: BallotNumber = accepted_ballot
        self.accepted: Dict[int, BallotValuePair] = accepted
        self.leader_slot: int = leader_slot

    def __str__(self) -> str:
        return f"P1B({super().__str__()}, {str(self.accepted_ballot)}, {str(self.accepted)}, leader_slot: {str(self.leader_slot)})"

class Skip(Message):
    # Special propose for no-op, For now this is not used since Skip is using P2A with value = None
    def __init__(self, addr: Address, ballot_num: BallotNumber, slot_num: int) -> None:
        super().__init__(addr)
        # ballot is BallotNumber
        # slot_num is an int
        self.ballot_num: BallotNumber = ballot_num
        self.slot_num: int = slot_num

    def __str__(self) -> str:
        return f"Skip({super().__str__()}, {str(self.ballot_num)}, slot_num: {str(self.slot_num)})"

class P2A(Message):
    def __init__(self, addr: Address, ballot_num: BallotNumber, slot_num: int, value) -> None:
        super().__init__(addr)
        # ballot is BallotNumber
        # slot_num is an int
        # value is a PaxosRequest
        self.ballot_num: BallotNumber = ballot_num
        self.slot_num: int = slot_num
        self.value: PaxosRequest = value

    def __str__(self) -> str:
        return f"P2A({super().__str__()}, {str(self.ballot_num)}, slot_num: {str(self.slot_num)}, value: {str(self.value)})"


class P2B(Message):
    def __init__(self, addr: Address, ballot: BallotNumber, slot_num: int) -> None:
        super().__init__(addr)
        # ballot is BallotNumber
        # slot_num is an int
        self.ballot_num: BallotNumber = ballot
        self.slot_num: int = slot_num

    def __str__(self) -> str:
        return f"P2B({super().__str__()}, {str(self.ballot_num)}, slot_num: {str(self.slot_num)})"


class PaxosRequest(Message):
    def __init__(self, addr: Address, lock_command) -> None:
        super().__init__(addr)
        # lock_command is of type LockCommand
        self.lock_command: LockCommand = lock_command

    def __str__(self) -> str:
        return f"PaxosRequest({super().__str__()}, {str(self.lock_command)})"


class PaxosResult(Message):
    def __init__(self, addr: Address, value: bool, lock_command) -> None:
        super().__init__(addr)
        self.value: bool = value
        self.cmd: LockCommand = lock_command

    def __str__(self) -> str:
        return f"PaxosResult({super().__str__()}, value: {str(self.value)}, cmd: {str(self.cmd)})"


class LockCommand:
    def __init__(self, op, value, req_num) -> None:
        # op is either "lock" or "unlock"
        # value is value to lock (int)
        self.op = op
        self.value = value
        self.req_num = req_num

    def __str__(self) -> str:
        return f"LockCommand(op: {str(self.op)}, value: {str(self.value)})"