CSE 231
| Date | Type | Topic | Readings | Auxilary Material | Due |
|---|---|---|---|---|---|
| 09/23 | Lesson | Course Overview | System Research Faces OStep worse is better Hints for Design |
||
| 09/26 | Lesson | Reading, Reviews, and History | Unix | How to Read a paper Paper reading advice Multics Memory Multics IO |
About You |
| 09/28 | Lesson | Projects and u-kernels | u-Kernel Construction | Brinch Hansen From Rig to Mach |
Review |
| 09/30 | Discussion | The Exokernel and other things | The Exokernel | Exokernel Performance | Review |
| 10/03 | Discussion | The Multikernel | The MultiKernel | Linux Scalability | Review |
| 10/05 | Discussion | Project Meetings | – | – | – |
| 10/07 | Discussion | On Interfaces | Scalable Commutativity | Review Project Proposal |
|
| 10/10 | Lesson | Scheduling | A decade of wasted cores | Review | |
| 10/12 | Discussion | Scheduler Policies | Lottery Scheduling | Review | |
| 10/14 | Discussion | Scheduler designs | Scheduler Activations | Review | |
| 10/17 | Lesson | File Systems | A Fast File-System for UNIX | Review Reflection |
|
| 10/19 | Discussion | Log-Structured File System | LFS | Clustering vs. logging | Review |
| 10/21 | Cancelled | – | – | – | – |
| 10/24 | Discussion | Distributed File Systems | Speculator | Review | |
| 10/26 | Discussion | Single Level Stores | Eros | Review | |
| 10/28 | Lesson | Virtualization | Virtualization Requirements | Review | |
| 10/31 | Discussion | Para-virtualization | Xen | Review | |
| 11/02 | Discussion | Making Virtualization Efficient | Ballooning | Review | |
| 11/04 | Lesson | Reliability | Why do Computers stop | Review | |
| 11/07 | Discussion | Finding Bugs | Eraser | Review Mid Report |
|
| 11/09 | Presentations | Isolating Failures | PCC | Review | |
| 11/11 | No Class | Veteran’s Day | – | – | – |
| 11/14 | Presentations | Students Choices | LightVM (Tamir, Ananya) Fault Isolation (Jimmy, Apostolos) |
Review Reflection |
|
| 11/16 | No Class | IAB Meeting | – | – | – |
| 11/18 | Presentations | Students Choices | Kairux (Arka, Tongze) Bugs as Deviance (Sebastian, Shun) |
Review | |
| 11/21 | Presentations | Students Choices | Microreboot (Mitchell, Aakash, Diego) Aurora by Achilles, Aditya, and Pooneh |
Review Reflection |
|
| 11/23 | No Class | Thanksgiving | – | – | – |
| 11/25 | No Class | Thanksgiving | – | – | – |
| 11/28 | Presentations | Students Choices | Theseus (Yiwei, Kai, Zheyuan) Failure-Oblivous Computing (Farid, Tim) |
Review | |
| 11/30 | Presentations | Students Choices | DemiKernel (Nilesh, Jayjeet, Hamza) LegoOS (Supraja, Amin, Brian) |
Review | |
| 12/02 | Debate | Distributed Systems: RPC vs DSM |
Implementing RPC Ivy |
Review | |
| 12/07 | No Class | – | – | – | Final Report |
Paper Pool for Presentations
| Area | Paper | Description |
|---|---|---|
| Cool Kernels | Theseus | What if we wrote OSes in Rust? |
| Cool Kernels | LegoOS | How should OSes be designed for disaggregation? |
| Cool Kernels | The DemiKernel | How small can we make the Operating System? |
| Cool Kernels | Lightweight Contexts | A new isolation abstraction for safe and efficient applications |
| Cool Kernels | Zap | A new abstraction to migrate applications across machines |
| Cool Kernels | Resource Containers | A new abstraction for tracking resources |
| Cool Storage | TxOS | What if FSes had transactions? |
| Cool Storage | OptFS | A new logging technique for FS Consistency |
| Cool Storage | Rethink the Sync | Using speculation go get synchronous FS behavior for asynchronous FS cost |
| Cool Stroage | Aurora | What if your OS was always checkpointing? |
| Cool Stroage | Twizzler | What if everything is an object? |
| Cool Virtualization | Hypervisor | How can we get transparent fault tolerance? |
| Cool Virtualization | LightVM | How small can we make VMs? |
| Cool Virtualization | IX | Can we use this virtualization stuff for faster networking? |
| Cool Reliability | Kairux | What even is a bug? |
| Cool Reliability | Bugs as Deviant Behavior | Detecting software bugs as |
| Cool Reliability | Microreboot | ``Have you tried turning it off and on again?’’ |
| Cool Reliability | Failure-Oblivous Computing | Try ignoring the failure and see if it goes away |
| Cool Reliability | Software-based Fault Isolation | Isolating module failures with software |