Nicolas Frisby
Nicolas Frisby
This an attempt at the first step of Issue #389.
PR input-output-hk/ouroboros-network#3920 added an HPC report. We realized that impossible case alternatives are inflating the amount of red in the report. This issue is to consider how to mitigate that....
Defining the `ProtocolLimits` in the right place. PR input-output-hk/ouroboros-network#3409 introduces them, but it's not obvious where each of these declarations and per-mini protocol definitions should live in the module hierarchy....
The Diffusion Layer currently defines limits on buffers used for pipelining as a combination of the max size of the buffer and the max size of each entry within the...
Currently, all the nodes are perfectly synchronized. This Issue is complete when the nodes instead experience some clock skew. Follow-up Issues might make the clocks even less reliable in some...
The Consensus Layer defines Node-to-Client queries over the LocalStateQuery mini protocol. This is how the CLI and other such separate tools ask the node about its current state. For the...
The new `ByteSize` measure should be used for all byte size _summations_ relevant to the Cardano chain. - It has checked arithmetic, with a pure representation of overflow. - It...
The https://cardano-base.cardano.intersectmbo.org/ in the README 404s. The repo does deploy the page: https://intersectmbo.github.io/cardano-base/. But the above URL redirect isn't working.
Without loss of generality, focus on Allegra. Start from the binding of `protVerAllegra` in `protocolInfoCardano`. EG at https://github.com/input-output-hk/ouroboros-consensus/blob/0079ee65f6c49d1c05a8d30ffa492b20c46b12b8/ouroboros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Node.hs#L658 There, `protVerAllegra`: - (A) is passed to `mkShelleyBlockConfig` - (B) influences `maxMajorProtVer`...
For the file-backed index, the relatively complicated `nextFreeRelSlot` logic avoids an extra read from disk (although: we're imminently writing to the same page, so does read+write necessarily cost much more...