COP 6611: Graduate Operating Systems
Spring 2012

Professor: Adriana Iamnitchi (Anda)
Class time and location: Tu, Th 11:00am-12:15am, ENC1002

Office Hours: Tu, Th 4-5pm (or by email appointment)
Office: ENB 334
Email: anda at cse

Teaching Assistant: Matt Shreve and Amin Ahmadi Adl
Office Hours:Tu, Th 5-6:30pm
Office: ENB 335
Email: amin1 at mail

Announcements:
01/10/2012: Welcome! Please join the class H2O project here

syllabus schedule

Overview

This course will cover an exciting range of materials from the broad field of operating systems, including basic operating system structure, communication, memory management, reliability, file systems and storage, virtual machines, distributed systems, security, and manageability. We will examine influential historical systems and important current efforts, extracting lessons both on how to build systems as well as how to evaluate them.

Textbook: Operating System Concepts, 8th Edition, Silberschatz. Galvin and Gagne (ISBN 0470128720)

top


Schedule

Week
 Topics
 Reading
 Notes
1, 2
 Overview. OS Structures
 Ch. 1, 2, 23 D. Engler, F. Kaashoek and J. O'Toole, Exokernel: An Operating System Architecture for Application-Level Resource Management , Proceedings of the 15th ACM Symposium on Operating System Principles, ACM, December 1995.

J. Liedtke, On Micro-Kernel Construction, Proceedings of the 15th ACM Symposium on Operating System Principles, ACM, December 1995. [pdf]

Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Xen and the Art of Virtualization, SOSP 2003.
 lec01:[pdf][ppt]
lec03:[ppt][pdf]
microkernel:[ppt][pdf]
xen: [ppt][pdf]
3, 4
 Process Management. Threads. Scheduling Ch. 3, 4, 5 C. Waldspurger and W. Weihl. Lottery Scheduling: Flexible Proportional-Share Resource Management in Proceedings of  1st USENIX Symposium on Operating System Design and Implementation, 1994. lec05:[ppt][pdf]
lec06:[ppt][pdf]
lec07:[ppt][pdf]
lec08:[ppt][pdf]
5
 Scheduling.
Process Synchronization
 Ch 6
lec09:[ppt][pdf]
lec10: [ppt][pdf]
6
 Process Synchronization.  Deadlocks
 Ch. 7
 J. M. Mellor-Crummey and M. Scott. Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors, ACM Transactions on Computer Systems, Feb. 1991.
7
 Memory Management Ch. 8, 9

8
 Memory Mngmt, Review
Midterm exam (Th, 02/28)
C. Waldspurger. Memory Resource Management in VMware ESX Server in Proceedings of the 5th Symposium on Operating Systems Design and Implementation, 2002
9
 Memory Mngmnt wrap up


Spring Break
10
 File Systems Ch. 10, 11 M. Rosenblum and J. K. Ousterhout. The Design and Implementation of a Log-Structured File System. ACM Trans. on Computer Systems 10(1), 1992, pp. 26-52.
11
 Storage, Distributed File Systems Ch. 12
(optional) D. A. Patterson, G. Gibson, and R. H. Katz. A Case for Redundant Arrays of Inexpensive Disks (RAID) Proceedings of the 1988 ACM SIGMOD Conference on Management of Data, 1988
12
 Distributed File Systems
 Ch. 16, 17
 S. Ghemawat, H. Gobioff and S-T Leung. The Google File System, in Proceedings of the 19th ACM Symposium on Operating Systems Principles, 2003
13
 Distributed Systems.
Distributed Coordination		 Ch. 18 L. Lamport, Time, Clocks, and the Ordering of Events in a Distributed System, Communications of the ACM, July 1978, pages 558-564. 
14
 Protection and Security Ch. 14, 15

15
 Hot topics in OS
TBD
Final Exam: Tuesday, May 1, 10am-12noon (acording to the university exam schedule)

top

Adriana Iamnitchi (anda at cse usf edu)