オペレーティングシステム(イワナミコウザソフトウェアカガク6)

CPU スケジュリング、並行プロセス、主記憶管理、仮想記憶、ファイルシステムなどのオペレーティングシステムの基本機能を、資源の仮想化の観点から丁寧に解説する。その上で実際のシステムとして MVS と UNIX の要点を紹介する。読者が自払のレベルに応じて読み進められるように工夫し、プログラムは主に C 言語で示した。オペレーティングシステムについて日本語で書かれた初の本格的な解説書。

岩波講座ソフトウェア科学シリーズの一冊として刊行された本書は、 OS の古典的な設計原理をコンパクトかつ学術的に整理した教科書です。プロセス管理、メモリ管理、ファイルシステム、入出力、並行制御といった OS の中核概念を、実装の詳細よりも設計上の原理と抽象モデルに焦点を当てて解説します。

著者の前川守氏は分散システム研究で知られ、本書でも相互排除や同期プリミティブの議論に厚みがあります。各章は比較的独立しており、講義のテキストとして特定の章を取り出して読み込むことも可能です。一方、 Linux カーネルの実装に即した解説を期待する読者にとっては抽象度が高く映ることがあります。

刊行年代の性質上、仮想化やコンテナといった技術は扱われませんが、 OS の骨格を支える概念 (アドレス空間、スケジューリング、デッドロック回避) は時代を超えて有効です。情報系学部で OS を体系的に押さえたい人や、実装主体の学習と並行して原理面を補強したいエンジニアにとって、日本語で読める堅実な選択肢です。