Investigate influence of CPU frequency governor

[PhilippWendler]

CPU cores can dynamically change their frequency, and the Linux kernel manages that via scaling governors (e.g., performance or powersave). We should investigate whether the choice of the governor affects reliability of benchmarking. If yes, we should make recommendations in our documentation or let BenchExec detect and fix or warn problematic situations. Likely we also want to document the used governor in the benchmarking results.

The kernel documentation for CPU Performance Scaling contains more information.