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.
Last updated
Was this helpful?
Imported from https://canvas.wisc.edu/courses/205576/pages/paper-list. The reading list was put together by Prof. Andrea Arpaci-Dusseau.
Last updated
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.
Background: Traditional Local File Systems -- FFS and LFS
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
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
Background: Storage Technology -- RAID
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
RDP (No questions yet) Proceedings of USENIX File and Storage Technology (FAST), 2004, FAST Test of Time Award
Measurement
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
Archival Storage and Deduplication-
SnapMirror SnapMirror: File-System-Based Asynchronous Mirroring for Disaster Recovery,2002 FAST Test of Time Award
Venti Venti: A New Approach to Archival Storage, 2002 FAST Test of Time Award
Deduplication Avoiding the Disk Bottleneck in the Data Domain Deduplication File System,2008 FAST Test of Time Award
Caching
ARC (No questions yet) ARC: A Self-Tuning, Low Overhead Replacement Cache, 2003 FAST Test of Time Award
Crash Consistency
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
OptFS - Vijay Chidambaram, Thanumalayan Sanakaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau Symposium on Operating System Principles, SOSP 2013 , UW-Madison Authors
SSDs and Key-Value Stores
, , , Proceedings of the 20th European Conference on Computer Systems (EuroSys '17) Belgrade, Serbia, April 2017. UW-Madison Authors
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
Optional Background: WiscKey - , , , Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST '16) UW-Madison Authors
Persistent Memory
Mnemosyne Haris Volos, Andres Jaan Tack, Michael M. Swift. , ASPLOS '11: Proceedings of the 16th International Conference on Architectural, UW-Madison Authors
Level Hash - Pengfei Zuo, Yu Hua, and Jie Wu, Huazhong University of Science and Technology, OSDI'18
Graph Processing - Don't read
GraphChi - Aapo Kyrola and Guy Blelloch and Carlos Guestrin USENIX Symposium on Operating Systems Design and Implementation (OSDI'12).
Xstream Amitabha Roy, Ivo Mihailovic, Willy Zwaenepoel Symposium on Operating Systems Principles (2013).
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)
OS Scalability: Measurement and Redesign
Alternate Locking Primitives
Background: Threads and Events
Background: Local CPU Schedulers and Resource Tracking
Measurement: Linux and System Services
Current System Scheduling
Current System Scheduling 2
Background: Layered vs. Extensible Kernels
Microkernels: Concepts and Measurements
Monolithic, Disaggregation, and HLLs
Virtual Machines
Profiling and Binary Code
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
Optional
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
Symbolic Execution and Debugging Experience
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
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
Summary of System Design
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.