- Reading lists
- CS 736 @ UW-Madison: Advanced Operating Systems
- CS 262a @ Berkeley: Advanced Topics in Computer Systems
- OSTEP (Operating Systems: Three Easy Pieces) is written by the brilliant Remzi & Andrea and each chapter is followed by a lovely reading list about the topic covered in the chapter.
- Some reading notes by individuals:
- Zeyuan Hu's paper reading notes, with a focus on database systems
- An open-source reading notes in CN, with a focus on virtualization and distributed systems
| Title | Venue |
|---|---|
- Mnemosyne: Lightweight Persistent Memory
- Level Hash: Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory
- Monitors: An Operating System Structuring Concept
- Mesa: Experiences with Processes and Monitors in Mesa
- Scalability Analysis: An Analysis of Linux Scalability to Many Cores
- Scalable Commutativity: The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
- (Delegation/RCL) Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications
- Shuffle Locks: Scalable and Practical Locking with Shuffling
- Arachne: Core-Aware Thread Management
- SEDA: An Architecture for Well-Conditioned, Scalable Internet Services
- TAM: Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models
- THE: The Structure of "THE" Multiprogramming System
- Nucleus: The Nucleus of a Multiprogramming System
- Exokernel: An Operating System Architecture for Application-Level Resource Management
- Arrakis: The Operating System is the Control Plane
- UNIX: The UNIX Time-Sharing System
- seL4: Formal Verification of an OS Kernel