Operating Systems Papers - Index

Meta stuff
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
Source: http://pages.cs.wisc.edu/~remzi/OSTEP/
Some other stuff
​CS 262a @ Berkeley Fall 2020 class summary slides​
​Systems Benchmarking Crimes​
Table of Contents
File and Storage Systems
Title
Venue
​FFS: A Fast File System for UNIX​
ACM Transactions on Computer Systems ‘84
​NFS: Sun's Network File System​
USENIX '86
​RAID: A Case for Redundant Arrays of Inexpensive Disks​
SIGMOD ‘88
​LFS: The Design and Implementation of a Log-Structured File System​
ACM Transactions on Computer Systems ‘92
​SnapMirror: File-System-Based Asynchronous Mirroring for Disaster Recovery​
FAST '02
​Venti: A New Approach to Archival Storage​
FAST '02
​ARC: A Self-Tuning, Low Overhead Replacement Cache​
FAST '03
​RDP: Row-Diagonal Parity for Double Disk Failure Correction​
FAST '04
​Data Domain: Avoiding the Disk Bottleneck in the Data Domain Deduplication File System​
FAST '08
​Mnemosyne: Lightweight Persistent Memory​
ASPLOS '11
​A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications​
SOSP '11
​OptFS: Optimistic Crash Consistency​
SOSP '13
​All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications​
OSDI '14
​The Unwritten Contract of Solid State Drives​
EuroSys '17
​From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees​
OSDI '20
​CheckFreq: Frequent, Fine-Grained DNN Checkpointing​
FAST '21
Process Synchronization and Scalability ( 🥵 )
Title
Venue
​
​
Scheduling
Title
Venue
​Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism​
ACM SIGOPS '91
​Lottery Scheduling: Flexible Proportional-Share Resource Management​
OSDI '94
​Resource Containers: A New Facility for Resource Management in Server Systems​
OSDI '99
​The Linux Scheduler: A Decade of Wasted Cores​
EuroSys '16
​Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks​
SOSP '17
​Gandiva: Introspective Cluster Scheduling for Deep Learning​
OSDI '18
​Tiresias: A GPU Cluster Manager for Distributed Deep Learning​
NSDI '19
​Themis: Fair and Efficient GPU Cluster Scheduling​
NSDI '20
OS Structure and Virtual Machines
Title
Venue
​Disco: Running Commodity Operating Systems on Scalable Multiprocessors​
SOSP '97
​Memory Resource Management in VMWare ESX Server​
OSDI '02
​ReVirt: Enabling Intrusion Analysis through Virtual Machine Logging and Replay​
OSDI '02
​Biscuit: The benefits and costs of writing a POSIX kernel in a high-level language​
OSDI '18
​LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation​
OSDI '18
To Read
To move from local note to GitBook
File and Storage Systems
Mnemosyne: Lightweight Persistent Memory
Level Hash: Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory
Process Synchronization and Scalability
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
Scheduling
SEDA: An Architecture for Well-Conditioned, Scalable Internet Services
TAM: Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models
OS Structure and Virtual Machines
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
To read
seL4: Formal Verification of an OS Kernel
​
​

4.2 Large Scale Data Storage

CS 736 @ UW-Madison Fall 2020 Reading List

Last modified 2yr ago

Title	Venue
FFS: A Fast File System for UNIX	ACM Transactions on Computer Systems ‘84
NFS: Sun's Network File System	USENIX '86
RAID: A Case for Redundant Arrays of Inexpensive Disks	SIGMOD ‘88
LFS: The Design and Implementation of a Log-Structured File System	ACM Transactions on Computer Systems ‘92
SnapMirror: File-System-Based Asynchronous Mirroring for Disaster Recovery	FAST '02
Venti: A New Approach to Archival Storage	FAST '02
ARC: A Self-Tuning, Low Overhead Replacement Cache	FAST '03
RDP: Row-Diagonal Parity for Double Disk Failure Correction	FAST '04
Data Domain: Avoiding the Disk Bottleneck in the Data Domain Deduplication File System	FAST '08
Mnemosyne: Lightweight Persistent Memory	ASPLOS '11
A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications	SOSP '11
OptFS: Optimistic Crash Consistency	SOSP '13
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications	OSDI '14
The Unwritten Contract of Solid State Drives	EuroSys '17
From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees	OSDI '20
CheckFreq: Frequent, Fine-Grained DNN Checkpointing	FAST '21

Title	Venue
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism	ACM SIGOPS '91
Lottery Scheduling: Flexible Proportional-Share Resource Management	OSDI '94
Resource Containers: A New Facility for Resource Management in Server Systems	OSDI '99
The Linux Scheduler: A Decade of Wasted Cores	EuroSys '16
Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks	SOSP '17
Gandiva: Introspective Cluster Scheduling for Deep Learning	OSDI '18
Tiresias: A GPU Cluster Manager for Distributed Deep Learning	NSDI '19
Themis: Fair and Efficient GPU Cluster Scheduling	NSDI '20

Title	Venue
Disco: Running Commodity Operating Systems on Scalable Multiprocessors	SOSP '97
Memory Resource Management in VMWare ESX Server	OSDI '02
ReVirt: Enabling Intrusion Analysis through Virtual Machine Logging and Replay	OSDI '02
Biscuit: The benefits and costs of writing a POSIX kernel in a high-level language	OSDI '18
LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation	OSDI '18