benchexec: BenchExec: A Framework for Reliable Benchmarking and Resource Measurement (via 5d22b) — discussion

#linux #performance