Everyone is expected to read every paper and be prepared to discuss them in class.
The course will give students a good background in seminal papers on operating system design issues. We will cover many topics including multi-core, synchronization, security, storage and file systems, virtual machines, and language-driven design. The group project will provide students with the opportunity to work on a small project in the area and conduct further investigation and problem solving on their own.
A one page response to each paper is due in class or by email before the start of class. See the reading list page.
Students will present (most likely 2) papers from the reading list and lead the class discussion. You should cover the background material including the basic design, implementation, and evaluation of the system. A great presentation should lead directly to a discussion around the paper's design decisions, assumptions, and results. Students who present a third paper will have their lowest presentation grade dropped.
Students are generally not permitted to submit the same work for credit in multiple classes, e.g., do not present the same paper in multiple seminars.
Students are expected to follow the university policies.
The Office for Persons with Disabilities (OPD), located in Needles Hall, Room 1132, collaborates with all academic departments to arrange appropriate accommodations for students with disabilities without compromising the academic integrity of the curriculum. If you require academic accommodations to lessen the impact of your disability, please register with the OPD at the beginnieach academic term.
This reading list will be in-flux, but we will start with next weeks papers.
Week | Tuesday | Thursday |
---|---|---|
1/6—1/10 | No Class | First Day |
1/13—1/17 | The Evolution of the Unix Time-sharing System | Pilot: An Operating System for a Personal Computer |
1/20—1/24 | Singularity: Rethinking the Software Stack | Disco: Running Commodity Operating Systems on Scalable Multiprocessors |
1/27—1/31 | Effective Data-Race Detection for the Kernel | KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels |
2/3—2/7 | LegoOS: A Disseminated, Distributed OSfor Hardware Resource Disaggregation | Hacking Blind |
2/10—2/14 | SPECTRE | Avoiding the Disk Bottleneck in the Data Domain Deduplication File System |
2/17—2/21 | Reading Week | Reading Week |
2/24—2/28 | Scalable Performance of the Panasas Parallel File System | HP AutoRAID |
3/2—3/8 | RAID 6 Paper | Control Jujutsu |
3/9—3/13 | Barrelfish | Biscuit |
3/16—3/20 | Overshadow | Drawbridge |
3/23—3/27 | TBD | TBD |
3/30—4/3 | Presentations | Presentations |
Week | Tuesday | Thursday |
---|
See Piazza posts.