Update sizes and timings in default config (#193)

* config.default.yaml: updated default sizes.

* config.default.yaml: updated default timings.

* simulation: updated in-code defaults

Author: Saizan

data/simulation/config.default.yaml

@@ -42,29 +42,54 @@ tx-max-size-bytes: 16384
 # Ranking Block Configuration
 ################################################################################
 
+# 1/leios-stage-length-slots, targeting one RB per pipeline.
+# Also 20s is current rate of praos blocks.
 rb-generation-probability: 5.0e-2
-rb-generation-cpu-time-ms: 300.0
-rb-head-validation-cpu-time-ms: 1.0
-rb-head-size-bytes: 32
+# Eng. team targets 1kB as worst case upper bound.
+# Actual size fairly close.
+rb-head-size-bytes: 1024
 rb-body-max-size-bytes: 90112
+# Note: certificate generation/validation is not included in the
+# timings here, see cert-* fields.
+rb-generation-cpu-time-ms: 1.0
+rb-head-validation-cpu-time-ms: 1.0
 
+# On average, no Txs directly embedded in blocks.
+rb-body-legacy-praos-payload-avg-size-bytes: 0
 rb-body-legacy-praos-payload-validation-cpu-time-ms-constant: 50.0
+# the -per-byte component is meant to be using size as a (bad)
+# proxy for the complexity of the Txs included.
 rb-body-legacy-praos-payload-validation-cpu-time-ms-per-byte: 0.0005
-rb-body-legacy-praos-payload-avg-size-bytes: 0
 
 ################################################################################
 # Input Block Configuration
 ################################################################################
 
 ib-generation-probability: 5.0
-ib-generation-cpu-time-ms: 300.0
 ib-shards: 1
-ib-head-size-bytes: 32
+
+# ProducerId  32
+# SlotNo      64
+# VRF proof   80
+# Body hash   32
+# RB Ref      32
+# Signature   64
+# Total       304
+#
+# NOTE: using a KES Signature (like for Praos headers)
+#       would instead more than double the total to 668.
+#       And even 828 including Op Cert.
+ib-head-size-bytes: 304
+# 100kB, using praos max size as ballpark estimate.
+ib-body-avg-size-bytes: 102400
+ib-body-max-size-bytes: 327680
+# Here we also use praos blocks as ballpark estimate.
+# Sec 2.3 Forging, of the benchmark cluster report, lists
+#   * Slot start to announced: 0.12975s
+ib-generation-cpu-time-ms: 130.0
 ib-head-validation-cpu-time-ms: 1.0
 ib-body-validation-cpu-time-ms-constant: 50.0
 ib-body-validation-cpu-time-ms-per-byte: 0.0005
-ib-body-max-size-bytes: 327680
-ib-body-avg-size-bytes: 327680
 ib-diffusion-strategy: "freshest-first"
 
 # Haskell prototype relay mini-protocol parameters.
@@ -76,11 +101,27 @@ ib-diffusion-max-window-size: 100
 # Endorsement Block Configuration
 ################################################################################
 
-eb-generation-probability: 5.0
-eb-generation-cpu-time-ms: 300.0
-eb-validation-cpu-time-ms: 1.0
+# We want one per pipeline, but not too many.
+eb-generation-probability: 1.5
+# ProducerId  32
+# SlotNo      64
+# VRF proof   80
+# Signature   64
+# Total       240
+#
+# See Note about signatures on ib-head-size-bytes.
 eb-size-bytes-constant: 32
+# IB hash
 eb-size-bytes-per-ib: 32
+# Collecting the IBs to reference and cryptography are the main tasks.
+# A comparable task is maybe mempool snapshotting.
+# Sec 2.3 Forging, of the benchmark cluster report, lists
+#   * Mempool snapshotting: 0.07252s
+# 75ms then seems a generous estimate for eb generation.
+eb-generation-cpu-time-ms: 75.0
+# Validating signature and vrf proof, as in other headers.
+eb-validation-cpu-time-ms: 1.0
+
 eb-diffusion-strategy: "peer-order"
 
 # Haskell prototype relay mini-protocol parameters.
@@ -92,13 +133,32 @@ eb-diffusion-max-window-size: 100
 # Vote Configuration
 ################################################################################
 
+# Cryptography related values taken from [vote-spec](crypto-benchmarks.rs/Specification.md)
+# using weighted averages of 80% persistent and 20% non-persistent.
+
+# vote-spec#Committe and quorum size
+#
+# Note: this is used as the expected amount of total weight of
+# generated votes in the sims.
 vote-generation-probability: 500.0
-vote-generation-cpu-time-ms-constant: 1.0
-vote-generation-cpu-time-ms-per-ib: 1.0
-vote-validation-cpu-time-ms: 3.0
-vote-threshold: 150
-vote-bundle-size-bytes-constant: 32
-vote-bundle-size-bytes-per-eb: 32
+# vote-spec#"Committe and quorum size"
+# 60% of `vote-generation-probability`
+vote-threshold: 300
+# vote-spec#"Generate vote" 0.8*135e-3 + 0.2*280e-3
+vote-generation-cpu-time-ms-constant: 164e-3
+# No benchmark yet.
+vote-generation-cpu-time-ms-per-ib: 0
+# vote-spec#"Verify vote" 0.8*670e-3 + 0.2*1.4
+vote-validation-cpu-time-ms: 816e-3
+# The `Vote` structure counted in the -per-eb already identifies slot
+# (in Eid) and voter. We can assume a vote bundle is all for the same
+# voter and slot, so for non-persistent voters we could factor their
+# PoolKeyHash (28bytes) here, but that is for 20% of cases.
+# More relevant if EB generation is very high.
+vote-bundle-size-bytes-constant: 0
+# vote-spec#Votes 0.8*90 + 0.2*164
+vote-bundle-size-bytes-per-eb: 105
+
 vote-diffusion-strategy: "peer-order"
 
 # Haskell prototype relay mini-protocol parameters.
@@ -110,9 +170,17 @@ vote-diffusion-max-window-size: 100
 # Certificate Configuration
 ################################################################################
 
-cert-generation-cpu-time-ms-constant: 50.0
-cert-generation-cpu-time-ms-per-node: 1.0
-cert-validation-cpu-time-ms-constant: 50.0
-cert-validation-cpu-time-ms-per-node: 1.0
-cert-size-bytes-constant: 32
-cert-size-bytes-per-node: 32
+# vote-spec#"certificate bytes"
+cert-size-bytes-constant: 136
+# vote-spec#"certificate bytes" ((80/8) + 76 * (100 - 80))/100
+cert-size-bytes-per-node: 15
+
+# For certificate timings we have bulk figures for realistic scenarios,
+# so we do not attempt to give -per-node (i.e. per-voter) timings.
+#
+# vote-spec#"Generate certificate"
+cert-generation-cpu-time-ms-constant: 90.0
+cert-generation-cpu-time-ms-per-node: 0
+# vote-spec#"Verify certificate"
+cert-validation-cpu-time-ms-constant: 130.0
+cert-validation-cpu-time-ms-per-node: 0

simulation/src/LeiosProtocol/Config.hs

@@ -132,27 +132,27 @@ instance Default Config where
       , txValidationCpuTimeMs = 1.5
       , txMaxSizeBytes = 16384
       , rbGenerationProbability = 5.0e-2
-      , rbGenerationCpuTimeMs = 300.0
+      , rbGenerationCpuTimeMs = 1.0
       , rbHeadValidationCpuTimeMs = 1.0
-      , rbHeadSizeBytes = 32
+      , rbHeadSizeBytes = 1024
       , rbBodyMaxSizeBytes = 90112
       , rbBodyLegacyPraosPayloadValidationCpuTimeMsConstant = 50.0
       , rbBodyLegacyPraosPayloadValidationCpuTimeMsPerByte = 0.0005
       , rbBodyLegacyPraosPayloadAvgSizeBytes = 0
       , ibGenerationProbability = 5
-      , ibGenerationCpuTimeMs = 300.0
-      , ibHeadSizeBytes = 32
+      , ibGenerationCpuTimeMs = 130.0
+      , ibHeadSizeBytes = 304
       , ibHeadValidationCpuTimeMs = 1.0
       , ibBodyValidationCpuTimeMsConstant = 50.0
       , ibBodyValidationCpuTimeMsPerByte = 0.0005
       , ibBodyMaxSizeBytes = 327680
-      , ibBodyAvgSizeBytes = 327680
+      , ibBodyAvgSizeBytes = 102400
       , ibDiffusionStrategy = FreshestFirst
       , ibDiffusionMaxWindowSize = 100
       , ibDiffusionMaxHeadersToRequest = 100
       , ibDiffusionMaxBodiesToRequest = 1
-      , ebGenerationProbability = 5.0
-      , ebGenerationCpuTimeMs = 300.0
+      , ebGenerationProbability = 1.5
+      , ebGenerationCpuTimeMs = 75.0
       , ebValidationCpuTimeMs = 1.0
       , ebSizeBytesConstant = 32
       , ebSizeBytesPerIb = 32
@@ -161,22 +161,22 @@ instance Default Config where
       , ebDiffusionMaxHeadersToRequest = 100
       , ebDiffusionMaxBodiesToRequest = 1
       , voteGenerationProbability = 500.0
-      , voteGenerationCpuTimeMsConstant = 1.0
-      , voteGenerationCpuTimeMsPerIb = 1.0
-      , voteValidationCpuTimeMs = 3.0
-      , voteThreshold = 150
-      , voteBundleSizeBytesConstant = 32
-      , voteBundleSizeBytesPerEb = 32
+      , voteGenerationCpuTimeMsConstant = 0.164
+      , voteGenerationCpuTimeMsPerIb = 0.0
+      , voteValidationCpuTimeMs = 0.816
+      , voteThreshold = 300
+      , voteBundleSizeBytesConstant = 0
+      , voteBundleSizeBytesPerEb = 105
       , voteDiffusionStrategy = PeerOrder
       , voteDiffusionMaxWindowSize = 100
       , voteDiffusionMaxHeadersToRequest = 100
       , voteDiffusionMaxBodiesToRequest = 1
-      , certGenerationCpuTimeMsConstant = 50.0
-      , certGenerationCpuTimeMsPerNode = 1.0
-      , certValidationCpuTimeMsConstant = 50.0
-      , certValidationCpuTimeMsPerNode = 1.0
-      , certSizeBytesConstant = 32
-      , certSizeBytesPerNode = 32
+      , certGenerationCpuTimeMsConstant = 90.0
+      , certGenerationCpuTimeMsPerNode = 0.0
+      , certValidationCpuTimeMsConstant = 130.0
+      , certValidationCpuTimeMsPerNode = 0.0
+      , certSizeBytesConstant = 136
+      , certSizeBytesPerNode = 15
       }
 
 configToJSONWith :: Getter Config -> Config -> Value