Generate transactions in DualPBFT tests

[edsko]

No description provided.

[edsko]

IntersectMBO/cardano-ledger#1177 should be merged first, but other than that, I think this is mostly ready. We might want to add some labelling to make sure we don't produce non-empty blocks though :)

[edsko]

Ok, added the labelling. For the DualPBFT tests we get

      average #txs/block (100 in total):
      77% R_Btwn (5.0,10.0)
      16% R_Eq 0.0
       3% R_Btwn (10.0,20.0)
       2% R_Btwn (4.0,5.0)
       1% R_Btwn (1.0,2.0)
       1% R_Eq 2.0

The only problem is that these tests are really really slow, 20 minutes for 100 tests. So limiting it to 10 tests for now.

Results for the other tests:

  BFT
    simple convergence:                                                     OK (15.24s)
      +++ OK, passed 100 tests.
      
      average #txs/block (100 in total):
      34% R_Btwn (3.0,4.0)
      22% R_Btwn (1.0,2.0)
      21% R_Btwn (2.0,3.0)
      11% R_Btwn (4.0,5.0)
       7% R_Eq 2.0
       3% R_Eq 4.0
       2% R_Eq 0.0

  LeaderSchedule
    simple convergence:                                                     OK (7.43s)
      +++ OK, passed 100 tests.
      
      average #txs/block (100 in total):
      88% R_Btwn (2.0,3.0)
      11% R_Eq 3.0
       1% R_Eq 2.0

  PBFT (note: this is mock)
    simple convergence:                                                     OK (9.78s)
      +++ OK, passed 100 tests.
      
      average #txs/block (100 in total):
      24% R_Btwn (2.0,3.0)
      23% R_Btwn (1.0,2.0)
      18% R_Btwn (3.0,4.0)
      10% R_Eq 4.0
       8% R_Eq 3.0
       7% R_Btwn (4.0,5.0)
       5% R_Eq 2.0
       4% R_Eq 0.0
       1% R_Eq 1.0

  Praos
      +++ OK, passed 100 tests.
      
      average #txs/block (100 in total):
      96% R_Btwn (2.0,3.0)
       3% R_Eq 3.0
       1% R_Eq 2.0
      
  RealPBFT
    simple convergence:                                                     OK (33.24s)
      +++ OK, passed 100 tests.
      
      average #txs/block (100 in total):
      98% R_Eq 0.0
       2% R_Btwn (0.0,1.0)

      involves >=1 re-delegation (100 in total):
      98% False
       2% True

Note that for the RealPBFT case, the blocks contain any transactions at all only when some delegation is happening.

[mrBliss]

Nice work!

[edsko]

bors r+

[edsko]

bors r-

[edsko]

bors r+

[iohk-bors]

Build succeeded

• buildkite/ouroboros-network
• ci/hydra:Cardano:ouroboros-network:required

[edsko]

Addressed feedback in #1517 .