Home /
Input Output /
ouroboros-network
116 commits this week
Dec 06, 2019 -
Dec 13, 2019
Merge #1326
1326: Use file locks for chainDB r=mrBliss a=kderme
https://github.com/input-output-hk/ouroboros-network/issues/1266
Co-authored-by: kderme [email protected] Co-authored-by: Thomas Winant [email protected]
Merge #1337
1337: test-consensus: refactor PBft ChainState tests r=nfrisby a=nfrisby
This is a follow-up to PR #1317. That added EBBs to the PBFT chain state and to the corresponding property tests. This PR is a more thorough update of those tests: it’s clearer code and improves coverage some.
It’s a pretty big diff. Several of the properties are essentially the same. The generator is also essentially the same, but it’s more principled and better documented by the Haddock on the data type being generated. In particular, it almost exclusively relies on only two splitting functions (from the new Test.Util.Split module) instead of various takes, drops, filters, reverses, etc.
Co-authored-by: Nicolas Frisby [email protected]
Merge #1337
1337: test-consensus: refactor PBft ChainState tests r=nfrisby a=nfrisby
This is a follow-up to PR #1317. That added EBBs to the PBFT chain state and to the corresponding property tests. This PR is a more thorough update of those tests: it’s clearer code and improves coverage some.
It’s a pretty big diff. Several of the properties are essentially the same. The generator is also essentially the same, but it’s more principled and better documented by the Haddock on the data type being generated. In particular, it almost exclusively relies on only two splitting functions (from the new Test.Util.Split module) instead of various takes, drops, filters, reverses, etc.
Co-authored-by: Nicolas Frisby [email protected]
Merge #1326
1326: Use file locks for chainDB r=deepfire a=kderme
https://github.com/input-output-hk/ouroboros-network/issues/1266
Co-authored-by: kderme [email protected] Co-authored-by: Thomas Winant [email protected]
Add splitAfterTxSizeSpec along with a test
WIP: Add test prop_TxSeq_splitAfterTxSizeSpec
Add test prop_TxSeq_splitAfterTxSizeSpec
Add test prop_TxSeq_splitAfterTxSizeSpec
Add splitAfterTxSizeSpec along with a test
Merge #1326
1326: Use file locks for chainDB r=mrBliss a=kderme
https://github.com/input-output-hk/ouroboros-network/issues/1266
Co-authored-by: kderme [email protected] Co-authored-by: Thomas Winant [email protected]
ChainDB.VolDB: allow reading just the header
Previously, we had to read+decode the whole block and then extract the header. Now that #1338 is merged, we can read just the header bytestring from the VolatileDB and take advantage of it in ChainDB.VolDB.
We must take care to always add the header envelope after reading a header bytestring.
ChainDB.ImmDB: add hasBlock
Previously, we read and decoded the block to check whether it was present in the ImmDB. This new function is much cheaper and doesn’t require reading the block.
ChainDB.ImmDB: allow reading just the header
Previously, we had to read+decode the whole block and then extract the header. Now that #1244 is merged, we can read just the header bytestring from the ImmutableDB and take advantage of it in ChainDB.ImmDB.
We must take care to always add the header envelope after reading a header bytestring.
Pass a decoder for Header blk to the ChainDB
We’ll use this in a future commit to decode just the header instead of decoding the whole block and then extracting the header.
Add an extra type parameter to Deserialisable
This type parameter will either be blk or Header blk. We use the
first (and existing) blk parameter for the HeaderHash.
ChainDB: add a header envelope
If we extract the bytes corresponding to the header from a Byron block, we
won’t be able to decode it as a header straightaway, as the CBOR listLen and
tag are missing from the front. Therefore, we introduce
nodeAddHeaderEnvelope to transform the extracted header bytes into a
bytestring that can be decoded as a header. We pass it to the ChainDB (ImmDB
and VolDB), which will be responsible (future commit) for adding this header
envelope to any headers extracted directly from binary blocks.
VolatileDB: include IsEBB in the BlockInfo
Also return IsEBB when getting a block or header. We’ll later need later to
know whether a block is an EBB or not without having to parse it.
WIP: Cancel chainsync if it is running
Cancel chainsync if it is still running when blockfetch’s unregister is called.
Move slots and Strict datastructures into base/prelude
Merge #1347
1347: Add protocolSlotLength r=mrBliss a=mrBliss
Fixes #1345.
The SlotLength is a parameter of the consensus protocol. For (Real)PBFT, it
is obtained from the genesis config.
Co-authored-by: Thomas Winant [email protected]
Add protocolSlotLength
The SlotLength is a parameter of the consensus protocol. For (Real)PBFT, it
is obtained from the genesis config.
Add protocolSlotLength
Fixes #1345.
The SlotLength is a parameter of the consensus protocol. For (Real)PBFT, it
is obtained from the genesis config.
Add protocolSlotLength
Fixes #1345.
The SlotLength is a parameter of the consensus protocol. For (Real)PBFT, it
is obtained from the genesis config.
Merge #1338
1338: Add getHeader api call r=mrBliss a=kderme
https://github.com/input-output-hk/ouroboros-network/issues/1309
Co-authored-by: kderme [email protected]
Limit the size of forged blocks
Add a new argument to NodeArgs: maxBlockSize :: Word32.
Use snapshotTxsForSize to efficiently get transaction from the
Mempool (snapshot) until the maximum block size is reached.
Limit the size of forged blocks
Add a new argument to NodeArgs: maxBlockBodySize :: Word32.
Use snapshotTxsForSize to efficiently get transaction from the
Mempool (snapshot) until the maximum block size is reached.
Limit the size of forged blocks
Add a new argument to NodeArgs: maxBlockBodySize :: Word32.
Use snapshotTxsForSize to efficiently get transaction from the
Mempool (snapshot) until the maximum block size is reached.
Limit the size of forged blocks
Add a new argument to NodeArgs: maxBlockBodySize :: Word32.
Use snapshotTxsForSize to efficiently get transaction from the
Mempool (snapshot) until the maximum block size is reached.
Limit the size of forged blocks
Add a new argument to NodeArgs: maxBlockSize :: Word32.
Use snapshotTxsForSize to efficiently get transaction from the
Mempool (snapshot) until the maximum block size is reached.
Limit the size of forged blocks
Add a new argument to NodeArgs: maxBlockSize :: Word32.
Use snapshotTxsForSize to efficiently get transaction from the
Mempool (snapshot) until the maximum block size is reached.
Limit the size of forged blocks
Add a new argument to NodeArgs: maxBlockBodySize :: Word32.
Use snapshotTxsForSize to efficiently get transaction from the
Mempool (snapshot) until the maximum block size is reached.
Merge #1341
1341: Add golden tests for Byron encodings r=mrBliss a=mrBliss
Closes #1302.
Note that for most Byron types, we simply wrap the en/decoders from cardano-ledger, which already has golden tests for them, so we don’t duplicate that work.
Co-authored-by: Thomas Winant [email protected]
Refactor validateNewUntilMempoolFull
Refactor validateNewUntilMempoolFull