Earliest Deadline First
Earliest Deadline First to zaawansowany algorytm szeregowania zadań, który znajduje zastosowanie w systemach czasu rzeczywistego. Wykorzystuje on kolejkę priorytetową do przechowywania procesów. Z każdym pojawieniem się zdarzenia wymagającego działania algorytmu (na przykład, gdy jeden z procesów zakończy swoje zadanie), z kolejki priorytetowej wybierany jest proces o najwyższym priorytecie, czyli ten, którego termin (deadline) jest najbliższy. Następnie przypisywany jest mu czas procesora.
Algorytm charakteryzuje się optymalnością, co oznacza, że jeśli EDF nie jest w stanie uszeregować danego zbioru zadań, to żaden algorytm z dynamicznym przydziałem priorytetów nie znajdzie wykonalnego rozwiązania. Z drugiej strony, jeśli jakikolwiek algorytm z dynamicznym przydziałem priorytetów zdoła uszeregować dany zestaw zadań, to również EDF będzie w stanie to osiągnąć.
Zbiór zadań może być uszeregowany za pomocą algorytmu EDF wtedy i tylko wtedy, gdy stopień wykorzystania procesora dla tego zbioru wynosi: U < 1.
== Przypisy ==
