Rui's Blog
  • Rui's Blog/Paper Reading Notes - Introduction
  • Personal Blog
    • Personal Blog - Index
      • How to Create Picture-in-Picture Effect / Video Overlay for a Presentation Video
      • How to Do Your Part to Protect the Environment in Wisconsin
      • How to Get a Driver's License in Wisconsin
      • How to Travel from the U.S. to China onboard AA127 in June 2021
      • How to Transfer Credits Back to UW-Madison
      • Resources on Learning Academic Writing (for Computer Science)
    • Towards applying to CS Ph.D. programs
  • Machine Learning Systems
    • Machine Learning Systems - Index
      • MLSys Papers - Short Notes
      • [2011 NSDI] Dominant Resource Fairness: Fair Allocation of Multiple Resource Types
      • [2014 OSDI] Scaling Distributed Machine Learning with the Parameter Server
      • [2018 OSDI] Gandiva: Introspective Cluster Scheduling for Deep Learning
      • [2018 SIGCOMM] Chameleon: Scalable Adaptation of Video Analytics via Temporal and Cross-camera ...
      • [2018 NIPS] Dynamic Space-Time Scheduling for GPU Inference
      • [2019 ATC] Analysis of Large-Scale Multi-Tenant GPU Clusters for DNN Training Workloads
      • [2019 NSDI] Tiresias: A GPU Cluster Manager for Distributed Deep Learning
      • [2019 SOSP] ByteScheduler: A Generic Communication Scheduler for Distributed DNN Training ...
      • [2019 SOSP] PipeDream: Generalized Pipeline Parallelism for DNN Training
      • [2019 SOSP] Parity Models: Erasure-Coded Resilience for Prediction Serving Systems
      • [2019 NIPS] GPipe: Efficient Training of Giant Neural Networks using Pipeline Parallelism
      • [2019 SC] ZeRO: memory optimizations toward training trillion parameter models
      • [2020 OSDI] Gavel: Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads
      • [2020 OSDI] AntMan: Dynamic Scaling on GPU Clusters for Deep Learning
      • [2020 OSDI] BytePS: A High Performance and Generic Framework for Distributed DNN Training
      • [2020 SIGCOMM] Reducto: On-Camera Filtering for Resource-Efficient Real-Time Video Analytics
        • [2020 MLSys] Salus: Fine-Grained GPU Sharing Primitives for Deep Learning Applications
      • [2020 EuroSys] AlloX: Compute Allocation in Hybrid Clusters
      • [2020 VLDB] PyTorch Distributed: Experiences on Accelerating Data Parallel Training
      • [2020 NetAI] Is Network the Bottleneck of Distributed Training?
      • [2020 NSDI] Themis: Fair and Efficient GPU Cluster Scheduling
      • [2021 MLSys] Accordion: Adaptive Gradient Communication via Critical Learning Regime Identification
      • [2021 VLDB] Analyzing and Mitigating Data Stalls in DNN Training
      • [2021 FAST] CheckFreq: Frequent, Fine-Grained DNN Checkpointing
      • [2021 EuroMLSys] Interference-Aware Scheduling for Inference Serving
      • [2021 OSDI] Pollux: Co-adaptive Cluster Scheduling for Goodput-Optimized Deep Learning
      • [2021 MLSys] Wavelet: Efficient DNN Training with Tick-Tock Scheduling
      • [2021 NSDI] SwitchML: Scaling Distributed Machine Learning with In-Network Aggregation
    • Big Data Systems - Index
      • Big Data Systems Papers - Short Notes
      • [2003 SOSP] The Google File System
      • [2004 OSDI] MapReduce: Simplified Data Processing on Large Clusters
      • [2010 SIGMOD] Pregel: A System for Large-Scale Graph Processing
      • [2011 NSDI] Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center
      • [2012 NSDI] Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster ...
      • [2012 OSDI] PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs
      • [2019 FAST] DistCache: Provable Load Balancing for Large-Scale Storage Systems with Distributed...
      • [2021 HotOS] From Cloud Computing to Sky Computing
      • [2021 EuroSys] NextDoor: Accelerating graph sampling for graph machine learning using GPUs
  • Earlier Readings & Notes
    • High Performance Computing Course Notes
      • Lecture 1: Course Overview
      • Lecture 2: From Code to Instructions. The FDX Cycle. Instruction Level Parallelism.
      • Lecture 3: Superscalar architectures. Measuring Computer Performance. Memory Aspects.
      • Lecture 4: The memory hierarchy. Caches.
      • Lecture 5: Caches, wrap up. Virtual Memory.
      • Lecture 6: The Walls to Sequential Computing. Moore’s Law.
      • Lecture 7: Parallel Computing. Flynn's Taxonomy. Amdahl's Law.
      • Lecture 8: GPU Computing Intro. The CUDA Programming Model. CUDA Execution Configuration.
      • Lecture 9: GPU Memory Spaces
      • Lecture 10: GPU Scheduling Issues.
      • Lecture 11: Execution Divergence. Control Flow in CUDA. CUDA Shared Memory Issues.
      • Lecture 12: Global Memory Access Patterns and Implications.
      • Lecture 13: Atomic operations in CUDA. GPU ode optimization rules of thumb.
      • Lecture 14: CUDA Case Studies. (1) 1D Stencil Operation. (2) Vector Reduction in CUDA.
      • Lecture 15: CUDA Case Studies. (3) Parallel Prefix Scan on the GPU. Using Multiple Streams in CUDA.
      • Lecture 16: Streams, and overlapping data copy with execution.
      • Lecture 17: GPU Computing: Advanced Features.
      • Lecture 18: GPU Computing with thrust and cub.
      • Lecture 19: Hardware aspects relevant in multi-core, shared memory parallel computing.
      • Lecture 20: Multi-core Parallel Computing with OpenMP. Parallel Regions.
      • Lecture 21: OpenMP Work Sharing.
      • Lecture 22: OpenMP Work Sharing
      • Lecture 23: OpenMP NUMA Aspects. Caching and OpenMP.
      • Lecture 24: Critical Thinking. Code Optimization Aspects.
      • Lecture 25: Computing with Supercomputers.
      • Lecture 26: MPI Parallel Programming General Introduction. Point-to-Point Communication.
      • Lecture 27: MPI Parallel Programming Point-to-Point communication: Blocking vs. Non-blocking sends.
      • Lecture 28: MPI Parallel Programming: MPI Collectives. Overview of topics covered in the class.
    • Cloud Computing Course Notes
      • 1.1 Introduction to Clouds, MapReduce
      • 1.2 Gossip, Membership, and Grids
      • 1.3 P2P Systems
      • 1.4 Key-Value Stores, Time, and Ordering
      • 1.5 Classical Distributed Algorithms
      • 4.1 Spark, Hortonworks, HDFS, CAP
      • 4.2 Large Scale Data Storage
    • Operating Systems Papers - Index
      • CS 736 @ UW-Madison Fall 2020 Reading List
      • All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications
      • ARC: A Self-Tuning, Low Overhead Replacement Cache
      • A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications
      • Biscuit: The benefits and costs of writing a POSIX kernel in a high-level language
      • Data Domain: Avoiding the Disk Bottleneck in the Data Domain Deduplication File System
      • Disco: Running Commodity Operating Systems on Scalable Multiprocessors
      • FFS: A Fast File System for UNIX
      • From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees
      • LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation
      • LFS: The Design and Implementation of a Log-Structured File System
      • Lottery Scheduling: Flexible Proportional-Share Resource Management
      • Memory Resource Management in VMware ESX Server
      • Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks
      • NFS: Sun's Network File System
      • OptFS: Optimistic Crash Consistency
      • RAID: A Case for Redundant Arrays of Inexpensive Disks
      • RDP: Row-Diagonal Parity for Double Disk Failure Correction
      • Resource Containers: A New Facility for Resource Management in Server Systems
      • ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay
      • Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
      • SnapMirror: File-System-Based Asynchronous Mirroring for Disaster Recovery
      • The Linux Scheduler: a Decade of Wasted Cores
      • The Unwritten Contract of Solid State Drives
      • Venti: A New Approach to Archival Storage
    • Earlier Notes
      • How to read a paper
  • FIXME
    • Template for Paper Reading Notes
Powered by GitBook
On this page
  • File and Storage Systems
  • Process Synchronization and Scalability
  • Scheduling
  • OS Structure and Virtual Machines
  • Testing, Debugging, and Design
  • Other Relevant SIGOPS Hall of Fame Papers (not covered)

Was this helpful?

  1. Earlier Readings & Notes
  2. Operating Systems Papers - Index

CS 736 @ UW-Madison Fall 2020 Reading List

Imported from https://canvas.wisc.edu/courses/205576/pages/paper-list. The reading list was put together by Prof. Andrea Arpaci-Dusseau.

PreviousOperating Systems Papers - IndexNextAll File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications

Last updated 4 years ago

Was this helpful?

This semester, we are reading many of the paper that the OS community has placed into the SIGOPS . The SIGOPS Hall of Fame Award was instituted in 2005 to recognize the most influential Operating Systems papers that were published at least ten years in the past. We've marked those papers on our reading list that are in the Hall of Fame.

File and Storage Systems

  1. Background: Traditional Local File Systems -- FFS and LFS

    1. FFS - Background: McKusick, M.K., Joy, W.N., Leffler, S.J., and Fabry, R.S. , , ACM Transactions on Computer Systems, Vol. 2, No. 3, August 1984, pp. 181-197. SIGOPS Hall of Fame Award

    2. LFS - Rosenblum, M. and Ousterhout, J. , ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, pp. 26-52. SIGOPS Hall of Fame Award

  2. Background: Storage Technology -- RAID

    1. RAID Patterson, D., Gibson, G., and Katz, R., Proceedings of the 1988 ACM SIGMOD Conference on Management of Data, Chicago IL, June 1988. SIGOPS Hall of Fame Award

    2. RDP (No questions yet) Proceedings of USENIX File and Storage Technology (FAST), 2004, FAST Test of Time Award

  3. Measurement

    1. iBench Tyler Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles Pages 71-83 SOSP Best Paper, UW-Madison Authors

  4. Archival Storage and Deduplication-

    1. SnapMirror SnapMirror: File-System-Based Asynchronous Mirroring for Disaster Recovery,2002 FAST Test of Time Award

    2. Venti Venti: A New Approach to Archival Storage, 2002 FAST Test of Time Award

    3. Deduplication Avoiding the Disk Bottleneck in the Data Domain Deduplication File System,2008 FAST Test of Time Award

  5. Caching

    1. ARC (No questions yet) ARC: A Self-Tuning, Low Overhead Replacement Cache, 2003 FAST Test of Time Award

  6. Crash Consistency

    1. Alice - Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI '14) Broomfield, CO, October 2014. UW-Madison Authors

    2. OptFS - Vijay Chidambaram, Thanumalayan Sanakaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau Symposium on Operating System Principles, SOSP 2013 , UW-Madison Authors

  7. SSDs and Key-Value Stores

    1. , , , Proceedings of the 20th European Conference on Computer Systems (EuroSys '17) Belgrade, Serbia, April 2017. UW-Madison Authors

    2. Bourbon (preprint in hotcrp) Yifan Dai, Yien Xu, Aishwarya Ganesan, Ramnatthan Alagappan, Brian Kroth, Andrea Arpaci-Dusseau, and Remzi Arpaci-Dusseau. From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI’20), October 2020. UW-Madison Authors

      1. Optional Background: WiscKey - , , , Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST '16) UW-Madison Authors

  8. Persistent Memory

    1. Mnemosyne Haris Volos, Andres Jaan Tack, Michael M. Swift. , ASPLOS '11: Proceedings of the 16th International Conference on Architectural, UW-Madison Authors

    2. Level Hash - Pengfei Zuo, Yu Hua, and Jie Wu, Huazhong University of Science and Technology, OSDI'18

  9. Graph Processing - Don't read

    1. GraphChi - Aapo Kyrola and Guy Blelloch and Carlos Guestrin USENIX Symposium on Operating Systems Design and Implementation (OSDI'12).

    2. Xstream Amitabha Roy, Ivo Mihailovic, Willy Zwaenepoel Symposium on Operating Systems Principles (2013).

    3. FlashGraph Da Zheng and Disa Mhembere and Randal Burns and Joshua Vogelstein and Carey E. Priebe and Alexander S. Szalay, Conference on File and Storage Technologies (FAST 2015)

Process Synchronization and Scalability

  1. OS Scalability: Measurement and Redesign

  2. Alternate Locking Primitives

Scheduling

  1. Background: Threads and Events

  2. Background: Local CPU Schedulers and Resource Tracking

  3. Measurement: Linux and System Services

  4. Current System Scheduling

  5. Current System Scheduling 2

OS Structure and Virtual Machines

  1. Background: Layered vs. Extensible Kernels

  2. Microkernels: Concepts and Measurements

  3. Monolithic, Disaggregation, and HLLs

  4. Virtual Machines

Testing, Debugging, and Design

  1. Profiling and Binary Code

    1. KernInst Ariel Tamches and Barton P. Miller, "Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels",3rd Symposium on Operating Systems Design and Implementation (OSDI),New Orleans, Louisiana, February 1999. UW-Madison Authors

      1. Optional

        1. Nathan E. Rosenblum, Xiaojin (Jerry) Zhu and Barton P. Miller, "Who Wrote This Code? Identifying the Authors of Program Binaries", 2011 European Symposium on Research in Computer Security (ESORICS), Leuven, Belgium, September 2011. UW-Madison Authors

  2. Symbolic Execution and Debugging Experience

    1. KLEE Cristian Cadar, Daniel Dunbar, and Dawson Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI’08, SIGOPS Hall of Fame Award

    2. Debug Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, and Galen Hunt.Debugging in the (Very) Large: Ten Years of Implementation and Experience. In SOSP ’09, SIGOPS Hall of Fame Award

  3. Summary of System Design

Other Relevant SIGOPS Hall of Fame Papers (not covered)

Background: Monitors, Theory and Practice-

Monitors C.A.R. Hoare Communications of the ACM 17, 10, October 1974, pp. 549-557

Mesa Butler W. Lampson, David D. Redell Communications of the ACM, 23 2, February 1980, pp. 105-117. SIGOPS Hall of Fame Award

Measurement - Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, and Nickolai Zeldovich In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI), Vancouver, Canada, October 2010

Scalable Commutativity - Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, and Eddie Kohler In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP), Farmington, PA, November 2013.

Delegation - Jean-Pierre Lozi and Florian David and Gael Thomas and Julia Lawall and Gilles Muller, USENIX Annual Technical Conference (ATC'12), 2012.

Shuffle Locks Sanidhya Kashyap, Irina Calciu, Xiaohe Cheng, Changwoo Min, Taesoo Kim, g, SOSP'19

Scheduler Activations - Anderson, T., Bershad, B., Lazowska, E., and Levy, H. ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, pp. 53-79.

SEDA Matt Welsh, David Culler, Eric Brewer (UC Berkeley) SOSP'01

Lottery Scheduling - Waldspurger, C.A. and Weihl, W.E. Proceedings of the First Symposium on Operating Systems Design and Implementation, Monterey CA, November 1994, pp. 1-11.

Resource Containers - Banga, G., Druschel, P,. Mogul, J. Proceedings of the Third Symposium on Operating System Design and Implementation (OSDI-III), New Orleans, LA, February, 1999, 45-58.

Linux Scheduler Jean-Pierre Lozi (Université de Nice Sophia-Antipolis), Baptiste Lepers (Ecole Polytechnique Fédérale de Lausanne), Justin Funston (University of British Columbia), Fabien Gaud (Coho Data), Vivien Quéma (Grenoble INP / ENSIMAG), Alexandra Fedorova Eurosys 2016

TAM - Suli Yang, Jing Liu, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau (OSDI'18) UW-Madison Authors

Optional Background Split-Level I/O SchedulingSuli Yang, Tyler Harter, Nishant Agrawal, Salini Selvaraj Kowsalya, Anand Krishnamurthy, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP '15) UW-Madison Authors

Monotasks - Kay Ousterhout (UC Berkeley); Christopher Canel (Carnegie Mellon University); Sylvia Ratnasamy (UC Berkeley); Scott Shenker , SOSP'17

Arachne - Henry Qin, Qian Li, Jacqueline Speiser, Peter Kraft, and John Ousterhout,Stanford University,

ThemisKshiteej Mahajan, Arjun Balasubramanian, Arjun Singhvi, Shivaram Venkataraman, and Aditya Akella, University of Wisconsin-Madison;Amar Phanishayee,Microsoft Research;Shuchi Chawla,University of Wisconsin-Madison, - NSDI 2020, UW-Madison Authors

THE - Edsger W. Dijkstra Communications of the ACM 11(5), May 1968. SIGOPS Hall of Fame Award

Nucleus - Per Brinch Hansen, Communications of the ACM 13(4), April 1970

Exokernel - Dawson R. Engler, M. Frans Kaashoek, and James O’Toole Jr SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles

Arrakis Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, and Thomas Anderson, University of Washington; Timothy Roscoe, ETH Zürich OSDI'14

Optional Background - Barrelfish Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, and Akhilesh Singhania. In Proceedings of the 22nd ACM Symposium on OS Principles, Big Sky, MT, USA, October 2009

UNIX Ritchie, D.M. and Thompson, K. Communications of the ACM, Vol. 17, No. 7, July 1974, pp. 365-375. SIGOPS Hall of Fame Award

Disaggregation Yizhou Shan, Yutong Huang, Yilun Chen, and Yiying Zhang, OSDI 2018

HLLs - Cody Cutler, M. Frans Kaashoek, and Robert T. Morris, MIT CSAIL, OSDI 2018

Disco - Edouard Bugnion, Scott Devine, Mendel Rosenblum. Proceedings of The Sixteenth Symposium on Operating Systems Principles (October 1997). SIGOPS Hall of Fame Award

ESX - Carl A. Waldspurger In Proc. Fifth Symposium on Operating Systems Design and Implementation (OSDI ’02), Dec. 2002 SIGOPS Hall of Fame Award

Revirt George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza A. Basrai, and Peter M. Chen. . In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI '02), 2002, 211-224. SIGOPS Hall of Fame Award

Optional Overview Bugnion, Nief, Tsafir, Synthesis Lectures on Computer Architecture

and Barton P. Miller, Binary Code is Not Easy, International Symposium on Software Testing and Analysis, 2016 UW-Madison Authors

Hints Butler Lampson , Proceedings of the Ninth ACM Symposium on Operating Systems Principles, pp. 33-48, October 1983, Bretton Woods, NH, USA. SIGOPS Hall of Fame Award

Daniel G. Bobrow, Jerry D. Burchfiel, Daniel L. Murphy and Raymond S. Tomlinson. Communications of the ACM 15(3), March 1972.

Daley, R.C., and Dennis, J.B. Communications of the ACM, Vol. 11, No. 5, May 1968, pp. 306-312. (Multics paper in )

R. Rashid and A. Tevanian and M. Young and D. Golub and R. Baron and D. Black and W. Bolosky and J. Chew, Proceedings of the 2nd International Conference on Architectural Support for Programming Languages and Operating System (ASPLOS), 1987. (Mach in )

J. Liedtke. . In Proceedings of the 15th ACM symposium on Operating Systems Principles (SOSP '95), December 1995, 237-250.

Hall of Fame (Links to an external site.)
Schedule
Questions,
Disk Questions
A Fast File System for UNIXLinks to an external site.
Questions
The Design and Implementation of a Log-Structured File SystemLinks to an external site.
- Questions
A Case for Redundant Arrays of Inexpensive Disks (RAID)Links to an external site.
Row-Diagonal Parity for Double Disk Failure Correction (Links to an external site.)
, (Links to an external site.)
- Questions
A file is not a file: understanding the I/O behavior of Apple desktop applications Links to an external site.
Questions
Questions
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications Links to an external site.
Questions
Optimistic Crash Consistency Links to an external site.
Unwritten SSD Contract Jun HeLinks to an external site.
Sudarsun KannanLinks to an external site.
Andrea C. Arpaci-DusseauLinks to an external site.
Remzi H. Arpaci-DusseauLinks to an external site.
The Unwritten Contract of Solid State Drives Links to an external site.
Questions
Lanyue LuLinks to an external site.
Thanumalayan Sankaranarayana PillaiLinks to an external site.
Andrea C. Arpaci-DusseauLinks to an external site.
Remzi H. Arpaci-DusseauLinks to an external site.
WiscKey: Separating Keys from Values in SSD-conscious Storage Links to an external site.
Mnemosyne: Lightweight Persistent MemoryLinks to an external site.
Questions
Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory (Links to an external site.)
Links to an external site.
Questions for all 3 papers
GraphChi: Large-Scale Graph Computation on Just a PC. (Links to an external site.)
Xstream: Edge-centric graph processing using streaming partitions. (Links to an external site.)
FlashGraph: Processing Billion-Node Graphs on an Array of Commodity SSDs, (Links to an external site.)
Questions: Monitors
Monitors: An Operating System Structuring Concept Links to an external site.
Experiences with Processes and Monitors in Mesa Links to an external site.
(Links to an external site.)
Questions
An Analysis of Linux Scalability to Many Cores (Links to an external site.)
Questions
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors. (Links to an external site.)
Questions: Delegation
Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications, (Links to an external site.)
Scalable and Practical Locking with Shufflin (Links to an external site.)
Questions
Scheduler Activations: Effective Kernel Support for the User-Level Management of ParallelismLinks to an external site.
SEDA: An Architecture for Well-Conditioned, Scalable Internet Services (Links to an external site.)
Questions
Lottery Scheduling: Flexible Proportional-Share Resource Mangement Links to an external site.
Questions
Resource Containers: A New Facility for Resource Management in Server SystemsLinks to an external site.
The Linux Scheduler: A Decade of Wasted Cores. (Links to an external site.)
Questions
Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models (Links to an external site.)
Links to an external site.
Split-Level I/O Scheduling Links to an external site.
Questions
Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks (Links to an external site.)
Questions: Arachne
(Links to an external site.)
Arachne: Core-Aware Thread Management (Links to an external site.)
OSDI'18 (Links to an external site.)
(Links to an external site.)
(Links to an external site.)
Themis: Fair and Efficient GPU Cluster Scheduling (Links to an external site.)
Questions
The Structure of the "THE" Multiprogramming SystemLinks to an external site.
Questions
The Nucleus of a Multiprogramming SystemLinks to an external site.
Questions
Exokernel: An Operating System Architecture for Application-Level Resource Management (Links to an external site.)
Arrakis: The Operating System is the Control Plane, (Links to an external site.)
The Multikernel: A new OS architecture for scalable multicore systems (Links to an external site.)
. (Links to an external site.)
The UNIX Time-Sharing SystemLinks to an external site.
LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation, (Links to an external site.)
Questions
The benefits and costs of writing a POSIX kernel in a high-level language, (Links to an external site.)
Questions
Disco: Running Commodity Operating Systems on Scalable MultiprocessorsLinks to an external site.
(Links to an external site.)
Questions
Memory Resource Management in VMware ESX Server Links to an external site.
ReVirt: Enabling intrusion analysis through virtual-machine logging and replay (Links to an external site.)
Hardware and Software Support for Virtualization
Xiaozhu Meng (Links to an external site.)
Hints for Computer System Design (Links to an external site.)
Tenex, A Paged Time Sharing System for the PDP-10 (Links to an external site.)
SIGOPS Hall of Fame Award (Links to an external site.)
Virtual Memory, Processes, and Sharing in MULTICSLinks to an external site.
SIGOPS Hall of Fame (Links to an external site.)
Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor ArchitecturesLinks to an external site.
SIGOPS Hall of Fame Award (Links to an external site.)
SIGOPS Hall of Fame (Links to an external site.)
On micro-kernel construction (Links to an external site.)
SIGOPS Hall of Fame Award (Links to an external site.)