01 / 読書ガイド
読書ガイド
OS：ロックを選ぶ前に交錯実行を説明する
無料の概念書、小型RISC-Vカーネル、総合参考書を比べ、独自のイベント追跡と同期変更で原子性と順序を区別します。
学習順路・例題の編集責任：University Reading List編集プロジェクト。
対象読者
OSの概念を実装へ結ぶ本科課程向け。小型カーネルでも機械状態と並行実行の厳密な理解は必要で、同じ版のRISC-Vソースと授業環境を組み合わせる。
前提知識
C、ポインタ、基本アセンブリ、計算機構成が前提。仮想記憶、スタック、並行処理を復習し、小さなプログラムの構築とデバッグができる状態で読む。
扱う内容
システムのインターフェースからカーネル構成、ページ表、トラップ、システムコール、ページフォールト、中断、ロック、スケジューリング、待機と通知、ファイルへ進む。コードから設計と教育上の単純化を読む。
使い方
一つのシステムコールを利用者プログラムから戻りまで追い、権限、スタック、アドレス空間を記す。ロックの前に共有状態を描く。エミュレータで現象を再現し、変更で壊れそうな不変条件を予測して小さく試験する。参照行は対応するソース冊子に合わせる。
版と出典
MIT授業の入口から本文とコードを取得できる。revision 5全文PDFは2025年9月2日。課本の倉庫はMIT型の許諾で、元になった歴史的Unixの権利条件とは区別し、表示を保持する。
