These are pieces of code used to test and benchmark the
multi-processor scheduler.