Merge remote-tracking branch 'origin/timers'

assignment2/timers.py

+from assignment2.message import P1A, P2A
+from assignment2.paxos import BallotNumber
+
+
+class Timer:
+    def __init__(self) -> None:
+        pass
+
+    def __str__(self) -> str:
+        return f"timer: {self.__class__.__name__}"
+
+
+class P2ATimer(Timer):
+    P2A_RETRY_MILLIS = 100
+
+    def __init__(self, p2a: P2A) -> None:
+        super().__init__()
+        self.p2a: P2A = p2a
+
+
+class HeartBeatTimer(Timer):
+    HEARTBEAT_RETRY_MILLIS = 20
+
+    def __init__(self) -> None:
+        super().__init__()
+
+
+class HeartBeatCheckTimer(Timer):
+    HEARTBEAT_CHECK_RETRY_MILLIS = 100
+
+    def __init__(self, ballot: BallotNumber) -> None:
+        super().__init__()
+        self.ballot: BallotNumber = ballot
+
+
+class LeaderElectionTimer(Timer):
+    LEADER_ELECTION_TIMER = 50
+
+    def __init__(self, p1a: P1A) -> None:
+        super().__init__()
+        self.p1a: P1A = p1a
+