[论文解读] A Comparative Study of CPU Scheduling Algorithms

Neetu Goel, Rajesh Garg|arXiv (Cornell University)|Jul 16, 2013

Parallel Computing and Optimization Techniques参考文献 6被引用 48

一句话总结

本文通過狀態圖對CPU排程演算法進行比較分析，以評估其在不同工作負載下的行為與效率。根據系統目標（如吞吐量、響應時間與公平性）識別最佳排程策略，提供一個視覺化與分析性的框架，以針對單CPU環境中的特定情境選擇最適切的演算法。

ABSTRACT

Developing CPU scheduling algorithms and understanding their impact in practice can be difficult and time consuming due to the need to modify and test operating system kernel code and measure the resulting performance on a consistent workload of real applications. As processor is the important resource, CPU scheduling becomes very important in accomplishing the operating system (OS) design goals. The intention should be allowed as many as possible running processes at all time in order to make best use of CPU. This paper presents a state diagram that depicts the comparative study of various scheduling algorithms for a single CPU and shows which algorithm is best for the particular situation. Using this representation, it becomes much easier to understand what is going on inside the system and why a different set of processes is a candidate for the allocation of the CPU at different time. The objective of the study is to analyze the high efficient CPU scheduler on design of the high quality scheduling algorithms which suits the scheduling goals. Key Words:-Scheduler, State Diagrams, CPU-Scheduling, Performance

研究动机与目标

• 在受控的模擬環境中分析各種CPU排程演算法的性能特性。
• 根據系統目標（如最小化響應時間或最大化吞吐量）識別最適合的排程演算法。
• 開發一種視覺化的狀態圖表示法，以明確說明不同演算法之間的程序狀態轉移與CPU配置決策。
• 透過評估演算法與作業系統設計目標的一致性，支援高品質排程演算法的設計。
• 根據工作負載與系統需求，提供選擇排程演算法的實用參考。

提出的方法

• 本研究使用狀態圖來模擬不同CPU排程演算法的行為，展示程序在就緒、執行與等待狀態之間的轉移。
• 作者根據關鍵性能指標（如完成時間、等待時間與響應時間）比較排程演算法。
• 分析基於作業系統的理論與運作原理，專注於即時與一般用途排程情境。
• 狀態圖作為視覺抽象工具，用以比較不同演算法之間的決策邏輯與狀態轉移。
• 在一致的工作負載假設下，評估包括FCFS、SJF、Round Robin與優先權排程在內的演算法。
• 該框架可透過映射每種演算法如何根據優先權、到達時間或執行時間選擇下一個執行程序，實現系統性比較。

实验结果

研究问题

• RQ1 在不同工作負載下，哪種CPU排程演算法能在吞吐量與響應時間之間取得最佳平衡？
• RQ2 不同排程演算法如何影響程序等待時間與系統公平性？
• RQ3 在何種情境下，基於優先權的排程演算法會優於循環排程或最短作業優先？
• RQ4 狀態圖如何有效呈現並比較CPU排程演算法的動態行為？
• RQ5 在CPU排程策略中，簡易性、效率與回應能力之間的權衡為何？

主要发现

• 狀態圖提供了一種清晰且直觀的方法，用於視覺化與比較不同CPU排程演算法的動態行為。
• 最短作業優先（SJF）在最小化平均等待時間方面表現優異，優於FCFS與循環排程。
• 循環排程展現出較佳的響應時間特性，適用於具有時分共享需求的互動式系統。
• 基於優先權的排程提升了高優先權工作之系統回應速度，但可能導致低優先權程序出現餓死現象。
• 本研究確認並無單一演算法在所有情境下皆為最佳；最佳選擇取決於系統目標與工作負載模式。
• 所提出的狀態圖框架提升了對排程決策的理解，並支援作業系統設計中明智的演算法選擇。