CMPS 221, Fall 2005
Schedule
This is the schedule for CMPS 221. It's subject to change, based on class progress and other factors.
Access to the papers is restricted to computers within the ucsc.edu domain. Please see the syllabus for information on how to access the papers from off-campus.
| Date | Topic | Readings | Due |
|---|---|---|---|
| 22 Sep | Introduction | Dynamic Storage Allocation in the Atlas Computer, Including an Automatic Use of a Backing Store (Fotheringham, CACM, 1961) | |
| 27 Sep | |||
| 29 Sep | Early systems / history | An Experimental Time-Sharing
System (Corbató, Daggett,
and Daley, Proceedings of the AFIPS 1962 Spring
Joint Computer Conference (SJCC), 1962) |
|
| 4 Oct | Early systems / history | Greenan: The
Structure of the THE Multiprogramming System (Dijkstra, CACM,
1968) Scalisi: The UNIX Time-sharing System (Ritchie & Thompson, Bell System Technical Journal, 1978) |
|
| 6 Oct | Kernel structures |
Decker: Mach:
A New Kernel Foundation for Unix Development (Accetta, et
al.,
USENIX 1986) Southwood: Application Performance and Flexibility on Exokernel Systems (Kaashoek, et al., SOSP 1997) Optional: Extensibility, Safety and Performance in the SPIN Operating System (Bershad, et al., SOSP 1995) |
|
| 11 Oct | Kernel structures | Eads: Dealing
with Disaster: Surviving Misbehaved Kernel Extensions (Seltzer, et
al.,
OSDI 1996) Samprati: Recovering Device Drivers (Swift, et al., OSDI 2004) |
Project proposal |
| 13 Oct | Memory management | Povzner: A New
Page Table for 64-bit Address Spaces (Talluri, et al.,
SOSP 1995) Leung: Sharing and Protection in a Single-Address-Space Operating System (Chase, et al., TOCS 1994) Optional: Cooperative Caching: Using Remote Client Memory to Improve File System Performance (Dahlin, et al., OSDI 1994) |
|
| 18 Oct | Virtual machines | Miller: Scale
and Performance in the Denali Isolation Kernel (Whitaker, et
al., OSDI 2002) Rao: Xen and the Art of Virtualization (Barham, et al., SOSP 2003) |
Bibliography |
| 20 Oct | File systems | Boice: A Fast
File System for UNIX (McKusick, et al., TOCS ,1984) Kaldewey: The Design and Implementation of a Log-Structured File System (Rosenblum & Ousterhout, TOCS, 1992) |
|
| 25 Oct | File systems | Leung: File System
Design for an NFS File Server Appliance (Hitz, et
al., USENIX 1994) Greenan: Scalability in the XFS File System (Sweeney, et al., USENIX 1996) Garg: A Low-Bandwidth Network File System (Muthitacharoen, et al., SOSP 2001) |
|
| 27 Oct | File systems | Scalisi: Deciding
When to Forget in the Elephant File System (Santry, et
al., SOSP 1999) Eads: Venti: A New Approach to Archival Storage (Quinlan & Dorward, FAST 2002) Hagen: Deep Store: An archival storage system architecture (You, et al., ICDE 2005) |
Project plan |
| 1 Nov | Security | Miller: A Note on the Confinement
Problem (Lampson, CACM, 1973) Rao: Protection and the Control of Information Sharing in Multics (Saltzer, CACM, 1974) Samprati: Authentication in Distributed Systems: Theory and Practice (Lampson, et al., TOCS, 1992) |
|
| 3 Nov | Security | Southwood: Backtracking
Intrusions (King, et al., TOCS 2005) Eads: Storage-based Intrusion Detection: Watching Storage Activity for Suspicious Behavior (Pennington, et al., USENIX Security 2003) Optional: Self-Securing Storage: Protecting Data in Compromised Systems (Strunk, et al., OSDI 2000) Optional: A Framework for Evaluating Storage System Security (Reidel, et al., FAST 2002) |
|
| 8 Nov | Synchronization | Povzner: A Fast
Mutual Exclusion Algorithm (Lamport, TOCS, 1987) Boice: An Efficient and Fault-Tolerant Solution for Distributed Mutual Exclusion (Agrawal & El Abbadi,TOCS, 1991) |
|
| 10 Nov | Scheduling | Southwood: Lottery
Scheduling: Flexible Proportional-Share Resource Management (Waldspurger & Weihl,
OSDI 1994) |
|
| 15 Nov | Real-time systems | Povzner: Scheduling
Hard Real-Time Systems: A Review (Burns, Software
Engineering Journal, 1991) Kaldewey: Dynamic Integrated Scheduling of Hard Real-Time, Soft Real-Time, and Non-Real-Time Processes (Brandt, RTSS 2003) |
Progress report |
| 17 Nov | Reliability & fault tolerance | Hagen: An Empirical
Study of Operating Systems Errors (Chou, et al.,
SOSP 2001) Leung: BASE: Using Abstraction to Improve Fault Tolerance (Rodrigues, et al., SOSP 2001) |
|
| 22 Nov | Reliability & fault tolerance | Garg: Microreboot—A
Technique for Cheap Recovery (Candea, et
al., OSDI 2004) Rao: Building a Reactive Immune System for Software Services (Sidiroglou, et al., USENIX 2005) |
|
| 24 Nov | |||
| 29 Nov | Communications & distributed systems | Greenan: Time,
Clocks, and the Ordering of Events in a Distributed System (Lamport, CACM 1978) Samprati: Secure History Preservation through Timeline Entanglement (Maniatis & Baker, USENIX Security, 2002) |
|
| 1 Dec | Performance evaluation | Miller: Why
Aren't Operating Systems Getting Faster as Fast as Hardware? (Ousterhout,
USENIX 1990) Kaldewey: The Measured Performance of Personal Computer Operating Systems (Chen, et al., SOSP 1995) Hagen: The Impact of Architectural Trends on Operating System Performance (Rosenblum, et al., SOSP 1995) |
Project due (4 Dec at 5 PM) |
| TBD | Project poster session | ||