慶應義塾大学
2009年度 春学期

システム・ソフトウェア
System Software / Operating Systems

2009年度春学期 火曜日2時限
科目コード: 47010 / 2単位
カテゴリ: 29. クラスター-環境情報系科目(学部)
4. 研究領域科目−環境情報系科目(大学院)
開講場所:SFC
授業形態:講義
担当: Rodney Van Meter
E-mail: rdv@sfc.keio.ac.jp

第13回 7月14日 OS事例研究
Lecture 13, July 14: Operating Systems Research

Outline

Final Projects and Grades!

I will submit my grades on July 27. Any work submitted by 17:00 on July 26 is guaranteed to be graded. Any work after that, will not!

You need to schedule an appointment with me, either face-to-face or via Skype or Polycom, for sometime between tomorrow (July 14) and 17:00 on July 26, to present your final project.

I expect a 3-5 written report (英語でも日本語でも), and your data must present a message! Error bars and linear fits, as appropriate. What did you learn?

I/O Paravirtualization

The paravirtualization mechanism for I/O in Linux, used with KVM, is called virtio. Rusty Russell has written a paper about it.

SOSP 2007

The Symposium on Operating Systems Principles is the premiere conference on OS research. Held once every two years in some beautiful location, it's highly competitive and prestigious. Here is a list of the sessions from 2007's SOSP:

There were three best paper awards:

SOSP 2009

Here is a list of the sessions from 2009's SOSP:

There were three best paper awards:

Review

What are the basic roles of an operating system?

Vector clocks, from
				      Wikipedia

The Changing World

Any thought about systems today must consider the following facts:

Moving in a straight line is easy, changing directions is hard!

Top fuel drag racer, from
				      Wikipedia

Some Themes

Here are some ideas I consider to be important, looking forward:

How do we

computing systems that we do not fully understand?

Note that I am not condoning any "give up" attitude, or treating a computer as some mystical artifact that cannot be analyzed rigorously and scientifically!!!

Next Lecture

None! We're done!

Followup for this week:

その他 Additional Information