logos-blockchain/logos-blockchain-specs
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-specs.git synced 2026-01-07 23:53:11 +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:15:48 -07:00
parent 37741364e4
commit 42a23d6a7b
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
carnot/carnot.py
View File

@ -325,7 +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.
# This condition makes sure a node waits for timeout_qc from root committee to change increment its view with
# a view change.
# A node must change its view after making sure it has the high_Qc or last_timeout_view_qc
# from previous 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)