Date

Topic

Background reading (silberschatz chapters)

Assignment Out

Assignment Due

Wed Aug 28

Intro

Mon Sep 2

Edsger W. Dijkstra 
The Structure of the "THE" Multiprogramming System (incl. appendix)
Communications of the ACM 11(5), May 1968.

Per Brinch Hansen
The Nucleus of a Multiprogramming System
Communications of the ACM 13(4), April 1970 

“Intro”

“OS Structures”

Wed Sept 4

Dennis M. Ritchie and Ken Thompson. 

The UNIX Timesharing System.

Communications of the ACM 17(7), July 1974.

Mon Sept 9

David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C. Purcell
Pilot: An Operating System for a Personal Computer
Communications of the ACM 23(2), Feb 1980.

Hugh C. Lauer
Observations on the development of an operating system
ACM Symposium on Operating Systems Principles, 1981.  

Wed Sept 11

Dawson Engler and Franz Kaashoek.
Exterminate All Operating Systems Abstractions.
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V), 1995.

Dawson Engler, Franz Kaashoek, J. O’Toole, Jr. 
Exokernel: an operating system architecture for application-level resource management.
Fifteenth ACM Symposium on Operating Systems Principles, 1995.

Mon Sept 16

Edouard Bugnion, Scott Devine, and Mendel Rosenblum.

Disco: Running Commodity Operating Systems on Scalable Multiprocessors.

Proceedings of The 16th ACM Symposium on Operating Systems Principles, October 1997 

Assignment #1 

Wed Sept 18

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

Proceedings of the 19th Symposium on Operating System Principles, October, 2003.

Mon Sept 23

Michael M. Swift, Brian N. Bershad, and Henry M. Levy
Improving the reliability of commodity operating systems.
ACM Symposium on Operating Systems Principles, 2003.

Course project description

out — due Fri Oct 4@ noon

Wed Sept 25

No class — Marty at conference

Fri Sept 27

(make-up for Wed Sept 25)

Thomas Anderson, Brian Bershad, Edward Lazowska, and Henry Levy
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism.
ACM Transactions on Computer Systems, Vol 10, No 1, Feb 1992, Pages 53-79.

“Processes”

“Threads”

“CPU Scheduling”

Assignment #1  (5pm)

Mon Sept 30

Scheduling, threads, and scheduler activations

“CPU Scheduling”

Wed Oct 2

C.A.R. Hoare
Monitors: An Operating System Structuring Concept.
Communications of the ACM 17(10), Oct 1974.

Butler Lampson and David Redell.
Experience with processes and monitors in Mesa.
Communications of the ACM 23(2), Feb 1980.

“Synchron.”

Class project proposal due FRI Oct 4 @ Noon !

Mon Oct 7

Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson.
Eraser: A Dynamic Data Race Detector for Multithreaded Programs.
ACM Transactions on Computer Systems, Vol 15, No 4, Nov 1997, Pages 391-411.

Wed Oct 9

Peter Denning. 
The working set model for program behavior.
Communications of the ACM. Vol 11, Issue 5 (May 1968), pages 323 – 333.

H. M. Levy, P. H. Lipman. 
Virtual Memory Management in the VAX/VMS Operating System.
Computer. Vol 15, Issue 3, (March 1982).

“Main Memory”

“Virtual Memory”

Mon Oct 14

No class — UVa Fall Break

Wed Oct 16

Marshall McKusick, William Joy, Samuel Leffler, Robert Fabry.
A Fast File System for UNIX.
ACM Transactions on Computer Systems, Vol 2, No 3, Aug 1984, Pages 181-197

“File System Interface”

“File System Implementation”

“Mass Storage Structure”

Fri Oct 18

(make-up for Mon Oct 21)

11-12:15pm

RICE 032

Mendel Rosenblum and John Ousterhout.
The Design and Implementation of a Log-Structured File System.
ACM Transactions on Computer Systems, Vol 10, No 1, Feb 1992, Pages 26-52.

Mon Oct 21

No class — Marty at conference

Wed Oct 23

No class — Marty at conference

Mon Oct 28

E. B. Nightingale, K. Veeraraghavan, P. Chen, and J. Flinn.
Rethink the Sync.

Proceedings of the 7th USENIX Symposium on Operating System Design and Implementation (OSDI), 2006.

Wed Oct 30

Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, and Bob Lyon. 
Design and Implementation of the Sun Network Filesystem.
Proceedings of Summer 1985 USENIX Conference, pages 119-130.

Sanjay Ghemawatt, Howard Gobioff, Shun-Tak Leung. 
The Google File System.
Proceedings of the 19^st ACM Symposium on Operating Systems Principles (SOSP), Oct 2003.

Fri Nov 1

(make-up for Wed Oct 23)

11-12:15

MEC 215

Jeffrey Dean and Sanjay Ghemawat.

MapReduce: Simplified Data Processing on Large Clusters .
Proceedings of the Sixth USENIX Symposium on Operating System Design and Implementation (OSDI), Dec 2004.

Mon Nov 4

To be determined...

Wed Nov 6

To be determined...

Mon Nov 11

To be determined...

Wed Nov 14

No class — Marty at conference

Mon Nov 18

To be determined...

Wed Nov 20

To be determined...

Fri Nov 22

(make-up for Wed Nov 14)

11-12:15

MEC 215

To be determined...

Mon Nov 25

To be determined...

Wed Nov 27

No UVa classes — Thanksgiving

Mon Dec 2

Class mini-symposium day 1

Wed Dec 4

Class mini-symposium day 2

Wed Dec 11

Final exam –2-4 pm