Barrelfish
|
Generic/base microbenchmark code. More...
Generic/base microbenchmark code.
This file implements some (currently very primitive) services for running and printing the results of a set of microbenchmarks. Most of the benchmarks themselves are defined in the architecture-specific part, in arch_microbenchmarks.c.