From 809b818c646db717c2c322af1a4936b1e2f8bcc3 Mon Sep 17 00:00:00 2001 From: Andrea Vezzosi Date: Fri, 20 Dec 2024 09:38:38 +0100 Subject: [PATCH] updated Logbook --- Logbook.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/Logbook.md b/Logbook.md index 766403af..629961b9 100644 --- a/Logbook.md +++ b/Logbook.md @@ -1,5 +1,27 @@ # Leios logbook +## 2024-12-20 + +### Haskell simulation + +- Added support for bounded and unbounded parallesim to leios node. + - shot-leios-p2p-1 takes -N flag to control number of cores. + - visualization charts number of cores active at that time per node + - with unbounded parallelism we currently see spikes of even + 13 right after vote diffusion. + - TODO: consider whether an aggregate measure would improve readability. +- Fixed Relay protocol messages to always have size > 0 + - Probable cause of out of order delivery experienced + with pipelined peers. + - Simplified ChanTCP to use a simple queue, so ordered delivery is + guaranteed regardless of forecasted time. + +Next steps: +- Load protocol configuration from disk, and write out event log. +- Investigate low rate of EB inclusion in RB, and implementation + correctness more generally. +- Run larger leios p2p networks in simulation mode to collect metrics. + ## 2024-12-19 ### Revised analysis of votes and certificates