Carnegie Mellon
SCS logo
Computer Science Department

15-410 Approved Readings


Advanced Configuration And Power Interface Specification Revision 2.0c Available here

Daniel Bovet and Marco Cesati. Understanding the Linux Kernel (2nd Edition)
Note: this book has some tendency to function as a play-by-play of what happens inside Linux as opposed to a design book. You may find the BSD book more design-oriented.

Eppinger, Mummert, and Spector, ed. Camelot and Avalon: a distributed transaction facility

Maurice J. Bach. Design of the Unix Operating System

Joshua J. Bloch. Effective Java

Joseph Boykin, David Kirschen, Alan Langerman, Susan LoVerso. Programming under Mach, Addison-Wesley Unix and Open Systems Series; Addison-Wesley Publishing Company, Inc. 1993. ISBN 0-201-52739-1

Marshall Kirk McKusick, Keith Bostic, Michael J. Karels, John S. Quarterman. The Design and Implementation of the 4.4 BSD Operating System, Addison-Wesley Publishing Company, Inc., 1996. ISBN:0-201-54979-4

David Loshin. Efficient Memory Programming
Note that some students reported a distracting number of minor errors in this book.

Jim Mauro, Richard McDougall. Solaris Internals: Core Kernel Architecture

Bruce Schneier. Secrets and Lies
Note: his Beyond Fear is probably too layman-targeted for this class. Meanwhile, Applied Cryptography is probably too dry.

Ph.D. dissertations

Henry Massalin. Synthesis: An Efficient Implementation of Fundamental Operating System Services (ps.gz)

Jay Kistler, Disconnected Operation in a Distributed File System (PDF)

Lily B. Mummert, Exploiting weak connectivity in a distributed file system (PDF)

Alfred Z. Spector, Multiprocessing Architectures for Local Computer Networks, STAN-CS-81-874.

Michael Wayne Young, Exporting a User Interface to Memory Management from a Communication-Oriented Operating System, CMU-CS-89-202.

Paper collections

  • Autonet
  • Exokernel
    • 1994: The exokernel approach to extensibility (panel statement) (PS)
    • 1995: The operating system kernel as a secure programmable machine (PS)
    • 1995: Exterminate all operating system abstractions (PS)
    • 1995: Exokernel: an operating system architecture for application-level resource management (PS)
    • 1997: Application performance and flexibility on exokernel systems (HTML) (PS)
    • 2002: Fast and flexible Application-Level Networking on Exokernel Systems (PDF)
  • EROS - Yes, you can read about EROS, but you need to propose a particular list of papers, see below.
  • Plan 9 - Yes, you can read about Plan 9, but you need to propose a particular list of papers, see below.

Remember, you are not required to read something on this list. This is the list of pre-approved readings. If you want to read something else, make a suggestion on the book choice page.

If you are proposing a collection of papers, please send me a list of titles, page counts, and URLs. I would appreciate it if you would make submissions in HTML according to the format used in this document so I can easily add approved readings. For example:

<A HREF="...">(PDF)</A></P>

<LI>Paper collection name
<LI><CITE>Paper Title 1</CITE> (NN pages),
<A HREF="...">(PDF)</A>
<LI><CITE>Paper Title 2</CITE> (NN pages),
<A HREF="...">(PDF)</A>

(Back to Book Report page)

[Last modified Sunday January 11, 2004]