Operating system benchmarking in the wake of lmbench | Synapse