In this section, we establish a necessary and sufficient condition for the algorithm of EDF.

• 在这一部分里，我们得到了一个任务集可以用EDF算法调度的充分必要条件。