Schedule

Back to the main course page.

Date	Topic	Readings
August 20 (M)	Introduction
August 22 (W)	Historical perspective	The Structure of the "THE"-Multiprogramming System The Nucleus of a Multiprogramming System
August 24 (F)	Time Sharing	TENEX, a Paged Time Sharing System for the PDP-10 System The Evolution of the Unix Time-sharing System
August 27 (M)	Project discussion
August 29 (W)	OS Structure	On μ-Kernel Construction, Jochen Liedtke, SOSP 1995 The Performance of μ-Kernel-Based Systems, H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, J. Wolter, SOSP 1997
September 5(W)	OS Structure	Exokernel: An Operating System Architecture for Application-Level Resource Management
September 7 (F)	OS Structure	Dan Schatzberg, James Cadden, Han Dong, Orran Krieger, and Jonathan Appavoo. EbbRT: A Framework for Building Per-Application Library Operating Systems. OSDI 2016 No summary due
September 10 (M)	OS Structure	P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the Art of Virtualization. SOSP 2003. Stephen Soltesz, Herbert Pötzl, Marc E. Fiuczynski, Andy Bavier, Larry Peterson. Container-based Operating System Virtualization: A Scalable, High-performance Alternative to Hypervisors. , EuroSys 2007 Optional: Cells: A Virtual Mobile Smartphone Architecture Jeremy Andrus, Christoffer Dall, Alex Van’t Hof, Oren Laadan, Jason Nieh, SOSP 2011.
September 12 (W)	Synchronization	C. A. R. Hoare, Monitors: An Operating System Structuring Concept, Communications of the ACM, Vol. 17, No. 10, October, 1974 B. W. Lampson and D. D. Redell, Experience with Processes and Monitors in Mesa, Communications of the ACM, Vol. 23, No. 2, February 1980 Linux uses a particular version called read-copy-update (RCU) Optional: Paul E. McKenney, Dipankar Sarma, Andrea Arcangeli, Andi Kleen, Orran Krieger, and Rusty Russell. Read Copy Update. In Proceedings of the Ottawa Linux Symposium, June 2002, pp. 338–367. For an extensive bibliography on RCU through 2013, see this Linux RCU document.
September 14 (F)	No class due to travel. Please work on your project proposal.
September 17 (M)	Project Proposal
September 19 (W)	Meta	How to Give a Good Talk?
September 21 (F)	Project Proposal
September 24 (M)	Synchronization	Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson. "Eraser: A Dynamic Data Race Detector for Multithreaded Programs" SOSP
September 26 (W)	Threads	Hans-J Boehm. Threads Cannot Be Implemented As a Library
September 28 (F)	No class due to travel. Please work on your projects
October 3 (M)	Power Locks	N. Nikzad, O. Chipara, W. G. Griswold APE: An Annotation Language and Middleware for Energy-Efficient Mobile Application Development Managing The Energy-Delay Tradeoff in Mobile Applications With Tempus
October 6 (W)	Student presentations
October 8 (W)	Student presentations
October 8 (M)	Threads	Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur. Cooperative Task Management without Manual Stack Management. Edward Lee. The Problem with Threads
October 10 (W)	Sandboxing	Bennet Yee, David Sehr, Gregory Dardyk, J. Bradley Chen, Robert Muth, Tavis Ormandy, Shiki Okasaka, Neha Narula, and Nicholas Fullagar. Native Client: A Sandbox for Portable, Untrusted x86 Native Code
October 12 (F)	Real-time networking	WirelessHART
October 15 (M)	Embedded OS	Tiny OS [slides]
October 17 (W)	Embedded sytems	Integrating Concurrency Control and Energy Management in Device Drivers [slides]
October 19 (F)	Embedded systems	Multiprogramming a 64 kB Computer Safely and Efficiently Efficient Memory Safety for TinyOS. Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr
	Dataflow systems	Stream Programming Exploiting Coarse-Grained Task, Data, and Pipeline Parallelism in Stream Programs Naiad: A Timely Dataflow System
	Machine learning systems	Large-Scale Deep Learning With TensorFlow
November 9th	Energy efficiency	A Survey of Design Techniques for System-Level Dynamic Power Management. Luca Benini, Alessandro Bogliolo, and Giovanni De Micheli
November 26/28 (M/W)	Midterm Presentations	Requirements for midterm presentations
December 14th	Final presentations	Presentations will take place in B1C starting at 9:00am. If this does not work with your other exams let me know ASAP!