Completely_Fair_Schedulerとは？わかりやすく解説

Completely Fair Scheduler (CFS) は、Linux カーネル 2.6.23 にマージされたタスクスケジューラである。プロセス実行に必要なCPUリソース割り当てを行い、全体としてCPU利用効率を最大化しつつ対話的性能も最大化する。

コン・コリバス（英語版）のCPUスケジューリングに関する業績、特に Rotating Staircase Deadline と名付けたフェア・シェア・スケジューリング（英語版）の実装に強く影響され、インゴ・モルナー（英語版）が従来のO(1)スケジューラ（英語版）の代替としてCFSを開発した^[1]。

それまでの Linux 2.6 カーネルで使われていたO(1)スケジューラ（英語版）とは対照的に、CFSスケジューラの実装はランキュー（英語版）を採用していない。代わりに赤黒木で将来のタスク実行の予定表を実装している。さらにこのスケジューラはナノ秒単位の実行時間計測を行い、ナノ秒単位で個々のプロセスにCPUを割り当てる（したがって、それまでのタイムスライスの観念より細かい）。このように正確な知識を使うことで例えば、プロセスが対話的か否かを判定するのに特別なヒューリスティクスを使う必要がなくなる^[2]。

従来のO(1)スケジューラと同様、CFSは "sleeper fairness" という概念を採用している。これは、スリープまたはウェイトしているタスクとランキュー上で待っているタスクを公平に扱うという方針である。したがって時間の大部分をユーザーの入力などのイベントを待つことに費やしている対話型タスクであっても、必要ならそれなりのCPU時間を得ることができる。

アルゴリズム

このスケジューラはタスク実行計画を赤黒木に記録しており、各タスクはそれまでに消費したプロセッサ時間をキーとして赤黒木に入れられる^[3]。それにより、消費したCPU時間が最も短いプロセスが効率的に選択できる（木の左端ノードに格納されている）。選択したプロセスを木から除去し、実行後は実行時間を更新して木構造上の適切な位置（通常は前とは別の位置）に戻す。そして新たな木の左端ノードを選択し、同様に繰り返す。

タスクが長時間スリープしている場合、実行時間の値が小さいため、スリープ状態から起きてきたときに自動的に優先度が上がる。したがってそのようなプロセスに割り当てられるプロセッサ時間が定常的に動作しているタスクより小さくなることはない。

背景

CFSのもとになったとされる均等化キューイング（英語版）は元々はパケット通信用に考案されたもので、stride scheduling という名称でCPUスケジューリングに適用されたことがあった。しかしCFSは均等化キューイングでの一般的用語を採用していない。"service error"（プロセスが実際に得たCPU時間と予期されていたCPU時間の差）はLinuxでの実装では "wait_runtime" と呼ばれ、"queue virtual time" (QVT) という用語は "fair_clock" とされている。

CFSスケジューラのスケジューリング複雑性は O(log N) で、N はランキュー（英語版）内のタスク数である。実行すべきタスクの選択は一定時間で可能だが、赤黒木でランキューを実装しているため、実行後のタスクを木に戻すには O(log N) 回の操作を必要とする。

汎用OSで均等化キューイングをスケジューラとして実装したのはCFSが最初である^[4]。

より公平なアルゴリズム

技術的には "Completely Fair Scheduler"（完全に公平なスケジューラ）という名称は正しくない。CFSが保証できるのは、「不公平」レベルが $O(n)$

[1]

[2]

[3]

[4]

Completely_Fair_Schedulerとは？ わかりやすく解説