慶應義塾大学
2007年度 春学期
システム・ソフトウェア
System Software / Operating Systems
第1回 4月10日 OSの歴史と基本概念
Lecture 1, April 10: OS History and Basic Principles
Outline of This Lecture
- Review of Students' Programming Backgrounds
- Course Outline
- Grading Criteria and Requirements
- Contact Information, Office Hours and Class Notes
- Operating System Principles
- Operating System History
- Homework
Review of Students' Programming Backgrounds
Take a sheet of paper. On it, put your name and student ID number. Then answer the following questions:
- Do you currently have a working C compiler on your system?
現在、C言語のコンパイラーを持っていますか。
- List the operating systems and versions you have used:
今までの使ったことがあるオペレーティングシステムをリストアップしてください。
Microsoft Windows, MacOS, Linux, FreeBSD, Solaris?
- How many years ago did you start programming?
何年前にプログラ
ミングを始まったでしょう。
- Have you administered a multi-user computer system before, such as
a web server or file server?
マルチユーザーのコンピューター(ウェブサーバー、ファイルサーバーなど)を管理したことありますか。
- Have you managed the following services:
以下のサービスを管理したことありますか。
networking, file, web, compute, DNS, public key?
- List the languages you have programmed in:
今までの使ったことがある言語をリストアップしてください:
assembler, BASIC, C, C++, Fortran, Java, Lisp, Perl, Python, Ruby, sh, ...?
- Which tools have you used:
このリストの中にはどのツールを使ったことがある:
make, CVS, RCS, Microsoft VisualC etc.,
automake, grep, sed, awk, lex/flex, yacc/bison, Spirit, ...?
- What is the longest program you have written, measured in lines?
ひとつのプログラムは何行まで書きましたか。
- When you write code, do you write comments?
プログラムを書いているとき、コメントを書きますか。
- Have you worked in a team to write one program? What source code
control system did you use? How did you divide up the work, and how
did you define and test interfaces between members of the team?
一
人以上のグループでプログラムを書いたことありますか。ソースコードコント
ロールはどうやってしましたか。仕事がどうやって分割しましたか。インター
フェースの定義のしかたには何をしましたか。
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月10日 OSの歴史と基本概念
Lecture 1, April 10: OS History and Basic Principles
- 第2回 4月17日 システムコール
Lecture 2, April 17: System Calls
- 第3回 4月24日 プロセスとスレッド
Lecture 3, April 24: Processes and Threads
- 第4回 5月1日 プロセス間通信
Lecture 4, May 1: Inter-process Communication
- 第5回 5月8日 プロセススケジューリング
Lecture 5, May 8: Process Scheduling
- 第6回 5月15日 メモリ管理と仮想記憶
Lecture 6, May 15: Memory Management and Virtual Memory
- 第7回 5月22日 ページ置換アルゴリズム
Lecture 7, May 22: Page Replacement Algorithms
- 第8回 5月29日 ネットワーク&セキュリティ
Lecture 8, May 29: Networking & Security
- 第9回 6月5日 ファイルシステム
Lecture 9, June 5: File Systems
- 第10回 6月12日 ファイル・システムの実装
Lecture 10, June 12: File System Implementations
- 第11回 6月19日 入出力
Lecture 11, June 19: Input/Output Systems
- 第12回 6月26日 ハイパーバイザー
Lecture 12, June 26: Hypervisors
- 第13回 7月3日 OS事例研究
Lecture 13, July 3: 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: 20%
- 宿題/Homework: 40%
- 学期のプロジェクト/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 8
- Revised project proposals due: May 15
- Final approval of projects, implementation begins: May 22
- Weekly reviews begin: May 29
- Mid-term progress review: June 12
- Final evaluation of projects (face-to-face): July 10-21
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 2007春のオフィスアウアー: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.
Operating System Principles
オペレーティングシステムの概念
Two principles: everything is distributed, and everything is
concurrent. Relativity (special, at least) applies to software. That
is, when attempting to perform any operation, you must consider how to
move the information you need to where you are, and you must consider
the effect of any other possible operation happening at the same time
elsewhere in the system.
ふたつの概念:全ての情報は分散である、とすべてのことは同時でやる。
特殊相対性理論はソフトウエアでも影響する。何かを処理しようとすると
き、必要なデータが保存してあるところから現在地にはこんでこなければいけ
ない。ほかのところでほか関数されることも考えておかなければいけない。
You must consider the light cone of information.
光錐をかんがえなければならない。
Tanenbaum defines an operating from two primary points of view: that
it is a resource manager, and that it serves to extend the machine. I
consider two other concepts to be so fundamental that I rank them
alongside those two: naming, and data movement.
オペレーティングシステムの定義として、Tanenbaumの観点はふたつである:
オペレーティングシステムはリソースマネジャ、とオペレーティングシステム
は拡張マシンです。私の意見で、もうふたつのこと同じぐらいのレベル重要だ
と思います:ネーミングとデータの転送。
- Resource management/リソース管理
- Synchronization: correctness, efficiency, deadlock avoidance
- Fair and/or appropriate allocation of resources
- Security
- Extension of the machine/拡張マシン
- Expand memory through virtual memory
- Expand non-volatile storage through file systems, volume
managers, and network/distributed file systems
- Naming/ネーミング
Naming is one of the principle functions of all computer systems.
- Storage: registers, cache, main memory, disk memory, removable
devices
- Hardware: devices, especially dynamic ones (USB, iSCSI, etc.)
- Virtual objects: processes, pipes
- Data: URLs, URIs
- Sharing names
- Data movement/データ転送
Generally, user programs do not move data directly; they must ask the
operating system to do it for them.
- Moving data: buses, networks
- Controlling the movement: registers, RPC, third-party transfers,
etc.
- Performance: data layout, resource allocation at multiple levels
(e.g., I/O bus and memory bus)
- Real-time constraints: buffering, jitter, missed revolutions,
tape stalls
These will be considered, along with papers on how to structure a
system. Although it is important to understand a system as thoroughly
as possible, students will also begin to recognize the value of being
able to use, modify, and debug systems they do not completely
understand, and how to build systems in which this is possible.
Operating System History
オペレーティングシステムの歴史
In the mid-twentieth century, there was much excitement over the
design of digital computers. Early important names include John von
Neumann, Konrad Zuse, J. Presper Eckert, John William Mauchly, and
Maurice Wilkes; I encourage you look up those names and study their
contributions. The term "von Neumann architecture" is generally used
to refer to a computer that can store a program as a form of data,
rather than in the wiring of the computer itself, though it is
generally acknowledged that all of the above contributed to the basic
ideas. Without this innovation, the field of computer software would
be very dry!
By the mid-1950s, computers made of transistors and capable of storing
their programs were becoming common. At first, each program
controlled the entire computer; it was like reformatting your hard
disk each time you wanted to run a different program -- except, of
course, this was before the invention of the hard disk! Programs were
on decks of punch cards instead. Individuals used the computer for a
single program for hours at a time. Each program had to know how to
control all of the hardware of the entire computer that it intended to
use. (The first hard disk, the IBM 305 RAMAC, held five megabytes and
was introduced in 1956.)
At the same time, the first high-level languages and compilers, of
which FORTRAN is the most prominent example, were being developed.
During this time, batch system operating systems were created.
The computer was run by operators, a specialized profession of
people who did not necessarily write programs, but knew how to run a
progam on the computer. They took card decks from programmers, fed
them to the computer, and returned the original program and data card
decks and the output data card deck to the programmers.
On April 7, 1964, IBM introduced the System/360. It was a watershed
event in computing history, but for our purposes there are two major
innovations:
- Portable software.
- Multiprogramming.
In around 1960, it was realized that more than one user could be
seated at a terminal at the same time, and that each user
spends most of his time thinking, which would allow the computer to be
idle. Fernando
J. Corbató led the development of the Compatible Time
Sharing System (CTSS), but Corbató credits John McCarthy
with the original idea. Corby went on to lead the development of
Multics, which would ultimately lead to the development of
Unix. With these systems, and others such as some of the
operating systems from Digital Equipment Corporation (DEC), especially
VMS, the idea of computers that could do many things at once
and support many users at the same time became common.
In the late 1970s, personal computers began to appear; their history
followed the same sequence as above, only faster. Initially a
personal computer could run only a single program. Later, systems
could run more than one program, but with no hardware protection for
the separate programs, crashes were common as programs interfered with
one another. Finally, more "modern" PC operating systems adopted the
widely-accepted notions of a kernel and common libraries
that allowed programs to more efficiently and safely share a computer.
Today's PC operating systems, such as Linux,
Microsoft Windows, and MacOS, are heavily derived from
the systems mentioned above. The also commonly ship with a GUI
and many utilities, including shells, editors, compilers, and graphics
tools, that are not strictly part of the OS itself.
Readings
Readings to match this week's lecture:
Homework
This week's homework:
- Establish a homework blog for your notes and homework. Send me
the URL. If you wish your blog to be private, you can
password-protect it and send me the password.
- Demonstrate that you have a working compiler setup where you will
be able to write programs for class. Capture the output of the
compilation and execution of a simple program (such as "Hello, world")
and post it on your blog. Include the amount of time it took you to
complete this exercise.
- Read the two papers above (Lampson and Levin) and post your notes
about the papers on your blog. (It is not necessary to write up notes
about the readings from the textbook.)
- If you have additional thoughts about the above discussion of
programming experience, please email me or post them on your blog.
- Read the text for next week.
Next Lecture
Next lecture:
第2回 4月17日 システムコール
Lecture 2, April 17: System Calls
- Discussion of Lampson and Levin: What makes a good system?
- System Calls
- Discussion of term projects
Readings for next week:
- Tanenbaum, 1.5-1.6
- If you are not familiar with hardware, Tanenbaum 1.4
(I recognize that this is a lot of reading for the first week; the
text readings may be done at your own pace, but the lectures will be
easier to understand if you read the material in advance.)
その他 Additional Information