COMPSCI 210 Readings, Spring 2005
Operating Systems
Useful Links
Continuously under construction
General
Recommended textbook for review of basics: Modern Operating Systems, 2nd edition, by Andrew Tanenbaum
Linux
Required textbook: Linux Kernel Development by Robert Love (2003)
Concurrency
[Birrell89] An Introduction to Programming with Threads, by Andrew Birrell, January 1989.
[Savage97] Eraser: A Dynamic Data Race Detector for Multithreaded Programs, by Stefan Savage, Mike Burrows, Greg Nelson, Patrick Sobalvarro, Tom Anderson, SOSP October 1997, and ACM TOCS.
[Engler03] RacerX: Effective, Static Detection of Race Conditions and Deadlocks by Dawson Engler, Ken Ashcraft (Stanford University), in Proceedings of SOSP, 2003
[Welsh01] SEDA:An architecture for well-conditioned,scalable Internet services, by IM.Welsh,D.E.Culler,and E.A.Brewer, in Symposium on Operating Systems Principles, pages 230 –243, 2001.
[vonBehren03] Why Events Are A Bad Idea (for High-concurrency Servers) by Rob von Behren, Jeremy Condit, and Eric Brewer, in 9th Workshop on Hot Topics in Operating Systems (HotOS IX) 2003.
[Adya02] Cooperative Task Management Without Manual Stack Management by Atul Adya, Jon Howell, Marvin Theimer, Bill Bolosky, and John Douceur, USENIX Technical Conference, June 2002.
[Li05] Pulse: A Dynamic Deadlock Detection Mechanism Using Speculative Execution by Tong Li, Carla Ellis, Alvin Lebeck, and Daniel Sorin, USENIX 2005, to appear.
Processor and Time Management
[Waldspurger94] Lottery Scheduling: Flexible Proportional-share Resource Management, by Carl Waldspurger and William Weihl, OSDI, 1994.
[Yuan,Nahrstedt03] Energy-Efficient Soft Real-Time CPU Scheduling for Mobile Multimedia Systems , by Wanghong Yuan and Klara Nahrstedt SOSP, 2003.
[Lamport78] Time, clocks, and the ordering of events in a distributed system, by Leslie Lamport, CACM, Vol 21. No. 7, pp. 558--565, 1978.
[Aron00] Soft timers: efficient microsecond software timer support for network processing. by Mohit Aron and Peter Druschel. In ACM Transactions on Computer Systems, Vol. 18, No. 3, August 2000.
[Elson02] Fine-Grained Network Time Synchronization Using Reference Broadcasts, by Jeremy Elson, Lewis Girod, and Deborah Estrin, OSDI 02
Memory Management
[Navarro02] Practical, transparent operating system support for superpages. by Juan Navarro, Sitaram Iyer, Peter Druschel and Alan Cox. In Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI'02), Boston, MA, December 2002.
[Waldspurger02] Memory Resource Management in VMware ESX Server by Carl A. Waldspurger, OSDI 02
[Huang03] Design and Implementation of Power-Aware Virtual Memory, by Hai Huang, Padmanabhan Pillai, and Kang G. Shin, USENIX Annual Technical Conference, June 2003.
File and Storage Systems
[Ghemawat03] The Google File System by Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung, SOSP, Oct 2003.
[Griffin00] Operating System Management of MEMS-based Storage Devices. Griffin, J.L., Schlosser, S.W., Ganger, G.R. and Nagle, D.F. Proceedings 4th Symposium on Operating Systems Design & Implementation (OSDI 2000), San Diego, CA, October 23-25, 2000.
[Kistler97] Disconnected Operation in the Coda File System, James J. Kistler, M. Satyanarayanan ACM Transactions on Computer Systems, Vol. 10, No. 1, 1992, pp. 3-25.
[Kuenning97] Automated Hoarding for Mobile Computers, G. Kuenning and G. Popek. Proceedings of the 16th ACM Symposium on Operating Systems Principles, October 1997.
[Maniatis03] Preserving Peer Replicas By Rate-Limited Sampled Voting by Petros Maniatis, Mema Roussopoulos, TJ Giuli, David S. H. Rosenthal, Mary Baker, and Yanto Muliadi, SOSP October 2003.
[Papa03] Energy Efficiency through Burstiness by A. E. Papathanasiou and M. L. Scott. 5th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA), Oct. 2003.
[Rhea03] Pond: The OceanStore Prototype Sean Rhea, Patrick Eaton, Dennis Geels, Hakim Weatherspoon, Ben Zhao, and John Kubiatowicz, FAST 2003.
[Schlosser04] MEMS-based storage devices and standard disk interfaces: A round peg in a square hole? Steven W. Schlosser, Gregory R. Ganger. Proceedings of the FAST '04 Conference on File and Storage Technologies, San Francisco, CA, March 31-April 2, 2004.
[Seltzer00] Journaling versus Soft Updates: Asynchronous Meta-data Protection in File Systems, Margo I Seltzer, Gregory R Ganger, M Kirk McKusick, Keith A Smith, Craig A N Soules, Christopher A Stein, USENIX Annual Technical Conference, p. 18-23, June 2000.
[Soules03] Why Can't I Find My Files? New Methods for Automating Attribute Assignment by Craig A. N. Soules and Gregory R. Ganger, 9th Workshop on Hot Topics in Operating Systems (HotOS IX) May 2003.
[Sivathanu04] Improving Storage System Availability with D-GRAID, Muthian Sivathanu, Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, FAST 2004
[Uysal03] Using MEMS-Based Storage in Disk Arrays by Mustafa Uysal and Arif Merchant, and Guillermo A. Alvarez, FAST 2003
[Weissel02] Cooperative I/O: A Novel I/O Semantics for Energy-Aware Applications by Andreas Weissel, Bjórn Beutel, and Frank Bellosa, OSDI 2002.
Experimentation, Measurement, Analysis
[Gummadi03] Measurement, Modeling, and Analysis of a Peer-to-Peer File-Sharing Workload by Krishna P. Gummadi, Richard J. Dunn, Stefan Saroiu, Steven D. Gribble, Henry M. Levy, John Zahorjan, SOSP 2003.
[Sariou02] An Analysis of Internet Content Delivery Systems by Stefan Saroiu, Krishna P. Gummadi, Richard J. Dunn, Steven D. Gribble, and Henry M. Levy, OSDI 2002.
Energy Management
See [Yuan,Nahrstedt] above.
See [Huang03] above.
See [Papa03] above.
See [Weissel02] above.
Security and Reliability Issues
[Junqueira03] The Phoenix Recovery System: Rebuilding from the ashes of an Internet catastrophe by Flavio Junqueira, Ranjita Bhagwan, Keith Marzullo, Stefan Savage, and Geoffrey M. Voelker, HOTOS 2003.
[Yin03] Separating Agreement from Execution for Byzantine Fault Tolerant Services by Jian Yin, Jean-Philippe Martin, Arun Venkataramani, Lorenzo Alvisi, and Mike Dahlin, SOSP 2003.
Virtual Machines
See [Waldspurger02] above.
[Barham03] Xen and the Art of Virtualization by Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield, SOSP 2003.