introduce EDF scheduling
more