Random scheduling and Linux based scheduling