慶應義塾大学
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

SOSP

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 last year's SOSP:

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 analyze分析d rigorously and scientifically!!!

Next Lecture

None! We're done!

Followup for this week:

その他 Additional Information情報