Week |
Date |
Topic |
Reading and Assignments |
1 |
Thu, Sep 8 |
Course Introduction |
Hand: Are Virtual Machine
Monitors Microkernels Done Right?
Heiser: Are
Virtual-Machine Monitors Microkernels Done Right?
|
2 |
Tue, Sep 13 |
The Beginning of Timesharing |
Morning Paper Selection due by Monday
Morning Paper Review Selection due by Wednesday
Corbató:
An Experimental Time-Sharing System
Dijkstra: The Structure
of the "THE" Multiprogramming System
|
Thu, Sep 15 |
Early Virtual Memory |
Kilburn: One Level Storage System
Daley: Virtual Memory, Processes,
and Sharing in MULTICS
Bensoussan: The Multics Virtual
Memory:Concepts and Design
|
3 |
Tue, Sep 20 |
Microkernels |
Rashid: From RIG to Accent
to Mach: The Evolution of a Network Operating System
Leidtke: On micro-kernel
Construction
|
Thu, Sep 22 |
Introduction to Virtual Machines |
Meyer: A virtual machine
time-sharing system.
Bugnion: Disco: running commodity
operating systems on scalable multiprocessors
|
4 |
Tue, Sep 27 |
Modern Virtual Machine Monitors |
Barham: Xen and the Art
of Virtualization
Kivity:
OSv—Optimizing the Operating System for Virtual Machines
|
Thu, Sep 29 |
New Computing Paradigms |
Assignment 1 due FRIDAY Sep 30 at 5:00 PM
Soltesz:
Container-based Operating System Virtualization:
A Scalable, High-performance Alternative to Hypervisors
Agache: Firecracker:
Lightweight Virtualization for Serverless Applications
|
5 |
Tue, Oct 4 |
Operating systems in User space |
Engler: Exokernel: An Operating
System Architecture for Application-Level Resource
Management
Porter: Rethinking the Library
OS from the Top Down
|
Thu, Oct 6 |
New Isolation Mechanisms |
Project Proposal and Research Plan due FRIDAY Oct 7 at 5:00 PM
Litton:
Light-weight Contexts:
An OS Abstraction for Safety and Performance
Narayanan:
LXDs: Towards Isolation of Kernel Subsystems
|
6 |
Tue, Oct 11 |
Language-level Isolation |
Hunt: An Overview of the
Singularity Project
Narayanan:
RedLeaf: Isolation and Communication in a Safe Operating System
|
Thu, Oct 13 |
Rethinking OS Structure |
Boos: Theseus:
an Experiment in Operating System Structure and State
Management
Wang: Tinkertoy:
Build your own operating systems for IoT devices
|
7 |
Tue, Oct 18 |
How Hardware Changes Affect Systems |
Schedule First Project Status meeting
Quiz #1: History and OS archiectures
Please complete paper survey
Gamsa:
Tornado: Maximizing Locality and Concurrency
in a Shared Memory Multiprocessor Operating System
|
Thu, Oct 20 |
Multicore/multiprocessor Operating Systems |
Baumann:
The Multikernel: A New
OS Architecture for Scalable Multicore Systems
Bhardwaj:
NrOS:
Effective Replication and Sharing in an Operating System
|
8 |
Tue, Oct 25 |
And how Systems Affect Hardware |
Korolija:
Do OS abstractions make sense on FPGAs?
Cock: Enzian:
An Open, General, CPU/FPGA Platform for Systems Software Research
|
Tue, Oct 27 |
Component-based OS and Code Synthesis for Optimization |
Shan: LegoOS:
A Disseminated, Distributed OS for Hardware Resource Disaggregation
Jing:
Operating System Support for Safe and Efficient Auxiliary Execution
|
9 |
Tue, Nov 1 |
Networking affects OS structure too |
Schedule Second Project Status meeting
Peter:
Arrakis: The Operating System is the Control Plane
Zhang:
The Demikernel Datapath OS Architecture for
Microsecond-scale Datacenter Systems
|
Thu, Nov 3 |
How Serverless Changes Systems |
Shillaker:
Faasm: Lightweight Isolation for Efficient Stateful Serverless
Computing
Sriraman:
µSuite: A Benchmark Suite for Microservices
|
10 |
Tue, Nov 8 |
What about Security? (Verification) |
Klein: seL4: Formal
Verification of an OS Kernel
Nelson:
Hyperkernel: Push-Button Verification of an OS Kernel
|
Thu, Nov 10 |
No class -- mid-winter break |
11 |
Tue, Nov 15 |
Persistence: Disk-based File Systems |
McKusick:
A Fast File System for UNIX
Rosenblum:
The Design and
Implementation of a Log-Structured File System
|
Thu, Nov 17 |
State in Network File Systems |
Sandberg: Design and
Implementation of the Sun Network Filesystem
Howard: Scale and Performance in
a Distributed File System
|
12 |
Tue, Nov 22 |
When Disks Stop Spinning |
Kim: A
Space-Efficient Flash Translation Layer for Compact Flash
Systems
Wu: SCMFS:
A File System for Storage Class Memory
|
Thu, Nov 24 |
An OS for Persistent Memory |
Quiz #2: Hardware, Verification, and File Systems (oh my)
Project First Draft Due by SUNDAY, November 27 at 9:00 PM
Please complete paper survey
Bittman:
Twizzler: a Data-Centric OS for Non-Volatile Memory
|
13 |
Tue, Nov 29 |
Project Presentations I |
|
Thu, Dec 1 |
Project Presentations II |
|
14 |
Tue, Dec 6 |
Mock Program Committee |
Paper Reviews due by MONDAY, December 5 at 5:00pm
(Last Day of Class)
|
Thu, Dec 8 |
No classes |
15 |
Tue, Dec 13 |
Exam Period |
Thu, Dec 15 |
16 |
Mon, Dec 19 |
FINAL PROJECT |
Final projects due at 5:00 PM
|
The following papers are a collection of bits of wisdom
on systems design, doing research, writing papers, and giving
presentations. Some are papers you may have discussed in other classes;
if you haven't read these, put them on the stack of, "Things I really should
read some time." Most are quite light and won't take long.
The papers are listed alphabetically by first author and title.