ノンプリエンプティブスケジューリング とは？

プロセスが自分で「もう終わりました」「I/O待ちします」と言うまで、OSがCPUを取り上げないスケジューリング方式だよ。会議で発言者が自分から「以上です」と言うまで誰も割り込まない、みたいなイメージだね。

プリエンプティブ方式はOSがタイマで強制的に「はい交代！」とプロセスを切り替えるけど、ノンプリエンプティブ方式ではプロセスの自主性に任せるんだ。実装がシンプルでコンテキストスイッチのオーバーヘッドが少ない反面、行儀の悪いプロセスがCPUを独占するリスクがあるよ。

汎用OSではほぼ使われていないんだ。Windows 3.1やMac OS 9以前が協調型だったけど、1つのアプリがフリーズすると全体が固まる問題が頻発したから、プリエンプティブ方式に移行したよ。

いや、実は特定の場面ではまだ使われているよ。例えば組み込みシステムの一部や、コルーチン・ファイバーのような協調的マルチタスク機構がそうだね。JavaScriptのイベントループも、タスクが完了するまで次のタスクに移らないという意味ではノンプリエンプティブ的な考え方だよ。

そうだよ。コンテキストスイッチが予測可能なタイミングでしか起きないから、共有リソースの競合状態が発生しにくいんだ。ロックやセマフォなどの排他制御が不要になるケースもあるから、プログラムが単純になるという大きなメリットがあるんだよ。

応答性と公平性が重要なら断然プリエンプティブ方式。逆に、すべてのタスクが協力的に動くと保証できて、切り替えのオーバーヘッドを最小限にしたいならノンプリエンプティブ方式が有利だね。現代では「基本はプリエンプティブ、特定の局所的なタスク管理では協調型」というハイブリッドが主流だよ。