[論文レビュー] 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、ラウンドロビン、優先度スケジューリングといったアルゴリズムが、一貫したワークロード仮定のもとで評価されている。
• このフレームワークにより、各アルゴリズムが優先度、到着時刻、またはバースト時間に基づいて次に実行するプロセスを選択する方法を体系的に比較できる。

実験結果

リサーチクエスチョン

• RQ1 さまざまなワークロード下で、スループットと応答時間のバランスを最も良くとるCPUスケジューリングアルゴリズムはどれか？
• RQ2 異なるスケジューリングアルゴリズムは、プロセスの待機時間とシステムの公平性にどのように影響を与えるか？
• RQ3 どのような状況で優先度ベースのスケジューリングアルゴリズムがラウンドロビンや最短作業優先（SJF）を上回るか？
• RQ4 状態図は、CPUスケジューリングアルゴリズムの動的挙動を効果的に表現・比較するのにどの程度有効か？
• RQ5 CPUスケジューリング戦略において、単純さ、効率性、応答性の間にはどのようなトレードオフがあるか？

主な発見

• 状態図は、異なるCPUスケジューリングアルゴリズムの動的挙動を視覚化・比較する明確で直感的な方法を提供する。
• 最短作業優先（SJF）は、FCFSやラウンドロビンと比較して平均待機時間を最小化する点で優れた性能を示した。
• ラウンドロビンは応答時間の特性に優れており、タイムシェアリング要件を満たすインタラクティブシステムに適している。
• 優先度ベースのスケジューリングは、高優先度タスクの応答性を向上させたが、低優先度プロセスのスターヴェーションのリスクを伴った。
• 本研究では、どのアルゴリズムも普遍的に最適であるとは限らないことが確認された。最良の選択肢は、システム目標とワークロードパターンに依存する。
• 提案された状態図フレームワークは、スケジューリング意思決定の理解を深め、OS設計における情報に基づいたアルゴリズム選定を支援する。