EDF and LLF

http://baike.baidu.com/view/897451.htm

EDF

　　最早截止时间优先算法（EDF）也称为截止时间驱动调度算法（DDS），是一种动态调度算法。EDF指在调度时，任务的优先级根据任务的截止时间动态分配。截止时间越短，优先级越高。EDF有如下定理：

　　定理2：如果一个任务集按EDF算法调度，当且仅当U<=1。

　　EDF的特点

　　(1) 任务模型: 与RMS 调度相同。

　　(2) 优先级分配方法: 动态分配, 距要求时限所剩时间越短优先级越高。

　　(3) 可调度性分析: 如果任务集满足下式, 则该任务集可调度。

　　EDF 调度算法已被证明是动态最优调度, 而且是充要条件。处理机利用率最大可达100% 。但瞬时过载时, 系统行为不可预测, 可能发生多米诺骨牌现象, 一个任务丢失时会引起一连串的任务接连丢失。另外, 它的在线调度开销比RMS大。

LLF

　　最短空闲时间优先算法（LLF）也是一种动态调度算法。LLF指在调度时刻，任务的优先级根据任务的空闲时间动态分配。空闲时间越短，优先级越高。空闲时间=deadline-任务剩余执行时间。LLF可调度条件和EDF相同。

　　理论上，EDF和LLF算法都是单处理器下的最优调度算法。但是由于EDF和LLF在每个调度时刻都要计算任务的deadline或者空闲时间，并根据计算结果改变任务优先级，因此开销大、不易实现，其应用受到一定限制。