Readings
COP-5611 Operating Systems Design Principles

• OSTEP: Dialogue, Introduction

• Per Brinch Hansen. The Nucleus of a Multiprogramming System. Communications of the ACM, 13(4):238-241, April 1970.
• Dennis M. Ritchie and Ken Thompson. The UNIX Time-Sharing System. Communications of the ACM, 17(7):365-375, July 1974.

• OSTEP: Dialogue, Processes, Process API, CPU Scheduling

• M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor Briceño, Russel Hunt, David Mazières, Tom Pinckney, Robert Grimm, and Ken Mackenzie. Application Performance and Flexibility on Exokernel Systems
• Carl A. Waldspurger and William E. Weihl. Lottery Scheduling: Flexible Proportional-Share Resource Management.

• OSTEP: Dialogue, Address Spaces, Memory API, Address Translation

• Henry M. Levy and Peter H. Lipman. Virtual Memory Management in the VAX/VMS Operating System.
• Andrew W. Appel and Kai Li. Virtual Memory Primitives for User Programs.

• OSTEP: Free Space Management, Introduction to Paging, Translation Lookaside Buffer

• Doug Lea, A Memory Allocator
• Berger, E. D.; McKinley, K. S.; Blumofe, R. D.; Wilson, P. R. (November 2000). Hoard: A Scalable Memory Allocator for Multithreaded Applications.

• OSTEP: Dialogue, Virtual Machines

• S. T. King, G. W. Dunlap, and P. M. Chen. Operating System Support for Virtual Machines.
• Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. Xen and the Art of Virtualization.

• OSTEP: Dialogue, Concurrency and Threads, Thread API, Concurrency Bugs

• H. Herlihy, J. Wing. Linearizability: A Correctness Condition for Concurrent Objects.
• Jeffrey C. Mogul and K. K. Ramakrishnan. Eliminating Receive Livelock in an Interrupt-Driven Kernel.

• OSTEP: Dialogue, I/O Devices, Files and Directories, File System Implementation

• Mendel Rosenblum and John K. Ousterhout. The Design and Implementation of a Log-Structured File System.
• John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols, M. Satyanarayanan, Robert N. Sidebotham, and Michael J. West. Scale and Performance in a Distributed File System.

• OSTEP: Dialogue, Distributed Systems, Network File System (NFS), Distributed Systems Security

• L. Lamport. Paxos Made Simple.
• Douglas B. Terry, Marvin M. Theimer, Karin Petersen, Alan J. Demers, Mike J. Spreitzer and Carl H. Hauser, Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System.

• OSTEP: Dialogue, Intro Security, Authentication, Access Control

• Jerome H. Saltzer. Protection and Control of Information Sharing in Multics.
• Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: A Fast Capability System.

• Jerome Saltzer and Michael Schroeder, The Protection of Information in Computer Systems

(Choose two to read and summarize. Read intro of the remaining one.)

• Aleph One, Smashing the Stack for Fun and Profit
• Paul Kocher, Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
• David Molnar, Matt Piotrowski, David Schultz, and David Wagner The Program Counter Security Model: Automaic Detection and Removal of Control-Flow Side Channel Attacks

• Paul Gazzillo, Inferring and Securing Software Configurations Using Automated Reasoning
• OWASP TOP 10: Security Misconfiguration

(Choose two to read and summarize. Read intro of the remaining two.)

• Tianyin Xu, Long Jin, Xuepeng Fan, Yuanyuan Zhou, Shankar Pasupathy, and Rukma Talwadker, Hey, You Have Given Me Too Many Knobs!
• Malik Bouchet, Byron Cook, Bryant Cutler, Anna Druzkina, Andrew Gacek, Liana Hadarean, Ranjit Jhala, Brad Marshall, Dan Peebles, Neha Rungta, Cole Schlesinger, Chriss Stephens, Carsten Varming, Andy Warfield, Block Public Access: Trust Safety Verification of Access Control Policies
• Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, and Daniel Lohmann, Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue
• Paul Gazzillo and Robert Grimm, SuperC: Parsing All of C by Taming the Preprocessor

• Steven Pelley, Peter M. Chen, and Thomas F. Wenisch, Memory Persistency

(Choose two to read and summarize. Read intro of the remaining one. Some may require access from university from VPN.)

• Swapnil Haria, Mark D. Hill, and Michael M. Swift. MOD: Minimally Ordered Durable Datastructures for Persistent Memory.
• MP Atkinson, PJ Bailey, KJ Chisholm, PW Cockshott, R Morrison. An approach to persistent programming.
• Yuanchao Xu, Yan Solihin, and Xipeng Shen, Improving Security of Persistent Memory Objects via Efficient Memory Exposure Reduction.