FSU COP 5611 (Spring 2006)
Advanced Operating Systems

Instructor
Andy Wang (awang@cs.fsu.edu)

Announcements

[Jan 1] Welcome to COP 5611!

[Apr 25] The final exam is now posted in this directory. The file name is final.doc.

Course Material

Lecture 1 (1/9/2006)
Course Syllabus (Word XP)
Course Information (PowerPoint XP)
Course Introduction (PowerPoint XP)
The UNIX Time-Sharing System by Ritchie and Thompson

Lecture 2 (1/11/2006)
Advanced File Systems (PowerPoint XP)
A Fast File System for UNIX
UNIX Disk Access Patterns (optional)

Lecture 3 (1/17/2006)
FFS, LFS, and RAID (PowerPoint XP)
An Implementation of a Log-Structured File System for UNIX
A Case for Redundant Arrays of Inexpensive Disks (RAID)
Elephant: The File System that Never Forgets (optional)

Lecture 4 (1/23/2006)
File System Extensibility and Non-Disk File Systems (PowerPoint XP)
File system Development with Stackable Layers
Conquest: Better Performance Through A Disk/Persistent-RAM Hybrid File System
Vnodes: An Architecture for Multiple File System Types in Sun UNIX (optional)

Lecture 5 (1/25/2006)
MEMS and Caching for File Systems (PowerPoint XP)
The Effects of Memory-Rich Environments on File System Microbenchmarks
Operating System Management of MEMS-based Storage Devices (optional)
My cache or yours? Making storage more exclusive (optional)

Lecture 6 (1/30/2006)
Threads, Events, and Scheduling (Power Point XP)
Lottery Scheduling: Flexible Proportional-Share Resource Management
Why Events Are a Bad Idea (for High-Concurrency Servers) (optional)
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism (optional)

Interprocess Communications (PowerPoint XP)
Implementing Remote Procedure Calls
Introduction to RPC API (optional)

Lecture 7 (2/1/2006)
Interprocess Communications (continued) (PowerPoint XP)
Opal: A Single Address Space System for 64-bit Architectures
The Expected Lifetime of "Single-Address-Space" Operating Systems (optional)
Anonymous RPC: Low-Latency Protection in a 64-Bit Address Space (optional)

Lecture 8 (2/6/2006)
Exam 1

Lecture 9 (2/8/2006)
Project Proposal Presentations

Lecture 10 (2/13/2006)
Project Proposal Presentations

Lecture 11 (2/15/2006)
Operating System Organization (PowerPoint XP)
On Micro-Kernel Construction by Jochen Liedtke
Why Aren't Operating Systems Getting Faster as Fast as Hardware? by John Ousterhout
Plan 9 from Bell Labs (optional)
Making Paths Explicit in the Scout Operating System (optional)
Amoeba (optional)

Lecture 12 (2/20/2006)
Operating System Organization Continued (PowerPoint XP)
An Overview of the Spring System

Lecture 13 (2/22/2006)
Distributed Operating Systems (PowerPoint XP)
Chapter 1, Distributed Operating Systems by Tanenbuam and Steen (optional)

Lecture 14 (2/27/2006)
Distributed Operating Systems (Part II) (PowerPoint XP)
World Wide Web Cache Consistency
An Evaluation of the Ninth SOSP Submission (optional)
Some Reflections on Innovation and Invention (optional)

Lecture 15 (3/1/2006)
Distributed Operating Systems (Part III) (PowerPoint XP)
Time, Clocks, and the Ordering of Events in a Distributed System by Leslie Lamport
The Dangers of Replication and a Solution (optional)

Lecture 16 (3/13/2006)
Distributed Operating Systems (Part IV) (PowerPoint XP)
IPC in Distributed Operating Systems (PowerPoint XP)
Lightweight Causal and Atomic Group Multicast
Mirage: A Kernel Implementation of Distributed Shared Memory on a Network of Personal Computers
Pastry: Scalable, Decentralized Object Location and Routing for Large-Scale Peer-to-Peer Systems (optional)
The Hash History Approach for Reconiling Mutual Inconsistency (optional)

Lecture 17 (3/15/2006)
Distributed File Systems (PowerPoint XP)
An Overview of the Andrew File System (optional)

Lecture 18 (3/20/2006)
Distributed File Systems, Continued (PowerPoint XP)
Serverless Network File Systems

Lecture 19 (3/22/2006)
Exam 2 (open book)

Lecture 20 (3/27/2006)
The Google File System (PowerPoint XP)
OceanStore: An Architecture for Global-Scale Persistent Storage (PowerPoint XP)

Lecture 21 (3/29/2006)
Preserving Peer Replicas by Rate-Limited Sampled Voting (PowerPoint XP)
Pastiche: Making Backup Cheap and Easy (PowerPoint XP)

Lecture 22 (4/3/2006)
Operating System Security (PowerPoint XP)
Crisis and Aftermath

Lecture 23 (4/5/2006)
Operating System Security (Part II) (PowerPoint XP)
The Evolution of the Kerberos Authentication Service
Internet Privacy Enhanced Mail

Lecture 24 (4/10/2006)
Automated Worm Fingerprinting (PowerPoint XP)

Lecture 25 (4/12/2006)
Reliability (PowerPoint XP)
Enhancing Availability and Security Through Failure Oblivious Computing (PowerPoint)
Rx: Treating Bugs as Allergies--A Safe Method to Survive Software Failures (optional)

Lecture 26 (4/17/2006)
Project Presentations

Lecture 27 (4/19/2006)
Project Presentations

Useful Resources

Books
Andrew Tanenbaum and Maarten van Steen, Distributed Systems Principles and Paradigms
Mukesh Singhal and Niranjan Shivaratri, Advanced Concepts in Operating Systems
Tanenbaum, Modern Operating Systems (background)
Silberschatz, Galvin, Gagne, Operating System Concepts (background)
Gary Nutt, Operating Systems: A Modern Perspective (background)
Gary Nutt, Kernel Projects for Linux (background)
Kernighan, Ritchie, The C Programming Language (background)
Maxwell, Linux Core Kernel Commentary (background)

On-line Resources
Newsgroup
Emacs reference card

awang@cs.fsu.edu
Last modified on: January 5, 2006