Earliest deadline first
Earliest Deadline First (EDF) je plánovací algoritmus používaný v operačních systémech reálného času, který na rozdíl od RMS nevyžaduje periodické úlohy a zpracování úloh probíhá na základě mezní doby platnosti procesu.
Základní vlastnosti [editovat]
Každý proces oznamuje při svém příchodu do fronty dobu platnosti (nejčastěji mezní termín splnění - deadline). Scheduler udržuje informace o všech spuštěných úlohách ve frontě seřazené podle deadline. Plánovač spouští úlohu s nejbližším časem deadline a kdykoliv se spustí úloha s bližším časem deadline, scheduler odstaví právě obsluhovanou úlohu a spouští novou - v tomto případě příchozí.
Rozdíl mezi EDF a RMS [editovat]
Při větším zatížení procesoru se ukáže, že algoritmus RMS selže, neboť jak dokázal roku 1973 Liu a Layland, rozvrhovatelný RTOS v případě použití RMS je ve chvíli, platí-li:
Pro EDF ale platí:
, kde
je doba trvání události,
je prioda události. Je vidět, že využití CPU je při použití algoritmu EDF větší.
![U = \sum_{i=1}^{n} \frac{C_i}{T_i} \leq n(\sqrt[n]{2} - 1)](http://upload.wikimedia.org/math/c/f/1/cf18cfb006a8764dedb101e39ae2c769.png)
, kde