Skip to content

EVM: log estimated ticks to help validate the tick model

Pierre-Emmanuel CORNILLEAU requested to merge pec@evm@log_estimated_ticks into master

Context

contributes to #6091

The reboot uses a notion of estimated_ticks to help decide when to reboot. Those values are tracked during the kernel run, and updated by the tick_model . This estimation should be overapproximations and are critical to the safety of the kernel.

To help validate the tick model during benchmarking, this MR logs the estimated ticks and adds them to the bench report created by the benchmark script.

Manually testing the MR

Run the benchmark script, and see a new column "estimated_ticks".

Run the kernel with debug messages and see the estimated ticks for a block and after each transaction

Checklist

  • Document the interface of any function added or modified (see the coding guidelines)
  • Document any change to the user interface, including configuration parameters (see node configuration)
  • Provide automatic testing (see the testing guide).
  • For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, CHANGES.rst at the root of the repository for everything else).
  • Select suitable reviewers using the Reviewers field below.
  • Select as Assignee the next person who should take action on that MR
Edited by Pierre-Emmanuel CORNILLEAU

Merge request reports