Schedule

May 29 – Jun 2

OS Review

Well, this section isn't really “papers.” The hope is that you have some vague memory of an undergraduate course in operating systems, and below are a few links to on-line resources to help you review. Feel free as well to use any notes or text or any other resource you may have.

Thomas Bennet, “Notes from CSc 422 F21.” Web page

Paul Krzyzanowski, “File Systems (class notes at Rutgers).” Web page

John Bell, “Virtual Memory (class notes at U of Illinois, Chicago).” Web page

Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy Pieces, “Chapter 42: Crash Consistency: FSCK and Journaling,”

Jun 5 – 9

Historical Papers

Some older papers which are of historical interest.

F. J. Corbató, and V. A. Vyssotosky, “Introduction and Overview of the Multics System.” In AFIPS Fall Joint Computer Conference, 1965, pp. 185-196

Robert M. Graham, “Protection in an information processing utility.” Commun. ACM 11, 5 (May 1, 1968), pp. 365–369

Edsger W. Dijkstra, “The structure of the “THE”-multiprogramming system.” Commun. ACM 11, 5 (May 1, 1968), pp. 341–346

Dennis M. Ritchie and Ken Thompson, “The UNIX time-sharing system.” Commun. ACM 17, 7 (Jul 1, 1974), pp. 365–375

This is the article that introduced Unix to the CS community.

Jun 12 – 16

File Systems

Marshall K. McKusick, William N. Joy, Samuel J. Leffler and Robert S. Fabry, “A fast file system for UNIX.” ACM Trans. Comput. Syst. 2, 3 (Aug 1984), pp. 181–197

Gregory R. Ganger, Marshall Kirk McKusick, Craig A. N. Soules and Yale N. Patt, “Soft updates: a solution to the metadata update problem in file systems.” ACM Trans. Comput. Syst. 18, 2 (May 2000), pp. 127–153

An alternate solution to the consistency problem

Joontaek Oh, Seung Won Yoo, Hojin Nam, Changwoo Min and Youjip Won, “CJFS: Concurrent Journaling for Better Scalability.” In Proc. of the 21st USENIX Conference on File and Storage Technologies (FAST 23), Santa Clara, CA, 2023, pp. 167–182

Jun 19 – 23

Jun 26 – 30

Code Quality

Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem and Dawson Engler, “An empirical study of operating systems errors.” In Proc. SOSP ’01, Banff, Alberta, Canada, Oct 21–24, 2001

Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall and Gilles Muller, “Faults in linux: ten years later.” In Proc. ASPLOS ’11, Newport Beach, California, USA, Mar 5–11, 2011

[AB]

This is a follow-up to the previous paper, ten years later.

Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau and Shan Lu, “A Study of Linux File System Evolution.” In Proc. of the 11th USENIX Conference on File and Storage Technologies (FAST 13), San Jose, CA, 2013, pp. 31–44

[GS]

Jianfeng Pan, Guanglu Yan and Xiaocao Fan, “Digtool: A Virtualization-Based Framework for Detecting Kernel Vulnerabilities.” In Proc. of the 26th USENIX Security Symposium (USENIX Security 17), Vancouver, BC, 2017, pp. 149–165

Samantha Miller, Kaiyuan Zhang, Danyang Zhuo, Shibin Xu, Arvind Krishnamurthy and Thomas Anderson, “Practical Safe Linux Kernel Extensibility.” In Proc. HotOS ’19, Bertinoro Italy, May 13, 2019

Jul 3 – 7

Jul 10 – 14

VMs, Containers and Cloud

Allison Randal, “The Ideal Versus the Real: Revisiting the History of Virtual Machines and Containers.” ACM Comput. Surv. 53, 1 (Feb 5, 2020), pp. 1–31

Avi Kivity, Dor Laor, Glauber Costa, Pekka Enberg, Nadav Har’El, Don Marti and Vlad Zolotarov, “OSv—Optimizing the Operating System for Virtual Machines.” In Proc. of the 2014 USENIX Annual Technical Conference (USENIX ATC 14), Philadelphia, PA, 2014, pp. 61–72

[CD]

Filipe Manco, Costin Lupu, Florian Schmidt, Jose Mendes, Simon Kuenzer, Sumit Sati, Kenichi Yasukata, Costin Raiciu and Felipe Huici, “My VM is Lighter (and Safer) than your Container.” In Proc. SOSP ’17, Shanghai China, Oct 14, 2017

Vlad Nitu, Pierre Olivier, Alain Tchana, Daniel Chiba, Antonio Barbalace, Daniel Hagimont and Binoy Ravindran, “Swift Birth and Quick Death: Enabling Fast Parallel Guest Boot and Destruction in the Xen Hypervisor.” In Proc. VEE ’17, Xi’an, China, Apr 8–9, 2017

[SA]

Vasily A. Sartakov, Lluís Vilanova, David Eyers, Takahiro Shinagawa and Peter Pietzuch, “CAP-VMs: Capability-Based Isolation and Sharing in the Cloud.” In Proc. of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22), Carlsbad, CA, 2022, pp. 597–612

Jul 17 – 21

Flash Storage

You Wu and Lin Li, “Zallocator: A High Throughput Write-Optimized Persistent Allocator for Non-Volatile Memory.” J. Emerg. Technol. Comput. Syst. 18, 4 (Oct 13, 2022), pp. 1–20

[AB]

Shawn Zhong, Chenhao Ye, Guanzhou Hu, Suyan Qu, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau and Michael Swift, “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems.” In Proc. of the 21st USENIX Conference on File and Storage Technologies (FAST 23), Santa Clara, CA, 2023, pp. 265–280

Shujie Han, Patrick P. C. Lee, Fan Xu, Yi Liu, Cheng He and Jiongzhou Liu, “An In-Depth Study of Correlated Failures in Production SSD-Based Data Centers.” In Proc. of the 19th USENIX Conference on File and Storage Technologies (FAST 21), 2021, pp. 417–429

[SA]

Jul 24 – 28

Non-Volatile Memory

Feng Chen, Tian Luo and Xiaodong Zhang, “CAFTL: A Content-Aware Flash Translation Layer Enhancing the Lifespan of Flash Memory based Solid State Drives.” In Proc. of the 9th USENIX Conference on File and Storage Technologies (FAST 11), San Jose, CA, 2011

Youmin Chen, Youyou Lu, Bohong Zhu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau and Jiwu Shu, “Scalable Persistent Memory File System with Kernel-Userspace Collaboration.” In Proc. of the 19th USENIX Conference on File and Storage Technologies (FAST 21), 2021, pp. 81–95

[CD]

Stathis Maneas, Kaveh Mahdaviani, Tim Emami and Bianca Schroeder, “Operational Characteristics of SSDs in Enterprise Storage Systems: A Large-Scale Field Study.” In Proc. of the 20th USENIX Conference on File and Storage Technologies (FAST 22), Santa Clara, CA, 2022, pp. 165–180

[GS]

Jul 31 – Aug 4

And This, Too

Andrew Baumann, Jonathan Appavoo, Orran Krieger and Timothy Roscoe, “A fork() in the road.” In Proc. HotOS ’19, Bertinoro Italy, May 13, 2019

Michael Greenberg, Konstantinos Kallas and Nikos Vasilakis, “Unix shell programming: the next 50 years.” In Proc. HotOS ’21, Ann Arbor Michigan, Jun 2021