Lecture notes,  Reading, and Due-Date Schedule

1. Introduction (5 Jan)

• Case studies:
  • THE: Edsger W. Dijkstra. The Structure of the "THE" Multiprogramming System. Communications of the ACM 11(5), May 1968. (R)
  • MULTICS: Roberst C. Daley, and Jack Dennis, "Virtual Memory, Processes, and Sharing in MULTIX," Communications of the ACM, Vol. 11, No. 5, May 1968. (R)
  • UNIX: Dennis M. Ritchie and Ken Thompson. The UNIX Timesharing System. Communications of the ACM 17(7), July 1974. (R)
• Report paper:
  • General system design paper: B. W. Lampson. Hints for computer system design. In Proceedings of the 9th ACM Symposium on Operating Systems Principles (SOSP), volume 17, pages 33-48, 1983.

2. Structure and Organization of Operating Systems (10, 12 Jan)

• Background:
  • J. Liedtke, "On Micro-Kernel Construction", Proceedings of the 15th ACM Symposium on Operating System Principles, ACM, December 1995.
  • G. Denys, F. Piessens, F. Matthijs. A Survey of  Customizability in Operating System Research. ACM Computing Surveys. Vol 34, No. 4.
• Case studies:
  • Exokernel: M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hector M. Briceno, Russell Hunt, David Mazieres, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie. Application Performance and Flexibility on Exokernel Systems. Proc. of the 16th ACM. Symposium on Operating Systems Principles, October 1997.
  • SPIN: B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, Safety and Performance in the SPIN Operating System. Proc. of the 15th ACM. Symp. on Operating Systems Principles, December 1995.
• General system design paper:
  • Jeff Mogul. Brittle metrics in operating systems research, HotOS-VII, 1999.
• Report paper:
  • Samuel T. King, George W. Dunlap, Peter M. Chen, "Operating System Support for Virtual Machines", Proceedings of the 2003 Annual USENIX Technical Conference, June 2003 (Due: 1/24: in class).

3. Processes, threads, events and scheduling (17, 19, 24 Jan)

•  Background:
  • Andrew Birrell. An Introduction to Programming with Threads, DEC SRC Research Report 35. January 1989.
• Design issues:
  • Ousterhout, J. K. Why threads are a  bad idea (for most purposes) . Invited talk at 1996 USENIX Conference, Jan. 1996.
  • Atul Adya, Jon Howell, Marvin Theimer, Bill Bolosky, and John Douceur; Cooperative Task Management Without Manual Stack Management. Usenix Annual Technical Conferences, 2002.
  • Rob von Behren, Jeremy Condit, and Eric Brewer; Why Events Are A Bad Idea (for High-concurrency Servers); 9th Workshop on Hot Topics in Operating Systems (HotOS IX) 2003.
  • Hans-J. Boehm. Threads cannot be implemented as a library; ACM SIGPLAN Notices , Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation PLDI '05; June 2005.
  • Thomas Anderson, Brian Bershad, Edward Lazowska, and Henry Levy. Scheduler Activations: Effective Kernel Support for the User-Level management of Parallelism. ACM Trans. on Computer Systems 10(1), Feburary 1992, pp. 53-79
• Scheduling:
  • C. Waldspurger and W. Weihl. Lottery Scheduling: Flexible Proportional-Share Resource Management.Proceedings of the First USENIX Symposium on Operating System Design and Implementation, November 1994
  • Gaurav Banga, Peter Druschel, Jeffrey C. Mogul; Resource containers: A new facility for resource management in server systems; OSDI 1999.
• General system design paper
  • Fernando J. Corbato, On building systems that will fail, Communications of the ACM, V. 34, N. 9, pp. 72-81, September 1991
• Report paper:
  • Thomas Anderson, Edward Lazowska, and Henry Levy.  The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors. IEEE Trans. on Computers 38(12), December 1989, pp. 1631-1644. (Due: 1/31).

4.  Communication (26, 31, and 2 Feb)

• Communication models:
  • Andrew D. Birrell and Bruce Jay Nelson. Implementing Remote Procedure Calls. ACM Trans. on Computer Systems 2(1), February 1984, pp. 39-59.
  • Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, and Henry M. Levy. Lightweight Remote Procedure Call. ACM Trans. on Computer Systems 8(1), February 1990, pp.37-55.
  • Kenneth Birman, Andre Schiper, Pat Stephenson. Lightweight Causal and Atmoic Group Multicast.ACM Transactions on Computer Systems, Vol. 9, No. 3, August 1991, pp. 272-314.
  • David R. Cheriton, Dale Skeen, ``Understanding the Limitations of Causally and Totally Ordered Communication,'' Symposium on Operating System Principles, Ashville, North Carolina, December, 1993, pp. 44-57.
  • E. Jul, H. Levy, N. Hutchinson, and A. Black, Fine-Grained Mobility in the Emerald System, ACM Transactions on Computer Systems, Vol. 6, No. 1, February 1988, pp. 109-133.
  • Tommy Thorn;  Programming languages for mobile code;  ACM Computing Surveys; Vol. 29, No. 3 (Sept. 1997), Pages 213-239.
  • Roger S. Chin , Samuel T. Chanson; Distributed, object-based programming systems; ACM Computing Surveys (CSUR) March 1991; Volume 23 Issue 1.

• General system design paper:
  • Clark, D.D. The Structuring of Systems Using Upcalls. Proceedings of Tenth ACM Symposium on Operating Systems Principles, pgs. 171-180, Dec. 1985

5. Virtual memory and Distributed Shared Memory (7, 9, 16 Feb)

• Background:

  • Peter J. Denning; Virtual Memory. ACM Comput. Survey 2(3),1970. 153--189.

  • A. Bensoussan, C. T. Clingen and R. C. Daley, The Multics virtual memory: concepts and design, Communications of the ACM 15, 5 (May. 1972), Pages 308 - 318.

  • B. Nitzberg and V. Lo. B. Nitzberg and V. Lo. Distributed Shared Memory: A survey of issues and algorithms. IEEE Computer, pages 52--60, 1991.of issues and algorithms. IEEE Computer, pages 52--60, 1991.

• Design issues:
  • R. Rashid, A.Tevanian, M. Young, D. Golub, R. Baron, D. Black, W. Bolo sky, and J. Chew. Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures. IEEE Transactions on Computers 37(8), Aug 1988, 896-908
  • A. Appel and K. Li. Virtual Memory Primitives for User Programs. Proc. of the 4th International Conference on Architectural Support for Programming Langauges and Operating Systems, 1991.
  • M. Satyanarayanan, H. Mashburn, P. Kumar, D. Steer, and J. Kistler. Lightweight Recoverable Virtual Memory. Proceedings of the 14th ACM Symposium on Operating Systems Principles, December 1993.
• Distributed Shared memory systems:
  • Munin:
    • Carter, J.B., Bennet, J.K., and Zwaenepoel, w., Techniques for Reducing Consistency-Related Communication in Distributed Shared Memory Systems, ACM Transaction on Computer Systems, Vol.12, 1994.
    • Carter, J.B., Bennet, J.K., and Zwaenepoel, W., "Implementation and performance of Munin", In Proceedings 13th ACM Symposium on Operating System Principles, 1991, pages 152-164.
  • Midway:
    • B.N. Bershad, M.J. Zekauskas, and W.A. Sawdon.  The Midway Distributed Shared Memory System.  IEEE Computer Conference (Compcon), pp. 528-537, February 1993.
• Report paper: (Due 2/23).
  • Runtime Support for Distributed Sharing in Typed Languages. Y. Charlie Hu, Weimin Yu, Alan Cox, Dan Wallach, and Willy Zwaenepoel. Proceedings of LCR2000: the Fifth Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers. Rochester, NY, May 2000.

• Generic lock free data structures, which atomic instructions can be used for lock-free synchronization, and hazard pointers (http://erdani.org/publications/cuj-2004-10.pdf; http://erdani.org/publications/cuj-2004-12.pdf)
• Maged M. Michael;  Lock-Free Deques (http://scholar.google.com/url?sa=U&q=http://www.springerlink.com/index/4ANJ79V4BDULN0TR.pdf)
• Maged M. Michael; Scalable Lock-Free Dynamic Memory Allocation.  IBM (a paper on lock-free malloc)
• Maged M. Michael ; Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects.  IBM. (Lock-free Memory reclamation in a non-gc environment)

Case Deccio (VM Architectures)

• B. Davis, A. Beatty, K. Casey and D. Gregg, and J. Waldron "The Case for Virtual Register Machines" http://www.complang.tuwien.ac.at/anton/ivme03/proceedings/davis.ps.gz; In Workshop on Interpreters, Virtual Machines and Emulators, 2002, pp 41--49.
• Yunhe Shi, David Gregg, and Andrew Beatty "Virtual Machine Showdown: Stack Versus Registers"; http://www.usenix.org/events/vee05/full_papers/p153-yunhe.pdf; In Proceedings of the 1st ACM/USENIX International Conference On Virtual Execution Environments (VEE'05), 2005, pp 153--163
• Klaas-Jan Stol; "On the Architecture of the Parrot Virtual Machine"; http://members.home.nl/joeijoei/parrot/paper.pdf; Department of Computing Science, University of Groningen, 2006

• Christopher Clark, Keir Fraser, and Steven Hand, University of Cambridge; Jacob Gorm Hansen and Eric Jul, University of Copenhagen; Christian Limpach, Ian Pratt, and Andrew Warfield, University of Cambridge: "Live migration of Virtual Machines", in proceedings of USENIX NSDI 2005, Boston, USA. http://www.cl.cam.ac.uk/netos/papers/2005-migration-nsdi-pre.pdf
• C.P. Sapuntzakis, R. Chandra, B. Pfaff, J. Chow, M.S. Lam, and M. Rosenblum. Optimizing the migration of virtual computers. In Proc. of the 5th Symposium on Operating Systems Design and Implementation, December 2002; https://www.usenix.org/publications/library/proceedings/osdi02/tech/full_papers/sapuntzakis/sapuntzakis_html/
• D. Milojicic, F. Douglis, Y. Paindaveine, R. Wheeler, and S. Zhou. Process Migration. ACM Computing Surveys, 2000; www.hpl.hp.com/personal/Dejan_Milojicic/pm7.pdf

• Druschel, Peter and Rowstron, Antony. PAST: A Large-scale, persistent peer-to-peer storage utility.
• Ellard, Daniel and Megquier, James. DISP: Practical, Efficient, Secure and Fault-Tolerant Distributed Data Storage. In ACM Transactions on Storage, Vol. 1, No. 1, December 2004. Pp71-94
• Sudharshan S. Vazhkuda,i Xiaosong Ma, Vincent W. Freeh, Jonathan W. , Strickland, Nandan Tammineedi, Stephen L. Scott. FreeLoader: Scavenging Desktop Storage Resources for Scientific Data. ©2005 ACM
• Sobti, Sumeet and Yianilos, Petern N. The Evolving Field of Distributed Storage. IEEE Internet Computing September; October 2001.

• John Jannotti, David K. Gifford, Kirk L. Johnson, M. Frans Kaashoek, and James W. O'Toole, Jr. Overcast: Reliable Multicasting with an Overlay Network. OSDI 2000
• Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony Rowstron, Atul Singh. SplitStream: High-Bandwidth Multicast in Cooperative Environments.SOSP 2003.
• Dejan Kostic, Adolfo Rodriguez, Jeannie Albrecht, and Amin Vahdat Bullet:High Bandwidth Data Dissemination Using an Overlay Mesh. SOSP 2003.

Homeworks and Projects

• Project
• Talk s

Exams and Tests

Grades

Resources

Excellent books on operating systems:

Andrew S. Tanenbaum: "Distributed Systems", Prentice-Hall International, 2002.

Mukesh Singhal, Niranjan G. Shivaratri: "Advanced Concepts in Operating Systems. Distributed, Database,
and Multiprocessor Operating Systems", McGraw-Hill, 1994.