This repository contains summaries of several milestone research papers, based on the background and the development of modern day operating systems.
- Exokernels: An Operating System Architecture for Application-Level Resource Management
- The Multikernel: A New OS Architecture for Scalable Multicore Systems
- FlexSC: Flexible System Call Scheduling with Exception-Less System Calls
- The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS
- Everything You Always Wanted To Know About Synchronization But Were Afraid To Ask
- FastTrack: Efficient and Precise Dynamic Race Detection
- Shared Memory Consistency Models: A Tutorial
- Using Read-Copy-Update Techniques for System V IPC in the Linux 2.5 Kernel
- Practical, transparent operating system support for super pages
- Hoard: A Scalable Memory Allocator for Multithreaded Applications
- Durinn: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs
- The Sun Network Filesystem: Design, Implementation and Experience
- Speculative Execution in a Distributed File System
- Memory Resource Management in VMware ESX Server
- A Comparison of Software and Hardware Techniques for x86 Virtualization
- Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor
- Xen and the Art of Virtualization
- KVM: the Linux Virtual Machine Monitor
- kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
These summaries were written as a part of the course course CSE 506 Operating Systems by Prof. Dongyoon Lee at Stony Brook University.