update preemptive EDF