最早截止时间优先调度算法

定义

最早截止时间优先调度算法(EDF scheduler)，根据任务的开始截止时间来确定任务的优先级。任务的截止时间越早，则优先级越高。系统对实时任务进行排队时，根据截止时间的早晚进行排序，截止时间越早的任务，排在越前面。而调度程序选择程序时，总是选择第一个任务。最早截止优先调度算法在抢占式调度和非抢占式调度方式中都可以使用。

适用场景

EDF 在强占式，单CPU场景下是一个最优的调度算法：要求任务相互之间没有关联，每个任务给定到达时间，执行需求，截止时间。

EDF对任务的周期性没有做出具体假设，因此可用于安排周期和非周期性任务。

对于调度最后期限等于其周期的周期性进程，EDF的利用率等于100%, EDF的可调度性检验公式为：
$$U$$