Advanced Operating Systems

CS 644

Fall 2009

MW 9:45-11, SC 336

General Information

Instructor

Jeanna Matthews
Office: Science Center 389
Phone: 268-6288
E-mail: jnm@clarkson.edu
Homepage: http://www.clarkson.edu/~jnm
Class Times: MWF 10-11, COSI lab
Office Hours: M 9-9:30,11-12, W 9-9:30, F 9-12

Papers

I expect to discuss 1-3 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?

Objectives

Outcomes

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

Tentative Syllabus

Date Topic Other Notes
Mon
8/24
Introduction, Course Logistics, What is Research
An Evaluation of the Ninth SOSP Submissions
Efficient Reading of Papers in Science and Technology
For Weds, look over SOSP07 , OSDI08 and SOSP09 programs and SIGOPS Hall of Fame
Weds
8/26
Discussion: What is systems research? Hot topics? Current vs classic
Mon
8/31
SOSP07: Sinfonia: A New Paradigm for Building Scalable Distributed Systems ( 1 of 3 best papers)
Dynamo: Amazon's Highly Available Key-Value Store ( 1 of 3 audience choice papers)
Weds
9/2
CLASSICS: Multics vs UNIX
The Multics Virtual Memory: Concepts and Design
The UNIX Time Sharing System
Mon
9/7
OSDI08 Best papers (2 of 3): Difference Engine: Harnessing Memory Redundancy in Virtual Machines and DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language MapReduce
Weds
9/9
SOSP09 (Scalability): FAWN: A Fast Array of Wimpy Nodes and RouteBricks: Exploiting Parallelism to Scale Software Routers
Mon
9/14
SOSP09 (Clusters): UpRight Cluster Services and Distributed Aggregation for Data-Parallel Computing: Interfaces and Implementations
Weds
9/16
SOSP09 (I/O): Better I/O Through Byte-Addressable, Persistent Memory and Modular Data Storage with Anvil
Mon
9/21
SOSP09 (I/0 and Security): Operating Systems Transactions and Heat-ray: Combating Identity Snowball Attacks using Machine Learning, Combinatorial Optimization and Attack Graphs
Weds
9/23
SOSP09 (Security): Improving Application Security with Data Flow Assertions and project discussion
Mon
9/28
NO CLASS: FALL RECESS
Weds
9/30
Fabric: A Platform for Secure Distributed Computation and Storage and project discussion
Mon
10/5
SOSP09 (Kernels): seL4 and Helios List of 5 related works to Difference Engine
Reply to Eli's mail
Wed
10/7
SOSP09 (Device Drivers): Fast Byte-granularity Software Fault Isolation and Tolerating Hardware Device Failures in Software
Mon
10/12
Eli leading The Multikernel: A New OS Architecture for Scalable Multicore Systems
Tao leading Quincy: Fair Scheduling for Distributed Computing Clusters
Weds
10/14
Jacob leading Mnesia: A Distributed Robust DBMS for Telecommunications Applications
Mon
10/19
SOSP Debriefing and Project Planning
Weds
10/21
Surviving Sensor Network Software Faults and Memory Resource Management in VMware ESX Server
Mon
10/26
Hey, You, Get Off of My Cloud: Exploring Information Leakage in Third-Party Compute Clouds Project related: Redundancy Elimination Within Large Collections of Files
Weds
10/28
Finish "Redundancy Elimination", Project discussion, Brainstorming
Mon
11/2
No papers :-); Work on projects; Overview of Security conferences/venues (CCS, SP, Usenix Security, etc.) and some great security papers Some less academic venues: BlackHat, Defcon , CanSecWest, ToorCamp
Wed
11/4
Secure QEMU (Jacob Torrey); Project related: The Effectiveness of Deduplication on Virtual Machine Disk Images (Tao Yang)
Mon
11/9
Best Student Paper from SP2009: Automatic Reverse Engineering of Malware Emulators (Wenjin Hu)
Outstanding Student Paper from Usenix Security 2009: Vanish , More of the story , Defeating Vanish with Low-Cost Sybil Attacks Against Large DHTs
Wed
11/11
Satori: short , long (Eli Dow)
Storage Venue Overview: FAST , MSST
Workshops: HotStorage , SNAPI , SISW
Mon
11/16
Best paper from FAST09: CA-NFS: A Congestion-Aware Network File System
Demystifying data deduplication
Wed
11/18
Storage: Cumulus: Filesystem Backup to the Cloud ,
Spyglass: Fast, Scalable Metadata Search for Large-Scale Storage Systems
Mon
11/23
CLASSICS: Plan 9 from Bell Labs
The Structure of the THE Multiprogramming System
Plan 9 - not from Bell labs
Wed
11/25
NO CLASS- THANKSGIVING BREAK
Mon
11/30
Project status
Wed
12/2
CLASSICS
Butler Lampson's Turing Award Leture: Principles for Computer System Design
10 years earlier: Hints for Computer System Design
Tue
12/8
FINALS WEEK: 11-2 AM, COSI
Fri
12/11
PROJECT WRITEUP/ PAPER NOTES by noon

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

OSDI

HOTOS05