EECS-443 Advanced Operating Systems
Winter 2007
Course Schedule
Here is a list of the papers we will discuss and their scheduled dates. We will selected one paper from among those listed for each topic, to discuss in detail in each meeting.
Schedule:
- Introduction: Jan. 4
The papers listed here are fun and full of insight. You should read them even if you are not required to submit a written summary for them.- Course introduciton and general discussion based on some
of the following papers
Presenter (Date): Fabian E. Bustamante (Jan. 4)
Slides [.pps] - J. Wilkes, CSP project startup documents, (HPL-CSP-90-42), 11 Oct. 1990 - A great guideline for project proposals.
- R. Levin and D. Redell, An evaluation of the ninth SOSP submissions -or- How (and how not) to write a good systems paper, ACM SIGOPS Operating Systems Review 17(3):35-40 (Jul., 1983)
- B. Lampson. Hints for Computer System Design. In Proc. of the ACM Symposium on Operating Systems Principles, Dec. 1983.
- J. Saltzer, D. Reed and D. Clark. End-to-End Arguments in System Design. ACM Transactions on Computer Systems, 2(4):277-288, November 1984.
- R. Gabriel, "Worse is Better", an excerpt (section 2-2.1, pages 7-10) from LISP: good news, bad news, how to win BIG AI Expert, vol. 6, no. 6, June 1991, pp. 31-39.
- Course introduciton and general discussion based on some
of the following papers
- OS Design, Structure and Extensibility: Jan. 9 and 11
- L. Gu and J. Stankovic, t-Kernel:
Provide reliable OS support for wireless sensor
networks, In Proc. of the 4th ACM Conference on
Embedded Networked Sensor Systems, Oct. 2006.
Presenter (Date): Fabian E. Bustamante (Jan 9)
Slides [.pps]
Review by S. Tarzia [.pdf] - D.R. Engler, F. Kaashoek and J. O'Toole,
Exokernel: An Operating System Architecture for
Application-Level Resource Management, In Proc. of the
15th ACM Symposium on Operating System Principles, Dec.
1995.
Presenter (Date): John Otto (Jan 11) Slides [.pps]
Review by S. Salahi [.pdf] - H. Hartig, M. Hohmuth, J. Liedtke, S. Schonberg and J. Wolter, The performance of micro-kernel-based systems, Proc. of the 16th ACM Symposium on Operating Systems Principles, Oct. 1997.
- A. Arpaci-Dusseau and R. Arpaci-Dusseau, Information and Control in Gray-Box Systems, In Proc. of the 18th ACM Symposium on Operating Systems Principles, Oct. 2001.
Optional Reading
- L. Gu and J. Stankovic, t-Kernel:
Provide reliable OS support for wireless sensor
networks, In Proc. of the 4th ACM Conference on
Embedded Networked Sensor Systems, Oct. 2006.
- Communication: Jan. 16 and 18
- V. Ramasubramanian, R. Peterson and E. Gun Sirer. Corona:
A High Performance Publish-Subscribe System for the World
Wide Web, In Proc. of Networked System Design and
Implementation, May 2006.
Presenter (Date): Sara Salahi (Jan 16) Slides [.pps]
Review by N. Matsuda [.pdf] - Y-J. Kim, R. Govindan, B. Karp and S. Shenker. Geographic
Routing made practical, In Proc. of Networked System
Design and Implementation, May 2005.
Presenter (Date): Nathan Matsuda (Jan 18 Slides [.pps]
Review by S. Tarzia [.pdf] - A. D. Birrell and B. J. Nelson. Implementing Remote Procedure Calls, ACM Transaction on Computer Systems, 2(1), Feb. 1984, pp 271-290.
- K. Sripanidkulchai, A. Genjam, B. Maggs and H. Zhang, The feasibility of supporting large-scale live streaming applications with dynamic application end-points, In Proc. of ACM SIGCOMM, Aug-Sep. 2004.
Optional Reading
- V. Ramasubramanian, R. Peterson and E. Gun Sirer. Corona:
A High Performance Publish-Subscribe System for the World
Wide Web, In Proc. of Networked System Design and
Implementation, May 2006.
- Processes and Threads: Jan. 23
- R. von Behren, J. Condit, F. Zhou, G. Necula and
E. Brewer, Capriccio:
Scalable Threads for Internet Services, In Proc. of the
19th ACM Symposium on Operating Systems Principles, Oct.
2003
Presenter (Date): Soyannwo Olusanya (Jan 23) Slides [.pps]
Review by John Otto [.pdf] - A. Adya and J. Howell and M. Theimer and W. Bolosky and J. Douceur, Cooperative task management without manual stack management, or event-driven programming is not the opposite of thread programming, In Proc. of USENIX Annual Technical Conference, Jun. 2002.
Optional Reading
- R. von Behren, J. Condit, F. Zhou, G. Necula and
E. Brewer, Capriccio:
Scalable Threads for Internet Services, In Proc. of the
19th ACM Symposium on Operating Systems Principles, Oct.
2003
- Virtual and Shared Memory: Jan. 30
- E. Witchel, J. Rhee and K. Asanovic, Mondrix:
memory isolation for linux using mondriaan memory
protection, In Proc. of the 20th ACM Symposium on
Operating Systems Principles, Oct. 2005.
Presenter Stephen Tarzia (Date): (Jan 30) Slides [.pdf]
Review by S. Salahi [.pdf] - T. Yang, E. Berger, S. Kaplan and J. Moss, CRAMM: Virtual Memory Support for Garbage-Collected Applications, In Proc. of ACM/USENIX Symposium on Operating Systems Design and Implementation, Nov. 2006.
- C. Barton, C. Cascaval, S. Chatterjee, G. Almasi, Y. Zheng, M. Farreras, J. Amaral, Shared Memory Programming for Large Scale Machines, In Proc. of ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun. 2006.
Optional Reading
- E. Witchel, J. Rhee and K. Asanovic, Mondrix:
memory isolation for linux using mondriaan memory
protection, In Proc. of the 20th ACM Symposium on
Operating Systems Principles, Oct. 2005.
- Storage and File Systems: Feb. 1 and 6
- S. Ghemawat, H. Gobioff and S-T. Leung, The
Google File System, In Proc. of the 19th ACM Symposium
on Operating Systems Principles, Oct. 2003.
Presenter (Date): John Otto (Feb. 1) Slides [.pdf]
Review by N. Matsuda [.pdf] - B-G Chun, F. Dabek, A. Haeberlen, E. Sit,
H. Weatherspoon, M. Kaashoek, J. Kubiatowicz, and R. Morris,
Efficient
Replica Maintenance for Distributed Storage Systems, In
Proc. of Networked System Design and Implementation, May
2006.
Presenter (Date): Fabian E. Bustamante (Feb. 6) Slides [.pdf] (Also, Slides [.pdf] from a brief overview of Pastry)
Review by N. Matsuda [.pdf] - V. Prabhakaran, L. Bairavasundaram, N. Agrawal, H. Gunawi, A. Arpaci-Dusseau and R. Arpaci-Dusseau, IRON File Systems, In Proc. of the 20th ACM Symposium on Operating Systems Principles, Oct. 2005.
- F. Chang, J. Dean, S. Ghemawat, W. Hsieh, D. Wallach, M. Burrows, T. Chandra, A. Fikes, and R. Gruber, Bigtable: A Distributed Storage System for Structured Data, In Proc. of ACM/USENIX Symposium on Operating Systems Design and Implementation, Nov. 2006.
Optional Reading
- S. Ghemawat, H. Gobioff and S-T. Leung, The
Google File System, In Proc. of the 19th ACM Symposium
on Operating Systems Principles, Oct. 2003.
- Internet and Large-Scale Distributed Systems: Feb. 8, 13 and 15
- K-T. Chen, C-Y. Huang, P. Huang and C-L. Lei, Quantifiying
Skype User Satisfaction, In Proc. of ACM SIGCOMM,
Sep. 2006.
Presenter (Date): Stephen Tarzia (Feb. 8) Slides [.pdf]
Review by S. Salahi [.pdf] - A. Bharambe, J. Pang and S. Seshan, Colyseus:
A distributed architecture for online multiplayer games,
In In Proc. of Networked System Design and Implementation,
May 2005
Presenter (Date): Nathan Matsuda (Feb. 13) Slides [.pdf]
Review by J. Otto [.pdf] - B. Wong, A. Slivkins and E. Gun Sirer, Meridian:
A Lightweight Network Location Service without Virtual
Coordinates, In Proc. of ACM SIGCOMM,
Sep. 2005.
Presenter (Date): Fabian E. Bustamante (Feb. 15) Slides [.pdf]
Review by S. Tarzia [.pdf] - K. Park and V. Pai, Scale and performance in the CoBlitz Large-File Distribution Service, In Proc. of Networked System Design and Implementation, May 2006.
- P. Gummadi, H. Madhyastha, S. Gribble, H. Levy and D. Wetherall, Improving the reliability of Internet paths with one-hop source routing, In Proc. of ACM/USENIX Symposium on Operating Systems Design and Implementation, Dec. 2004.
- H. Madhyastha, T. Isdal, M. Piatek, C. Dixon, T. Anderson, A. Krishnamurthy, A. Venkataramani, iPlane: An Information Plane for Distributed Services, In Proc. of ACM/USENIX Symposium on Operating Systems Design and Implementation, Nov. 2006.
Optional Reading
- K-T. Chen, C-Y. Huang, P. Huang and C-L. Lei, Quantifiying
Skype User Satisfaction, In Proc. of ACM SIGCOMM,
Sep. 2006.
- Bugs and Fault Tolerance: Feb. 20 and 22
- A. Aiyer, L. Alvisi, A. Clement, M. Dahlin, J-P. Martin
and C. Porth, BAR
fault tolerance for cooperative services, In Proc. of
the 20th ACM Symposium on Operating Systems Principles, Oct.
2005
Presenter (Date): Stephen Tarzia (Feb. 20) Slides [.pdf]
Review by S. Salahi [.pdf] - D. Geels, G. Altekar, S. Shenker and I. Stoica, Replay
debugging for distributed applications, In Proc. of
USENIX Annual Technical Conference, May 2006.
Presenter (Date): Soyannwo Olusanya (Feb. 22) Slides [.pdf]
Review by N. Matsuda [.pdf] - M. Swift, M. Annamalai, B. Bershad and H. Levy, Recovering device drivers, In Proc. of ACM/USENIX Symposium on Operating Systems Design and Implementation, Dec. 2004.
- Y. Yu, T. Rodeheffer and W. Chen, RaceTrack: Efficient detection of data race condition via adaptive tracking, In Proc. of the 20th ACM Symposium on Operating Systems Principles, Oct. 2005.
Optional Reading
- A. Aiyer, L. Alvisi, A. Clement, M. Dahlin, J-P. Martin
and C. Porth, BAR
fault tolerance for cooperative services, In Proc. of
the 20th ACM Symposium on Operating Systems Principles, Oct.
2005
- Security, Protection and Privacy: Feb. 27
- M. Vrable, J. Ma, J. Chen, D. Moore, E. Vanderkieft,
A. Snoeren, G. Voelker and S. Savage, Scalability,
Fidelity and Containment in the Potemkin Virtual
Honeyfarm, In Proc. of the 20th ACM Symposium on
Operating Systems Principles, Oct. 2005.
Presenter (Date): John Otto (Feb. 27) Slides [.pdf]
Review by S. Tarzia [.pdf] - M. Costa, J. Crowcroft, M. Castro, A. Rowstron, L. Zhou, L. Zhang, P. Barham, Vigilante: End-to-end Containment of Internet Worms, In Proc. of the 20th ACM Symposium on Operating Systems Principles, Oct. 2005.
- H. Yu, M. Kaminsky, P.B. Gibbons and A. Flaxman, SybilGuard: Defending Against Sybil Attacks via Social Networks, In Proc. of SIGCOMM, September 2006.
- M. Walfish, M. Vutukuru, H. Balakrishnan, D. Karger and S. Shenker, DDoS Defense by Offemse, In Proc. of SIGCOMM, September 2006.
Optional Reading
- M. Vrable, J. Ma, J. Chen, D. Moore, E. Vanderkieft,
A. Snoeren, G. Voelker and S. Savage, Scalability,
Fidelity and Containment in the Potemkin Virtual
Honeyfarm, In Proc. of the 20th ACM Symposium on
Operating Systems Principles, Oct. 2005.
- Management: Mar. 6
- H. Wang, J. Platt, Y. Chen, R. Zhang and Y-M. Wang, Automatic
Misconfiguration Troubleshooting with PeerPressure, In
Proc. of ACM/USENIX Symposium on Operating Systems Design
and Implementation, Dec. 2004.
Presenter (Date): Sara Salahi (Mar. 1) Slides [.pdf]
Review by O. Soyannwo [.pdf] - I. Cohen, M. Goldszmidt, S. Zhang, T. Kelly, A. Fox, J. Symons, Capturing, Indexing, Clustering, and Retrieving System History, In Proc. of the 20th ACM Symposium on Operating Systems Principles, Oct. 2005.
Optional Reading
- H. Wang, J. Platt, Y. Chen, R. Zhang and Y-M. Wang, Automatic
Misconfiguration Troubleshooting with PeerPressure, In
Proc. of ACM/USENIX Symposium on Operating Systems Design
and Implementation, Dec. 2004.
- Final Presentations: Mar. 8