implementing several scheduling policies for the kernels that are about
to be dispatched