Programs used for benchmarking changes made to the linux scheduler