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