A simple micro-benchmarking framework for Linux on x86