Rui's Blog

Operating Systems Papers - Index

Meta stuff


Table of Contents

File and Storage Systems

Process Synchronization and Scalability ( 🥵 )



OS Structure and Virtual Machines

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


  • 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