logos-co
/
nomos-specs
mirror of https://github.com/logos-co/nomos-specs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Timeout_qc & sync_Msg

This commit is contained in:
mjalalzai 2023-03-23 23:38:35 -07:00
parent e6c607cf3f
commit 17d19efe51
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
carnot/spec.md
View File

@ -454,14 +454,20 @@ def receive(timeout_qc: Timeout_qc):
#Recalculate New Overlay
if member_of_Leaf():
create_sync_Msg (CURRENT_VIEW,Timeout_qc)
sync_Msg = create_sync_Msg (CURRENT_VIEW, high_qc, high_committed_qc)
send(sync_Msg, parent_committee())
# else:
# send(timeout_qc, parent_committee())
```
```python3
def receive(sync_Msg: Sync_Msg):
pass
if sync_Msg.qc.view>high_qc.view:
high_qc=sync_Msg.qc
if sync_Msg.committed_qc.view>high_committed_qc.view:
high_committed_qc=sync_Msg.committed_qc
Pending_sync_Msgs[sync_Msg.view]
```