Skip to content

Commit 814d1e1

Browse files
bwbushbwbush
authored
Initial Haskell vs Rust comparison for Linear Leios (#478)
* Rough cut at haskell vs rust experiment on linear leios * Analysis in jupyter notebook * Updated logbook
1 parent 6d8619c commit 814d1e1

File tree

15 files changed

+2462
-0
lines changed

15 files changed

+2462
-0
lines changed

‎Logbook.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,11 @@
11
# Leios logbook
22

3+
## 2025-08-01
4+
5+
### Comparison of Haskell and Rust simulations of Linear Leios
6+
7+
The Juypter notebook [analysis/sims/2025w31b/analysis.ipynb](analysis/sims/2025w31b/analysis.ipynb) compares the early draft of the Haskell simulator for Linear Leios to the more mature Rust simulator. Discrepancies related to CPU usage, network usage, and vote diffusion [are being investigated](https://github.com/input-output-hk/ouroboros-leios/pull/466).
8+
39
## 2025-07-30
410

511
### Experiment varying stage length in "No IBs" Leios

‎analysis/sims/2025w31b/analysis.ipynb

Lines changed: 1805 additions & 0 deletions
Large diffs are not rendered by default.

‎analysis/sims/2025w31b/combine-results.sh

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
#!/usr/bin/env nix-shell
2+
#!nix-shell -i bash -p gnused gzip pigz "rWrapper.override { packages = with rPackages; [ data_table R_utils bit64 ggplot2 magrittr stringr ]; }"
3+
4+
set -e
5+
6+
mkdir -p results/$d
7+
for f in lifecycle resources receipts cpus sizes
8+
do
9+
DIR=$(find experiments -type f -name $f.csv.gz \( -not -empty \) -printf %h\\n -quit)
10+
HL=$(sed -n -e '1p' "$DIR/case.csv")
11+
HR=$(zcat "$DIR/$f.csv.gz" | sed -n -e '1p')
12+
if [[ "$f" == "lifecycle" || "$f" == "resources" || "$f" == "sizes" ]]
13+
then
14+
FRACT=1.00
15+
else
16+
FRACT=1.00
17+
fi
18+
(
19+
echo "$HL,$HR"
20+
for g in $(find experiments -type f -name $f.csv.gz \( -not -empty \) -printf %h\\n)
21+
do
22+
if [ ! -e "$g/stderr" ]
23+
then
24+
echo "Skipping $g because it has no stderr." >> /dev/stderr
25+
elif [ -s "$g/stderr" ]
26+
then
27+
echo "Skipping $g because its stderr is not empty." >> /dev/stderr
28+
else
29+
BL=$(sed -n -e '2p' "$g/case.csv")
30+
zcat "$g/$f.csv.gz" | gawk 'FNR > 1 && rand() <= '"$FRACT"' { print "'"$BL"'" "," $0}'
31+
fi
32+
done
33+
) | pigz -p 3 -9c > results/$f.csv.gz
34+
R --vanilla << EOI > /dev/null
35+
require(data.table)
36+
sampleSize <- $FRACT
37+
print(sampleSize)
38+
$f <- fread("results/$f.csv.gz", stringsAsFactors=TRUE)
39+
save($f, sampleSize, file="results/$f.Rdata", compression_level=9)
40+
EOI
41+
done

‎analysis/sims/2025w31b/experiments.list

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
experiments/Haskell/run.sh
2+
experiments/Rust/run.sh

‎analysis/sims/2025w31b/experiments/Haskell/case.csv

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
Simulator,Variant,Network,Bandwidth,Stage length,EB rate,Max EB size,Tx size,Throughput,Tx start [s],Tx stop [s],Sim stop [s]
2+
Haskell,linear,topo-default-100,50 Mb/s,8 slot/stage,2.5 EB/stage,10 MB/EB,0 B/Tx,0.150 TxMB/s,0,1200,1200

‎analysis/sims/2025w31b/experiments/Haskell/config.yaml

Lines changed: 93 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,93 @@
1+
{
2+
"relay-strategy": "request-from-first",
3+
"tcp-congestion-control": true,
4+
"multiplex-mini-protocols": true,
5+
"simulate-transactions": false,
6+
"treat-blocks-as-full": false,
7+
"cleanup-policies": [
8+
"cleanup-expired-vote"
9+
],
10+
"timestamp-resolution-ms": 0.1,
11+
"leios-variant": "linear",
12+
"linear-vote-stage-length-slots": 8,
13+
"linear-diffuse-stage-length-slots": 8,
14+
"leios-stage-length-slots": 8,
15+
"leios-stage-active-voting-slots": 1,
16+
"leios-vote-send-recv-stages": false,
17+
"leios-late-ib-inclusion": true,
18+
"leios-header-diffusion-time-ms": 1000.0,
19+
"leios-mempool-sampling-strategy": "ordered-by-id",
20+
"leios-mempool-aggressive-pruning": true,
21+
"praos-chain-quality": 100,
22+
"praos-fallback-enabled": true,
23+
"tx-generation-distribution": {
24+
"distribution": "constant",
25+
"value": 0
26+
},
27+
"tx-size-bytes-distribution": {
28+
"distribution": "constant",
29+
"value": 0
30+
},
31+
"tx-conflict-fraction": 0,
32+
"tx-overcollateralization-factor-distribution": {
33+
"distribution": "constant",
34+
"value": 0
35+
},
36+
"tx-validation-cpu-time-ms": 0.065,
37+
"tx-max-size-bytes": 16384,
38+
"tx-start-time": 0,
39+
"tx-stop-time": 1200,
40+
"rb-generation-probability": 0.05,
41+
"rb-head-size-bytes": 1024,
42+
"rb-body-max-size-bytes": 90112,
43+
"rb-generation-cpu-time-ms": 1.0,
44+
"rb-head-validation-cpu-time-ms": 1.0,
45+
"rb-body-legacy-praos-payload-avg-size-bytes": 0,
46+
"rb-body-legacy-praos-payload-validation-cpu-time-ms-constant": 50.0,
47+
"rb-body-legacy-praos-payload-validation-cpu-time-ms-per-byte": 0.0005,
48+
"ib-generation-probability": 2.0,
49+
"ib-shards": 1,
50+
"ib-shard-period-length-slots": 1,
51+
"ib-shard-group-count": 1,
52+
"ib-head-size-bytes": 304,
53+
"ib-body-avg-size-bytes": 98304,
54+
"ib-body-max-size-bytes": 262144,
55+
"ib-generation-cpu-time-ms": 130.0,
56+
"ib-head-validation-cpu-time-ms": 1.0,
57+
"ib-body-validation-cpu-time-ms-constant": 50.0,
58+
"ib-body-validation-cpu-time-ms-per-byte": 0.0005,
59+
"ib-diffusion-strategy": "freshest-first",
60+
"ib-diffusion-max-bodies-to-request": 1,
61+
"ib-diffusion-max-headers-to-request": 100,
62+
"ib-diffusion-max-window-size": 100,
63+
"eb-generation-probability": 2.5,
64+
"eb-size-bytes-constant": 240,
65+
"eb-size-bytes-per-ib": 32,
66+
"eb-generation-cpu-time-ms": 75.0,
67+
"eb-validation-cpu-time-ms": 1.0,
68+
"eb-diffusion-strategy": "peer-order",
69+
"eb-diffusion-max-bodies-to-request": 1,
70+
"eb-diffusion-max-headers-to-request": 100,
71+
"eb-diffusion-max-window-size": 100,
72+
"eb-max-age-slots": 240,
73+
"eb-max-age-for-relay-slots": 40,
74+
"eb-referenced-txs-max-size-bytes": 10000000,
75+
"eb-body-avg-size-bytes": 10000000,
76+
"vote-generation-probability": 500.0,
77+
"vote-threshold": 300,
78+
"vote-generation-cpu-time-ms-constant": 0.164,
79+
"vote-generation-cpu-time-ms-per-ib": 0,
80+
"vote-validation-cpu-time-ms": 0.816,
81+
"vote-bundle-size-bytes-constant": 0,
82+
"vote-bundle-size-bytes-per-eb": 105,
83+
"vote-diffusion-strategy": "peer-order",
84+
"vote-diffusion-max-bodies-to-request": 1,
85+
"vote-diffusion-max-headers-to-request": 100,
86+
"vote-diffusion-max-window-size": 100,
87+
"cert-size-bytes-constant": 7168,
88+
"cert-size-bytes-per-node": 0,
89+
"cert-generation-cpu-time-ms-constant": 90.0,
90+
"cert-generation-cpu-time-ms-per-node": 0,
91+
"cert-validation-cpu-time-ms-constant": 130.0,
92+
"cert-validation-cpu-time-ms-per-node": 0
93+
}

‎analysis/sims/2025w31b/experiments/Haskell/run.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
../run.sh

‎analysis/sims/2025w31b/experiments/Rust/case.csv

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
Simulator,Variant,Network,Bandwidth,Stage length,EB rate,Max EB size,Tx size,Throughput,Tx start [s],Tx stop [s],Sim stop [s]
2+
Rust,linear,topo-default-100,50 Mb/s,8 slot/stage,2.5 EB/stage,10 MB/EB,0 B/Tx,0.150 TxMB/s,0,1200,1200

‎analysis/sims/2025w31b/experiments/Rust/config.yaml

Lines changed: 93 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,93 @@
1+
{
2+
"relay-strategy": "request-from-first",
3+
"tcp-congestion-control": true,
4+
"multiplex-mini-protocols": true,
5+
"simulate-transactions": false,
6+
"treat-blocks-as-full": false,
7+
"cleanup-policies": [
8+
"cleanup-expired-vote"
9+
],
10+
"timestamp-resolution-ms": 0.1,
11+
"leios-variant": "linear",
12+
"linear-vote-stage-length-slots": 8,
13+
"linear-diffuse-stage-length-slots": 8,
14+
"leios-stage-length-slots": 8,
15+
"leios-stage-active-voting-slots": 1,
16+
"leios-vote-send-recv-stages": false,
17+
"leios-late-ib-inclusion": true,
18+
"leios-header-diffusion-time-ms": 1000.0,
19+
"leios-mempool-sampling-strategy": "ordered-by-id",
20+
"leios-mempool-aggressive-pruning": true,
21+
"praos-chain-quality": 100,
22+
"praos-fallback-enabled": true,
23+
"tx-generation-distribution": {
24+
"distribution": "constant",
25+
"value": 0
26+
},
27+
"tx-size-bytes-distribution": {
28+
"distribution": "constant",
29+
"value": 0
30+
},
31+
"tx-conflict-fraction": 0,
32+
"tx-overcollateralization-factor-distribution": {
33+
"distribution": "constant",
34+
"value": 0
35+
},
36+
"tx-validation-cpu-time-ms": 0.065,
37+
"tx-max-size-bytes": 16384,
38+
"tx-start-time": 0,
39+
"tx-stop-time": 1200,
40+
"rb-generation-probability": 0.05,
41+
"rb-head-size-bytes": 1024,
42+
"rb-body-max-size-bytes": 90112,
43+
"rb-generation-cpu-time-ms": 1.0,
44+
"rb-head-validation-cpu-time-ms": 1.0,
45+
"rb-body-legacy-praos-payload-avg-size-bytes": 0,
46+
"rb-body-legacy-praos-payload-validation-cpu-time-ms-constant": 50.0,
47+
"rb-body-legacy-praos-payload-validation-cpu-time-ms-per-byte": 0.0005,
48+
"ib-generation-probability": 2.0,
49+
"ib-shards": 1,
50+
"ib-shard-period-length-slots": 1,
51+
"ib-shard-group-count": 1,
52+
"ib-head-size-bytes": 304,
53+
"ib-body-avg-size-bytes": 98304,
54+
"ib-body-max-size-bytes": 262144,
55+
"ib-generation-cpu-time-ms": 130.0,
56+
"ib-head-validation-cpu-time-ms": 1.0,
57+
"ib-body-validation-cpu-time-ms-constant": 50.0,
58+
"ib-body-validation-cpu-time-ms-per-byte": 0.0005,
59+
"ib-diffusion-strategy": "freshest-first",
60+
"ib-diffusion-max-bodies-to-request": 1,
61+
"ib-diffusion-max-headers-to-request": 100,
62+
"ib-diffusion-max-window-size": 100,
63+
"eb-generation-probability": 2.5,
64+
"eb-size-bytes-constant": 240,
65+
"eb-size-bytes-per-ib": 32,
66+
"eb-generation-cpu-time-ms": 75.0,
67+
"eb-validation-cpu-time-ms": 1.0,
68+
"eb-diffusion-strategy": "peer-order",
69+
"eb-diffusion-max-bodies-to-request": 1,
70+
"eb-diffusion-max-headers-to-request": 100,
71+
"eb-diffusion-max-window-size": 100,
72+
"eb-max-age-slots": 240,
73+
"eb-max-age-for-relay-slots": 40,
74+
"eb-referenced-txs-max-size-bytes": 10000000,
75+
"eb-body-avg-size-bytes": 10000000,
76+
"vote-generation-probability": 500.0,
77+
"vote-threshold": 300,
78+
"vote-generation-cpu-time-ms-constant": 0.164,
79+
"vote-generation-cpu-time-ms-per-ib": 0,
80+
"vote-validation-cpu-time-ms": 0.816,
81+
"vote-bundle-size-bytes-constant": 0,
82+
"vote-bundle-size-bytes-per-eb": 105,
83+
"vote-diffusion-strategy": "peer-order",
84+
"vote-diffusion-max-bodies-to-request": 1,
85+
"vote-diffusion-max-headers-to-request": 100,
86+
"vote-diffusion-max-window-size": 100,
87+
"cert-size-bytes-constant": 7168,
88+
"cert-size-bytes-per-node": 0,
89+
"cert-generation-cpu-time-ms-constant": 90.0,
90+
"cert-generation-cpu-time-ms-per-node": 0,
91+
"cert-validation-cpu-time-ms-constant": 130.0,
92+
"cert-validation-cpu-time-ms-per-node": 0
93+
}

‎analysis/sims/2025w31b/experiments/Rust/run.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
../run.sh

0 commit comments

Comments
 (0)