System Software

システムソフトウェア(CSC.T371) 2026年度

お知らせ

初回講義は10月1日(木) 7-8限に行います．講義室はS4-201（旧称S421・大岡山南4号館2階）です．
受講のための準備
- 原則として対面で講義を行います．
- 講義の連絡にはLMSを用います．
- 講義の教材として用いるxv6（教育用OS）を各自のPCでビルド・実行する方法についての簡単な説明を用意しました．あらかじめ読んで準備しておいてください．
  - xv6のビルドと実行のしかた
    - Dockerを使う方法（ツールのインストール不要）
    - ツールをインストールして行う方法 (Mac/Linux/Windows)

講義担当

渡部卓雄 (情報工学系)

講義時間・講義室

月曜7-8限・木曜7-8限 (15:25-17:05)
S4-201（旧称S421）講義室（大岡山南4号館2階）

休講・補講予定

講義概要

オペレーティングシステムの役割，オペレーティングシステムカーネルの構成と実現方式，およびオペレーティングシステムカーネルにおいて用いられるアルゴリズムを理解する．

オペレーティングシステムの中心概念であるカーネルの役割とそこで用いられるアルゴリズムを学ぶ．具体的には，割り込みによるカーネルの実現手法，プロセス管理，同期と排他制御，メモリ管理，ファイルシステム，I/Oシステムなどについて学ぶ，また，Unixを簡素化した教育用オペレーティングシステムxv6を教材として，これらの諸機構がどのように実現されるかについて理解する．

講義日程

10/1(木) 7-8限：導入, オペレーティングシステムの役割と機能, システムコール(1)
10/5(月) 7-8限：xv6のビルドと実行のしかた, システムコール(2)
10/8(木) 7-8限：xv6のプロセスとメモリ空間(1)
10/15(木) 7-8限：xv6のプロセスとメモリ空間(2)
10/19(月) 7-8限：xv6のプロセスとメモリ空間(3)
10/22(木) 7-8限：並行性制御(1), xv6の同期機構
10/26(月) 7-8限：中間試験，並行性制御(2)
10/29(木) 7-8限：並行性制御(3), ファイルシステム(1)
11/2(月) 7-8限：ファイルシステム(2)
11/5(木) 7-8限：I/Oシステム(1)
11/9(月) 7-8限：I/Oシステム(2), xv6のプロセスとメモリ空間(4)
11/12(木) 7-8限：xv6のプロセスとメモリ空間(5)
11/16(月) 7-8限：保護機構とセキュリティ
11/19(木) 7-8限：実際のOSの機能と構成
11/30(月) 7-8限：期末試験

成績評価

中間・期末試験と課題（1回）による

中間試験

日時：2026年10月26日(月) 7限(45分)
試験室：S4-201

期末試験

教務課からの公式な期末試験日程を必ず参照すること．

日時（仮）：2026年11月30日(月) 7-8限(15:25-17:05)
試験室：S4-201

中間試験は持ち込みは不可．期末試験では最大一枚までのメモ（手書きに限る．A4両面使用可）のみを持ち込んで参照できる．ただし書籍，配布資料およびノート，PC，携帯端末，人間等の持ち込みはいずれの試験においても不可とする．

過去の期末試験問題とその解答・解説

2025年度: 問題
2024年度: 問題 / 解答
2023年度: 問題 / 解答
2022年度: 問題 / 解答
2021年度: 問題 / 解答
2020年度: 問題 / 解答
2019年度: 問題 / 解答
2018年度: 問題 / 解答
2017年度: 問題 / 解答
2016年度: 問題 / 解答
2015年度: 問題 / 解答
2014年度: 問題 / 解答
2013年度: 問題 / 解答
2012年度: 問題 / 解答
2011年度: 問題 / 解答
2010年度: 問題 / 解答

講義資料

LMSで配布する予定であるが，一部の資料や例題などは本Githubグループ(titech-os)を通して配布することがある． gitおよびGithubの使い方については簡単に説明するが，gitを使う機会は今後も多いので各自参考書やサイトで学んでおくこと．