Can you summarize the following document?
        
  考慮在一個單處理器搶佔式排程系統上的3個定期到來的程序。執行時間和到來週期如下表所示:  在這個例子中,該單元的時間可以被認為是可排程 的時間片。截止時間是每個週期的程序必須在這一個週期內完成。

  在時序圖中,列代表的時間片隨時間增加,所有程序都在時間片0開始執行。 計時圖的藍色和白色陰影表示的每個程序的週期,顏色的變化表示最後期限到來。  由EDF排程的第一個程序是P2,因為它的週期短,因此具有最早的截止時間。 同樣地,當P2完成,P1被排程,隨後是P3。  在時間片5,P2和P3具有相同的截止時間:需要在時間片10前完成,所以EDF可能排程其中任何一個。

  利用率為:  formula_2  由於週期的 最小公倍數 是40、排程模式可在每40時間片後重復。 但是,只有這40個時間片中的37個用於P1、P2或P3的執行。 由於利用率,92.5%,是不大於100%,該系統可以用EDF排程。

  EDF排程中可能出現截止時間交換問題。 一個程序可能在一個臨界區內使用了一個共享內部資源,防止其被有一個較早的最後期限的程序搶佔。 如果是這樣,排程程式應該為正在執行過程中的程序分配比等待該資源的其他程序更早的截止時間。 否則有更早的最後期限的程序與可能會錯過其期限。

  公認一個固定優先順序的搶佔式排程器比一個動態優先順序排程器,如EDF,要容易實現。 但是,當比較固定優先順序(每個執行緒的優先順序由Rate-monotonic排程演算法給出)下最佳排程的最大使用率時,EDF可以達到100%,而Rate-monotonic排程的理論最大值約為69% 。  請注意,EDF沒有對任務的週期性做出任何具體假設;因此,它可用於安排週期性和非週期性任務 。
最早截止時間 (EDF) 是一個實時作業系統中使用的,動態優先順序的將程序放入優先佇列的演算法。每當一個引起排程的事件發生(任務完成等),將搜尋出佇列中最後期限最接近的程序,接下來要被執行的就是這個程序。