CS 702: Advanced Topics in Operating Systems (ATOS)

Possible Readings

I have been collecting a bunch of papers we might want to read. Feel free to browse these papers and suggest some of them for the class to read and discuss. Note that the classifications are very rough and not well thought out.
Possible Readings

Selections have been somewhat influenced by readings done in other courses in previous semesters, and the interests of those in the course.

Background / Helpful Readings

Some tips on reading papers (all very short). Not required but useful, especially if you've not done a paper reading course before.

Paper Reading Check List,
Sugih Jamin, jamin@eecs.umich.edu.
How to Read a Research Paper,
by Spencer Rugaber
Efficient Reading of Papers in Science and Technology
Prepared by Michael J. Hanson, Updated by Dylan J. McNamee, January 6, 2000.

Actual Readings

February 20, 2009
- Course Overview
- General Discussion
February 27, 2009
Some Background and Trends (NOTE: No paper summaries required for this week)
- The Future of Microprocessors,
  Kunle Olukotun and Lance Hammond, IEEE Queue, September, 2005.
- Software and the Concurrency Revolution,
  Herb Sutter and James Larus, IEEE Queue, September, 2005.
- Extreme Software Scaling
  Richard McDougall, IEEE Queue, September, 2005.
March 6, 2009
- Some Parallel Operating Systems
  NOTE: Paper Summaries are required
  Click here for a template and instructions on the paper summaries
- StarOS, a Multiprocessor Operating System for the Support of Task Forces
  Jones et. al, SOSP, 1979.
- K42: Building a Complete Operating System,
  Krieger et. al, EUROSYS, 2006.
March 13, 2009
- NO CLASS, NO READINGS.
March 20, 2009
NOTE: Paper Summaries are required and due March 17.

Some Prefetching Techniques
- Operating System I/O Speculation: How two invocations are faster than one,
  Keir Fraser and Fay Chang, USENIX 2003.
- Design and Evaluation of Compiler Algorithms for PreExecution
  Dongkeun Kim and Donald Yeung
  Tenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), October 2002, San Jose, CA.
March 27, 2009
Some programming models
- Revisiting the Sequential Programming Model for the Multicore Era,
  Matthew J. Bridges, Neil Vachharajani, Yun Zhang, Thomas Jablin and David I. August.
  IEEE Micro, 2008.
- Merge: A Programming Model for Heterogeneous Multi-core Systems,
  Michael D. Linderman, Jamison D. Collins, Hong Wang and Teresa H. Meng,
  ASPLOS 2008.
Some background reading (no summary required)
Parallel Programming Models and Paradigms,
Luis Moura E Silva and Rajkumar Buyya.
April 3, 2009
Some Transactional Memory Readings
- Transactional Memory, (NO SUMMARY NEEDED FOR THIS PAPER)
  James Larus and Christos Kozyrakis,
  CACM, July 2008.
- Early Experience with a Commercial Hardware Transactional Memory Implementation,
  Dave Dice, Yossi Lev, Mark Moir and Dan Nussbaum,
  ASPLOS 2009.
April 10, 2009
- Easter Break
April 17, 2009
- Easter Break
April 24, 2009
Virtual Memory / Paging
- The working set model for program behavior,
  Peter Denning,
  SOSP, 1967.
  [ For discussion: Is this implemented in real systems? Where? Why not more widely used? ]
- EELRU: Simple and Effective Adaptive Page Replacement, (WARNING ~16 MB)
  Yannis Smaragdakis, Scott Kaplan, and Paul Wilson
  SIGMETRICS, 1999.
May 1, 2009
Resource Allocation / Scheduling
- Redline: First Class Support for Interactivity in Commodity Operating Systems,
  Ting Yang, Tongping Liu, Emery D. Berger, Scott F. Kaplan, J. Eliot B. Moss,
  OSDI 2008.
- Hardware counter driven on-the-fly request signatures.
  Kai Shen, Ming Zhong, Sandhya Dwarkadas, Chuanpeng Li, Christopher Stewart and Xiao Zhang
  ASPLOS 2008.
May 8, 2009
Some HOTOS and HOTPAR 2009 Papers (only 5 - 6 pages each)
NOTE: YOU ONLY NEED TO DO TWO SUMMARIES. YOU GET TO PICK.
- Reinventing Scheduling for Multicore Systems,
  Silas Boyd-Wickizer, Robert Morris, M. Frans Kaashoek,
  HOTOS 2009.
- Lithe: Enabling Efficient Composition of Parallel Libraries,
  Pan, Hindman and Asanovic,
  HOTPAR 2009.
- A Case for Machine Learning to Optimize Multicore Performance,
  Archana Ganapathi, Kaushik Datta, Armando Fox and David Patterson,
  HOTPAR 2009.
May 15, 2009
- AjaxScope: A Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications
  Emre Kiciman and Benjamin Livshits
  SOSP 2007.
- Highly Scalable Web Applications with Zero-Copy Data Transfer,
  Toyotaro Suzumura, Michiaki Tatsubori Scott Trent, Akihiko Tozawa, and Tamiya Onodera,
  WWW 2009.
May 22, 2009
- Beautiful concurrency
  Simon Peyton Jones,
  To appear in ``Beautiful Code'', ed. Greg Wilson, O'Reilly 2007.
  Instead of the usual summary format just describe and critique the general ideas of this paper (limit is 3/4 of a page).
- Decoupling dynamic program analysis from execution in virtual environments
  Jim Chow, Tal Garfinkel, and Peter M. Chen,
  USENIX 2008.
  Do the regular summary for this paper
May 29, 2009
- Atom-Aid: Detecting and Surviving Atomicity Violations
  Brandon Lucia, Joseph Devietti, Karin Strauss, and Luis Ceze.
  ISCA 2008.
- Reducing the Harmful Effects of Last-Level Cache Polluters with an OS-Level, Software-Only Pollute Buffer
  Livio Soares, David Tam and Michael Stumm,
  In the 41st International Symposium on Microarchitecture (MICRO-41), Lake Como, Italy, 2008