慶應義塾大学
2008年度 春学期
システム・ソフトウェア
System Software / Operating Systemsオペレーティングシステム
概要
コンピュータの基本ソフトウェアであるオペレーティング・システム (OS)
について取り扱います$B(I!$B(B 腕 はそのコンピュータ上で動いているすべてのプロ
グラム (あるいはプロセス) の制御を行っています$B(I!$B(B また、 それぞれのプロ
グラムに対してファイル・システムやネットワークなどのサービスを提供して
います$B(I!$B(B 腕 には Windows や MacOS など様々なものがありますが、ここでは
UNIX / Linux OS を中心に取り上げ、その基本的概念、プロセス、 システム
コール、メモリ管理と仮想メモリ、ファイル・システム、ネットワーク、セキュ
リティなどの各種のコンポーネントについて説明します$B(I!$B(B また、 OS は本質的
に並行プログラミングですので、複数のプログラムの間での同期や排他制御に
ついても取り上げます$B(I!授業後半には個人による並行のプログラムを行い作品
の提出を行う。
The basic software of a computer is called its operating systemオペレーティングシステム (OS).
The operating systemオペレーティングシステム loads other programs (or processプロセスes). Programs
use the file system, network, and other services provided by the OS.
There are many operating systemsオペレーティングシステム, including Windows and MacOS, but in
this class we will focus on Unix and Linux. The basic concepts of
processプロセスes, system callシステムコールs, memory management管理 and virtual memory仮そう記録, file
systems, networking, security and other subsystems will be presented.
Because concurrency同時実行・平行 and parallelism are fundamental, and are becoming
increasingly important at the application level, students will write
at least one concurrent同時実行・平行 program.
Course Outline
教科書 Textbook
モダンオペレーティングシステム
原著第 2 版
アンドリュー・S・タネンバウム=著
水野忠則，太田剛，最所圭三，福田晃，吉澤康
文=訳
ピアソン・エデュケーション
ISBN4-89471-537-6
Modern Operating Systemsオペレーティングシステム, 2nd edition
Andrew S. Tanenbaum
Pearson Education
ISBN-13: 978-0130313584
ISBN-10: 0130313580
Lecture by Lecture
- 第1回 4月8日 OSの歴史と基本概念
Lecture 1, April 8: OS History and Basic Principles概念
- 第2回 4月15日 システムコール
Lecture 2, April 15: System Callシステムコールs
- 第3回 4月22日 プロセスとスレッド
Lecture 3, April 22: Processプロセスes and Threads
- 第4回 5月13日 プロセス間通信
Lecture 4, May 13: Inter-processプロセス Communication通信
- 第5回 5月20日 プロセススケジューリング
Lecture 5, May 13: Processプロセス Scheduling
- 第6回 5月27日 メモリ管理と仮想記憶
Lecture 6, May 27: Memory Management管理 and Virtual Memory仮そう記録
- 第7回 6月3日 ページ置換アルゴリズム
Lecture 7, June 3: Page Replacementページ置き換え Algorithms
- 第8回 6月10日 ネットワーク＆セキュリティ
Lecture 8, June 10: Networking & Security
- 第9回 6月17日 ファイルシステム
Lecture 9, June 17: File Systems
- 第10回 6月24日 ファイル・システムの実装
Lecture 10, June 24: File System Implementation実装s
- 第11回 7月1日 入出力
Lecture 11, July 1: Input/Output Systems
- 第12回 7月8日 ハイパーバイザー
Lecture 12, July 8: Hypervisors
- 第13回 7月15日 OS事例研究
Lecture 13, July 15: Operating Systemsオペレーティングシステム Research
Requirements
The course consists of thirteen ninety-minute classes. Students are
expected to read a large number of papers on systems software and
maintain notes and a bibliography, contribute to classroom
discussions, and complete weekly homeworkかだい. A large-scale software
project will contribute the bulk of the grade.
成績の仕方
Grading
Your grade will be determined as follows:
- 授業の討論/Class participation: 10%
- 宿題/Homeworkかだい: 50%
- 学期のプロジェクト/Term project: 40%
宿題とノート
Homeworkかだい and Notes
授業の為のブログ又はウェブページを作ってください。無料のサービスかキャン
パス内のウェブページを使っても結構です。成績をつけるために、宿題とかブ
ログに入力してください。プライバシーがほしい方はパスワードをつけても良
い。コメントを入力できるブログが優遇である。
You will need to create a class blog. You can use any of the free
blogging services. You will post your homeworkかだい on your blog for me to
grade. If you are concerned about privacy, you may use a
password-protected site. Your blog should allow me to post comments
on it as part of the grading of your work.
Term Project
You will complete a moderately large software project during the
term. Projects may be individual, or teams of up to three students.
We will talk about ideas for specific projects next week. The
following schedule applies:
- Project and team proposals due (on your blog): May 1
- Review of proposals returned: May 13
- Revised project proposals due: May 20
- Final approval of projects, implementation実装 begins: May 20
- Weekly reviews begin: May 27
- Mid-term progress review: June 17
- Final evaluation of projects (face-to-face): July 15-24
Contacting Me/Office Hours/Class Notes
連絡先/オフィスアワー
If you need to contact me, email is the preferred method. Please put
"OS:" in the Subject field of the email. If I do not respond to a
query within 24 hours, please resend. For more urgent matters, junsec
should know how to get ahold of me.
Office Hours, Spring 2008春のオフィスアウアー：Wednesday （水曜日）,
9-12, Delta N205. You may come to my office during this time without
an appointment. If you wish to see me otherwise, you can attempt to
find me directly, or send me email to arrange an appointment.
The lecture notes for each week are posted in SFC-SFS shortly before
the lecture.
その他 Additional Information情報