Understandable OS No8: Concurrent Process (Japanese Edition)

本シリーズではOSに関する様々な手法を解説する。第８巻では、並行プロセスについて解説する。
8.1節では並列と並行の違い，並行性と順序性に絡む問題，これらを順序グラフとして表現し，並行条件について説明する。
8.2節では並行処理をプログラム上にどう記述するか，Fork/Joinでの記述，並行文での記述法の概要について説明する。
8.3節ではプロセスの階層構造やプロセス生成，子プロセス終了を知る方法，強制終了等，プロセスの基礎的概念について説明する。
8.4節では危険地区問題のアルゴリズムの概要について述べ，8.5節で危険地区問題の解決策となるセマフォーについて述べる。
8.6節では，制約バッファ問題，読み書き問題，食事をする哲学者問題など，プロセス協同問題とそのシミュレーションについて説明する。
8.7節では，プロセス間通信について説明し，特に間接通信とバッファ・ゼロ容量については，そのシミュレーションを示す。