多层伫列排程-系统程式.PPT

排程 – 行程的執行順序安排問題 排程 背景知識 有了行程切換的概念，就可以介紹排程了。 排程的主要問題 很多個程式在記憶體當中，下一個應該誰來執行呢？ 如何排程是影響作業系統效能最重要的因素。 排程的目的就是將 CPU 資源作更有效的利用。 排程的背景知識 背景知識一： 內文切換的方法與意義 背景知識二： CPU 暴衝與 IO 暴衝 背景知識三： 排程佇列的概念 背景知識一:內文切換 通常用組合語言撰寫 用來將暫存器、檔案資源等儲存的函數 該函數稱為內文切換函數 背景知識二：CPU 與 IO 暴衝 行程一開始都是 CPU 暴衝，接著是 I/O 暴衝，然後再回到 CPU 暴衝和 I/O 暴衝。在正常的狀況下，行程就在這兩個狀態間一直循環，最後以 CPU 暴衝作為結束。 CPU 暴衝與 I/O 暴衝 - 圖示 CPU 暴衝時間統計示意圖 背景知識三：排程佇列 一個行程在執行期間會在各種不同的佇列中進出。 一個系統中通常有 工作佇列 就緒佇列 等待佇列 裝置佇列 就緒佇列與裝置佇列 Linux 行程串列的資料結構 Linux 的就緒佇列 排程的方法 先到先做排程 (First-Come, First Served) 最短工作優先排程 (Shortest Job First) 可搶先版：最短剩餘優先排程 優先權排程 – Priority Scheduling 循環分時排程 – Round Robin Scheduling (大輪迴的排法) 多層佇列排程 – Multilevel Queue Scheduling 多層反饋佇列排程 – Multilevel Feedback Queue Scheduling 先到先做排程法 First Come, First Served 簡稱 FCFS Scheduling 方法： 先進入的行程先執行。 先到先做排程法 - 範例圖示 最短工作優先排程 Shortest Job First 簡稱 SJF Scheduling 方法 需要的時間最短者先執行。 最短工作優先排程– 範例圖示 最短工作優先的問題 下一次 CPU 暴衝時間的預測 最短剩餘優先排程 SJF 也可以是可搶先的。 可搶先的 SJF 排程又稱為最短剩餘時間優先的排程法。 優先權排程 Priority Scheduling 方法： 最高優先權的行程先執行 Highest Priority First 優先權排程 – 圖示 循環分時排程 循環分時排程 – 圖示 循環分時排程 - 注意事項 時間切片的影響 多層佇列排程 Multilevel Feedback Queue Scheduling 方法： 將行程分類，相同類型的行程分在同一佇列，而每一佇列都有自己的排程方法。 最常見的分類將行程分成 前景（互動）行程 - RR 排程法 背景（批次）行程 - FCFS 排程法 佇列與佇列之間還有優先權的關係，且佇列之間還需要另一個整體排程方法 可搶先的固定優先權排程法 可能會產生飢餓的現象。 多層佇列排程法 – 圖示 多層反饋佇列排程 多層反饋佇列排程法允許行程在各個佇列間移動。 CPU 暴衝時間愈長的行程就移到優先權比較低佇列中。 能避免飢餓的現象發生。 多層反饋佇列排程 – 圖示 常見作業系統的排程方法 Linux, (UNIX, FreeBSD) : First-Come, First-Serve Scheduling Round – Robin Scheduling Micro C/ OS2 (uCOS2) Highest Priority First – Preemptive 特色： 每個行程都有唯一的優先順序，可搶先。 切換的速度超快，因為使用了特殊的位元導向資料結構作排程。 在嵌入式系統領域相當的火紅。 評估排程優劣的方法 定性模式 排隊模型 模擬 實作 定性模式 定性模式是一種分析式評估，使用預先選定的行程組合來評估各種不同的排程方法。 例如預先選定一組行程組合，然後分別使用 FCFS、SJF 和 RR 排程法來評估那一種排程法所產生的平均等待時間最短。 定性模式的評估快速簡單，但 需要事先知道很多系統的資訊當作輸入。 只適用於行為比較固定的系統上。 排隊模式 電腦系統可看成是以網路相連的一群伺服器的組合： CPU 是執行就緒佇列中行程的伺服器 I/O 系統是執行裝置佇列中行程的伺服器 佇列中行程的數目隨著時間變化，不適合以定性模式來評估。 若知道新行程到達的速率與舊行程被處理的速率，就可能求出 CPU 使用率 佇列平均長度 平均等待時間 排隊模式 (續) Little’s formula Little’s formula 所作的排程評估