COP 6611: Graduate Operating Systems
Spring 2009

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

Office Hours: Wednesdays from 10am-12pm and by appointment
Office: ENB 334
Email: anda at cse

Teaching Assistant: Mayur Palankar
Office Hours: Mondays/Tuesdays 9-11am
Office:  ENB 325
Email: mpalanka at cse

Announcements:
03/03: HW5 assigned, due 03/12.
02/17:
HW4 assigned, due 02/24.
02/10:
We relaxed the requirements for classwork: there will be no final projects. This will allow us to cover the reading and the textbook material in more depth. The 20% initially assigned to the final project were equally distributed for the midterm exam, reading assignments, programming assignments, and homework assignments. The syllabus has been updated.
02/10: The midterm exam is re-scheduled for Thursday, March 12.

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 In-Class Problems
Assignments
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.
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.
lec02.ppt
lec03.ppt
lec04.ppt

H1: due 01/08
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
lec06.ppt
lec07.ppt
set1.pdf
H2: due 01/27
4, 5, 6
Process Synchronization.  Deadlocks
Ch. 6, 7

lect08.ppt
lec10.ppt
lec11.ppt

H3: due 02/17
6, 7
Memory Management Ch. 8, 9 C. Waldspurger. Memory Resource Management in VMware ESX Server in Proceedings of the 5th Symposium on Operating Systems Design and Implementation, 2002 lec13.ppt
lec14.ppt


H4: due 02/24
8
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.
lec15.ppt
lec16.ppt


9
Distributed File Systems Ch. 16, 17
J. Howard et. al. Scale and Performance in a Distributed File System, ACM Transactions on Computer Systems, 6(1), 1988.
OR
S. Ghemawat, H. Gobioff and S-T Leung. The Google File System, in Proceedings of the 19th ACM Symposium on Operating Systems Principles, 2003
lec18.ppt

H5: due 03/12
10
Problem session and Midterm exam (Thursday)





Spring Break
11
Mass Storage Structures.

Ch. 12 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.
lec21.ppt
lec22.ppt
RAID.ppt


12
Protection and Security Ch. 14, 15
lec23.ppt
lec24.ppt


13, 14
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.  lec25.ppt
lec26.ppt
lec27.ppt
lec28.ppt


15 More on Distributed Systems.
K. M. Chandy and L. Lamport, Distributed Snapshots: Determining Global States of Distributed Systems, ACM Transactions on Computer Systems, February 1985, pages 63-75.  lec29.ppt


Final Exam: Tuesday, April 28, from 10am-12noon (acording to the university exam schedule)

top



Adriana Iamnitchi (anda at cse usf edu)