Barrelfish
microbenchmarks.c File Reference

Generic/base microbenchmark code. More...

Detailed Description

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.