Advanced Systems Topics 2002-03
Principal lecturer: Dr Steven Hand (smh22@cl.cam.ac.uk)
Taken by: Part II
Syllabus
Advanced operating systems
This section of the course will cover local and distributed virtual
memory, capability systems, microkernel evolution, virtual machine
monitors, extensibility and filesystem & database storage.
- Slides in PDF
and PostScript formats.
- Coming soon: sample supervision questions
- Recommended books:
- Singal, M. & Shivaratri, N. (1994). Advanced Concepts in Operating
Systems: Distributed, Database, and Multiprocessor Operating
Systems. McGraw-Hill.
- Stonebraker, M. & Shivaratri, N. (1998). Readings in Database
Systems. Morgan Kaufmann (3rd ed.).
- Additional reading:
-
Memory Coherence in Shared Virtual Memory Systems, Li et
al, PODC '86.
-
Munin: distributed shared memory based on type-specific memory
coherence, Bennet et al, PPOPL '90.
-
The Multics Virtual Memory: Concepts and Design, Bensoussan et
al, CACM May 1972 15(5)
-
The Cambridge CAP Computer, Levy, 1998.
-
The Duality of Memory and Communication in the Implementation
of a Multiprocessor Operating System, Young et al, SOSP '87.
-
On Microkernel Construction, Liedtke, SOSP '95.
-
The Performance of Microkernel-based Systems, Haertig et al,
SOSP '97.
-
State-caching in the EROS Kernel, Shapiro et al,
POS '96.
-
Disco: Running Commodity Operating Systems on Scalable
Multiprocessors, Buignon et al, SOSP '97.
-
Scale and Performance in the Denali Isolation Kernel,
Whitaker et al, OSDI '02.
-
Xen 2002, Barham et al, UCAM-CL-TR-553 '02.
-
Extensibility, Safey and Performance in the SPIN Operating
System, Bershad et al, SOSP '95.
-
Dealing with Disaster: Surviving Misbehaved Kernel Extensions,
Seltzer et al, OSDI '96.
-
Exterminate All Operating System Abstractions,
Engler et al, HotOS '95.
-
Application Performance and Flexibility on Exokernel Systems,
Kaashoek et al, SOSP '97.
-
Self-paging in the Nemesis Operating System, Hand,
OSDI '99.
-
A Fast File System for UNIX, McKusick et al, TOCS '84.
-
The Design and Implementation of a Log-Structured File System,
Rosenblum et al, SOSP '91.
-
An Implementation of a Log-Structured File System for UNIX,
Seltzer et al, Usenix '93.
-
The Implementation of Postgres, Stonebraker et al, IEEE
KDE '90.
-
Serverless Network File Systems (aka xFS),
Anderson et al, SOSP '95.
-
Petal: Distributed Virtual Disks, Thekkath et al, ASPLOS '96.
-
Frangipani: A Scalable Distributed File System , Thekkath
et al, SOSP '96.
-
Interposed Request Routing for Scalable Network Storage,
Anderson et al, OSDI '00.
Scalable synchronization
- Slides and example questions in PDF
and PostScript formats
- Supervisors' guide / solution notes in PDF
and PostScript formats
- Source code for libstm -- should
work on x86, SPARC, IA-64 but it's a beta version and comes with no guarantee of correctness
- Recommended books:
- Chapter 2 from Lea, D. (1999). Concurrent Programming in Java.
Addison-Wesley (2nd ed.)
- Chapter 6 from Hennessy, J. and Petterson, D. Computer Architecture, a
Quantitative Approach. Morgan Kaufmann (3rd ed.)
- Additional material for background reading:
Peer-to-peer systems
|