Multicore_benchSourceMulticore bench is a framework for writing multicore benchmark executables to run on current-bench.
To use the framework one typically opens it
open Multicore_benchwhich brings a number of submodules into scope.
Dealing with units of rate.
Dealing with units of time.
Recording timings of benchmarks running on multiple domains in parallel and producing metrics from the recorded timings.