Approved books (15-412, Spring 2003)

Books

Advanced Configuration And Power Interface Specification Revision 2.0b Available here

Daniel Bovet and Marco Cesati. Understanding the Linux Kernel (2nd Edition)

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

Maurice J. Bach. Design of the Unix Operating System

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

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

Bruce Schneier. Secrets and Lies

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
  • Autonet: a high-speed, self-configuring local area network using point-to-point links, SRC Research Report #59
  • Automatic reconfiguration in Autonet, SRC Research Report #77
• 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, send mail to de0u+412books@andrew.cmu.edu. 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:

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

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