logos-co/nomos-specs
1
0
Fork 0
mirror of https://github.com/logos-co/nomos-specs.git synced 2025-02-12 23:36:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make sure view changes are incrementally done in ascending order.

Browse Source
This commit is contained in:
mjalalzai 2023-04-04 18:09:29 -07:00
parent 4b2e6638d6
commit 37741364e4
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
carnot/carnot.py
View File

@ -325,9 +325,10 @@ class Carnot:
self.broadcast(block)
def local_timeout(self, new_overlay: Overlay):
# This condition makes sure a node waits for timeout_qc from root committee to change it's view.
assert (is_sequential_ascending(self.current_view, self.local_high_qc.view) or
is_sequential_ascending(self.current_view, self.last_timeout_view_qc.view))
self.increment_voted_view(self.current_view)
assert (is_sequential_ascending(self.current_view,self.local_high_qc.view) or
is_sequential_ascending(self.current_view,self.last_timeout_view_qc.view))
if self.overlay.member_of_root_committee(self.id) or self.overlay.child_of_root_committee(self.id):
timeout_msg: Timeout = Timeout(