http://people.clarkson.edu/~jnm/cs644/

CS 644

Advanced Operating Systems

Fall 2007 - 3 credits


General Information

Instructor

Jeanna Matthews
Office: Science Center 389
Phone: 268-6288
E-mail: [email protected]
Homepage: http://www.clarkson.edu/~jnm

Times

Class Times: MWF 1-2 (MW 12:45-2), COSI lab
Office Hours: TBA

Papers

I expect to discuss 1-2 papers per class period. The papers for each class will be listed in the syllabus below. A reaction is due in hard copy at the beginning of each class. The reaction should contain a summary of the paper and an answer to the following three questions: 1) What is the primary lesson you took away from this paper? 2) What do you think would be the most interesting way to extend this work? 3)If you had to list a criticism of this paper, what would it be?

Paper List

Objectives

Expose students to current and classical operating systems literature
Give students an understanding of what it means to do research in computer science and specifically operating systems
Teach students to critcially evaluate research papers
Tackle some challenging projects and write paper suitable for publication

Outcomes

Students will learn to read and critique research papers
Students will summarize and lead a discussion of research papers
Students will be familiar with classic operating systems literature
Students will know where to look for and where to publish operating system papers
Students will make substantial contributions to a large operating systems project that can be submitted for publication

Exams

There will be a final exam in this class.

Attendance

Participation in class discussions is an essential part of this class so attendance is required and the papers must be read prior to the class period.

Late Work

This is a small class and I expect to solicit group input when setting deadlines. Once set, I expect everyone to meet the deadlines.

Tentative Grading Scheme

  • 30% Class Discussion/Paper Reaction Portfolio
  • 5% Paper presentations
  • 35% Class Project
  • 30% Final Exam

Tentative Syllabus

Date Lecture Topic Other Notes
Mon
8/27
Introduction, Course Logistics, What is Research
SOSP07 program
SIGOPS Hall of Fame
Weds
8/29
An Evaluation of the Ninth SOSP Submissions
Efficient Reading of Papers in Science and Technology
Mon
9/3
CLASSICS:OS STRUCTURE
The "THE" , Nucleus
What does "THE" stand for? Technische Hoogeschool Eindhoven
Weds
9/5
CLASSICS:OTHER OS
Protection and the Control of Information in Multics , Plan 9 from Bell Labs
Introduction and Overview of Multics ,
UNIX
Mon
9/10
Plan9 Discussion, FFS
Weds
9/12
LFS
Mon
9/17
GFS
Weds
9/19
SOSP07 Storage
I/O Shepherding
Mon
9/24
Generalized File System Dependencies
Weds
9/26
SOSP07 Energy
Integrating Concurrency Control and Energy Management in Device Drivers
Mon
10/1
NO CLASS: FALL RECESS
Weds
10/3
VirtualPower: Coordinated Power Management in Virtualized Enterprise Systems
Mon
10/8
SOSP 2007 Software Robustness
Bouncer: Securing Software By Blocking Bad Input
Triage: Diagnosing Production Run Failures at the User's Site
Wed
10/10
iComments: Bugs or Bad Comments>
Mon
10/15
SOSP07 System Maintenance
Staged Deployment in Mirage, an Integrated Software Upgrade Testing and Distribution System
Weds
10/17
AutoBash: Improving Configuration Management with Operating System Causality Analysis
Mon
10/22
SOSP07 Operating System Security
Weds
10/24
Information Flow for Standard OS Abstractions
SecVisor
Mon
10/29
SecVisor; Project Status
Weds
10/31
Project status
Mon
11/5
Quick report on Secure Virtual Architecture
SOSP 07 Distributed Systems: Dynamo
Project status (figure analysis continued)
Wed
11/7
Dynamo
Mon
11/12
Sinfonia
Wed
11/14
PeerReview
Mon
11/19
Plan 9 ( not from Bell labs)
Wed
11/21
NO CLASS: THANKSGIVING
Mon
11/26
PeerReview
Wed
11/28
Zyzzava
Mon
12/3
TxLinux
Wed
12/5
CLASSICS
Butler Lampson's Turing Award Leture: Principles for Computer System Design
10 years earlier: Hints for Computer System Design
Mon
12/10
FINALS WEEK, ITL, 8-11 AM
Fri
12/14

Good places to look for operating systems papers

ACM's Computing Research Repository

Citeseer: The NECI Scientific Literature Digital Library

Computer Science Bibliographies

ACM SIGOPS

SOSP 2005

HOTOS05

OSDI 2004

OSDI 2000

Other Operating System Courses Of Interest

Introduction to Operating Systems at the University of Washington.

Graduate Operating Systems at the University of Washington.

Advanced Topics in Computer Systems A and B at the UC Berkeley (Operating Systems/Databases Systems together).

Advanced Course in Computer Systems 2001 or 1998 at Cornell

Computer Systms engineering at MIT

Advanced Topics in Operating Systems at Stanford University.

Treasure Trove of Paper Summaries from Armando Fox, Stanford.

Advanced Operating Systems and Distributed Systems at CMU.

Advanced Operating Systems at the University of Wisconsin, Madison.

Research Topics in Operating Systems at Harvard

Operating Systems II at Columbia

Operating Systems I at Columbia


Reply via email to