Mach Documentation Library

• Mach Papers
• Real Time Mach Papers
• OSF Kernel and Server Manuals
• Mach US (Multiserver) Docs
• Mach 4 Docs

Mach Papers

• Robert V. Baron, David Black, William Bolosky, Jonathan Chew, Richard P. Draves, David B. Golub, Richard F. Rashid, Avadis Tevanian, Jr., and Michael Wayne Young. Mach Kernel Interface Manual [postscript] August, 1990. Unpublished manuscript from the School of Computer Science, Carnegie Mellon University.

• Joseph S. Barrera III. A Fast Mach Network IPC Implementation [postscript] Proceedings of the Usenix Mach Symposium, November 1991.

• Brian N. Bershad, Matthew J. Zekauskas. Shared Memory Parallel Programming with Entry Consistency for Distributed Memory Multiprocessors [postscript] CMU Technical Report CMU-CS-91-170, September 1991.

• Brian Bershad. Practical Considerations for Non-Blocking Concurrent Objects. [postscript] CMU Technical Report CMU-CS-91-183, October 1991.

• Brian N. Bershad. The Increasing Irrelevance of IPC Performance for Microkernel-Based Operating Systems. [postscript], Proceedings of the 1992 USENIX Workshops on Microkernels.

• Brian N. Bershad, Richard P. Draves, Alessandro Forin. Using Microbenchmarks to Evaluate System Performance. [postscript], Proceedings of the Third Workshop on Workstation Operating Systems(WWOS-3), April 1992.

• Brian N. Bershad, David D. Redell*, John R. Ellis*. Fast Mutual Exclusion for Uniprocessors. [postscript] A version of this paper will appear in the Fifth Symposium on Architectural Supports for Programming Languages and Operating Systems (ASPLOS V), October 1992

• Brian N. Bershad, Matthew J. Zekauskas and Wayne A. Sawdon. The Midway Distributed Shared Memory System. [postscript] CMU Technical Report CMU-CS 93-119. A version of the paper can also be found in the Proceedings of COMPCON 1993.

• David L. Black, David B. Golub, Richard F. Rashid, Avadis Tevanian, Jr., and Michael W. Young. The Mach Exception Handling Facility [postscript] Technical Report CMU-CS-88-129, School of Computer Science, Carnegie Mellon University, April 1988

• David L. Black. The Mach cpu_server: An Implementation of Processor Allocation [postscript] August 1989. Unpublished manuscript from the School of Computer Science, Carnegie Mellon University.

• David. L. Black. Scheduling Support for Concurrency and Parallelism in the Mach Operating System. [postscript] CMU Technical Report CMU-CS-90-125, April 1990. A revised version can be found in the May 1990 issues of IEEE Computer.

• David. L. Black. Scheduling and Resource Management Techniques for Multiprocessors. [postscript] CMU Thesis CMU-CS-90-152, July 1990.

• Jose C. Brustoloni and Brian N. Bershad. Simple Protocol Processing for High-Bandwith Low-Latency Networks [postscript]. Technical Report CMU- CS-93-132, School of Computer Science, Carnegie Mellon University, March 1992.

• Deborah Casewell, David. Black Implementing a Mach Debugger for Multithreaded Applications [postscript] Proceedings of Winter 1990 USENIX Technical Conference and Exhibition, January 1990

• Eric C. Cooper and Richard P. Draves. C Threads. [postscript] Technical Report CMU- CS-88-154, School of Computer Science, Carnegie Mellon University, February 1988.

• J. Bradley Chen. Software Methods for System Address Tracing. [postscript] Technical Report CMU-CS-93-188, School of Computer Science, Carnegie Mellon University, August 1993. Also, to appear in the proceedings of The Fourth Workshop on Workstation Operating Systems, Napa, CA, October 14-15.

• J. Bradley Chen, Brian N. Bershad. The Impact of Operating System Structure on Memory System Performance. [postscript] To appear in the proceedings of The Fourteenth Symposium on Operating System Principles.

• J. Bradley Chen. Memory Behavior of an X11 Window System. [postscript] This paper also appears in the Proceedings of the Winter USENIX Conference, January 1994.

• Randall Dean. Using Continuations to Build a User-Level Threads Library. [postscript] This paper will appear in the Proceedings of the Third USENIX Mach Conference, April 1993.

• Randall Dean, Francois Armand*. Data Movement in Kernelized Systems. [postscript]

• Richard P. Draves, Michael B. Jones, and Mary R. Thompson. MIG --- The MACH Interface Generator. [postscript] July 1989. Unpublished manuscript from the School of Computer Science, Carnegie Mellon University.

• Richard P. Draves. A Revised IPC Interface. [postscript] Proceedings of the USENIX Mach Conference, October 1990.

• Richard P. Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean. Using Continuations to Implement Thread Management and Communication in Operating Systems. [postscript] Technical Report CMU-CS-91-115, Carnegie Mellon University, October 1991. Also appears in the proceedings of the Thirteenth Symposium on Operating Systems(SOSP).

• Richard P. Draves. Page Replacement and Reference Bit Emulation in Mach. [postscript] Proceedings of the Usenix Mach Symposium, November 1991.

• Alessandro Forin, David Golub, Brian Bershad. An I/O System for Mach. [postscript]. Proceedings of the Usenix Mach Symposium, November 1991.

• Alessandro Forin, Joseph Barrera, Michael Young, Richard Rashid. Design, Implementation and Performance Evaluation of a Distributed Shared Memory Server for Mach. [postscript] A shorter version of this paper appears in the Proceedings of the Winter USENIX Conference, January 1989.

• Alessandro Forin and Gerald R. Malan. An MS-DOS File System for UNIX. [postscript] An extended version of a paper that appeared in the 1994 Winter USENIX Conference.

• Michael Ginsberg, Robert V. Baron, Brian N. Bershad. Using the Mach Communication Primatives in X11. [postscript] Proceedings of the Third USENIX Mach Conference, April 1993. The paper will soon be available as technical report: CMU-CS-93-121.

• David Golub, Randall Dean, Alessandro Forin, Richard Rashid. Unix as an Application Program. [postscript] This article appears in the Proceedings of the USENIX Summer Conference, June 1990.

• David B. Golub, Richard P. Draves. Moving the Default Memory Manager out of the Mach Kernel. [postscript] Proceedings of the Usenix Mach Symposium, November 1991.

• Paulo Guedes(Open Software Foundation), Daniel Julin. Object-Oriented Interfaces in the Mach 3.0 Multi-Server System. [postscript] Proceedings of the IEEE Second International Workshop on Object Orientation in Operating Systems, October 1991.

• Michael B. Jones. Bringing the C Libraries With Us into a Multi-Thread Future. [postscript] Proceedings of the 1991 Winter USENIX Conference, January 1991.

• Michael B. Jones. A Tookit for Interposing User Code at the System Interface. [postscript] IEEE Computer Society Technical Committee on Operating Systems and Application Environments(TCOS)Newsletter, Spring 1991.

• Michael B. Jones. Transparently Interposing User Code at the System Interface. [postscript] Proceedings of the Third Workshop on Workstation Operating Systems(WWOS-3), April 1992.

• Michael B. Jones. Inheritance in Unlikely Places: Using Objects to Build Derived Implementations of Flat Interfaces [postscript]

• Dan Julin. Network Server Design, Mach Networking Group. [postscript] September 1989.

• Daniel P. Julin, Jonathan J. Chew, J. Mark Stevenson, Carnegie Mellon University. Paulo Guedes, Paul Neves*, Paul Roy, Open Software Foundation. Generalized Emulation Services for Mach 3.0: Overview, Experiences and Current Status. [postscript] Proceedings of the Usenix Mach Symposium, November 1991.

• Ted Lehr, David L. Black. Mach Kernel Monitor(with applications using the PIE environment. [postscript] February, 1990.

• Chris Maeda, Brian N. Bershad. Networking Performances for Microkernels. [postscript] Proceedings of the Third Workshop on Workstation Operating Systems(WWOS-3), April 1992.

• Chris Maeda, Brian N. Bershad. Protocol Service Decomposition for High-Peformance Networking. [postscript] To be presented at the 14th ACM Symposium on Operating Principles, December 1993.

• Gerald Malan, Richard Rashid, David Golub, Robert Baron. DOS as a Mach 3.0 Application. [postscript] Proceedings of the Usenix Mach Symposium, November 1991.

• Gerald Malan. Mach DOS Update. [postscript] Open Software Foundation Newsletter, Spring 1992.

• Richard Rashid, Avadis Tevanian, Jr., Michael Young, David Golub, Robert Baron, David Black, William Bolosky, and Jonathan Chew. Machine-Independent Virtual Memory Management for Paged Unip and Multiprocessor Architectures. [postscript]. Technical Report CMU-CS-87-140, School of Computer Science, Carnegie Mellon University, July 1987. Also in Proceedings of the 2nd Symposium on Architectural Support for Programming Languages and Operating Systems, ACM, October, 1987. 14 pages.

• Richard Rashid, Daniel Julin, Douglas Orr, Richard Sanzi, Robert Baron, Alessandro Forin, David Golub, Michael Jones. Mach: A System Software kernel. [postscript] Proceedings of the 34th Computer Society International Conference COMPCON 89, February 1989.

• Richard Rashid, Robert Baron, Alessandro Forin, David Golub, Michael Jones, Daniel Julin, Douglas Orr, Richard Sanzi. Mach: A Foundation for Open Systems. [postscript] Proceedings of the Second Workshop on Workstation Operating Systems(WWOS2), September 1989.

• Indira Subramanian. Managing Discardable Pages with an External Pager. [postscript] Proceedings of the Usenix Mach Symposium, November 1991.

• Avadis Tevanian, Jr., Richard F. Rashid, Michael Young, David B. Golub, Mary R. Thompson, William Bolosky, and Richard Sanzi. A Unix Interface for Shared Memory and Memory Mapped Files. [postscript], Technical Report, School of Computer Science, Carnegie Mellon University, Pittsburgh, July 1987.

• Avadis Tevanian, Jr., Richard F. Rashid, David B. Golub, David L. Black, Eric Cooper, and Michael W. Young. Mach Threads and the Unix Kernel: The Battle for Control. [postscript] Technical Report CMU-CS-87-149, School of Computer Science, Carnegie Mellon University, August 1987.

• Mary R. Thompson. Mach Environment Manager. [postscript], July 1988. Unpublished manuscript from School of Computer Science, Carnegie Mellon University.

• Linda R. Walmer and Mary R. Thompson. A Programmer's Guide to the Mach System Calls. [postscript] February 1988. School of Computer Science, Carnegie Mellon University.

• Linda R. Walmer and Mary R. Thompson. A Programmer's Guide to the Mach User Environment. [postscript] February 1988. School of Computer Science, Carnegie Mellon University.

• Bob Wheeler, Brian N. Bershad. Consistency Management for Virtually Indexed Caches. [postscript] A version of this paper appears in the Fifth Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS V), October 1992.

• Michael Young, Avadis Tevanian, Jr., Richard Rashid, David Golub Jeffrey Eppinger, Jonathan Chew, William Bolosky, David Black, and Robert Baron. The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System. [postscript] Technical Report CMU-CS-87-155, School of Computer Science, Carnegie Mellon University, August7. Also in Proceedings of the 11th Symposium on Operating Systems Principles, November, 1987.

• Masanobu Yuhara, Brian N. Bershad, Chris Maeda, J. Eliot B. Moss. Efficient Packet Demultiplexing for Multiple Endpoints and Large Messages [postscript]. Proceedings of the 1994 Winter USENIX Conference, January 1994.

back to top

Real Time Mach Papers

• Stefan Savage, Hideyuki Tokuda. Real Time Mach: Exporting Time to the User. [postscript] This paper is scheduled to appear in the Proceedings of the Third Usenix Mach Symposium(Machnix), April 19-21, 1993

• Hideyuki Tokuda, Tatsuo Nakajima, Prithvi Rao. Real-Time Mach: Towards Predictable Real-Time Systems. [postscript]. Proceedings of the USENIX 1990 Mach Workshop, October 1990.

• Hideyuki Tokuda and Tatsuo Nakajima. Evaluation of Real-Time Synchronization in Real-Time Mach. [postscript]. This paper appears in the proceedings for the USENIX 1991 Mach Workshop, October 1991.

back to top

OSF Kernel and Server Manuals

• Keith Loepere. Mach 3 Kernel Principles. [postscript] Open Software Foundation document.

  Documents the user visible architecture of the Mach 3.0 kernel. It is currently the best detailed introductio\ n to the basic Mach concepts: tasks, threads, ports, messages, memory objects, virtual address spaces, processors, hosts and devices. (52 pages)

• Keith Loepere. Mach 3 Kernel Interface. [postscript] Open Software Foundation document.

  Describes each of the Mach 3.0 kernel primitives in isolation. The format is that of a man page per kernel call. All introductory material is in "Mach 3 Kernel Principles". (355 pages).

• Keith Loepere. Server Writer's Guide. [postscript] Open Software Foundation document.

  Documents the major user level tools for writers of Mach servers: MIG and CThreads. Contains descriptive material and examples. Similar to the Mach 2.5 documents, "MIG - The MACH Interface Generator", Draves, et.al. and "C Threads", Cooper, Draves, but updated to reflect the changes for Mach 3.0 (44 pages)

• Keith Loepere. Server Writer's Interface. [postscript] Open Software Foundation document.

  Describes each of the CThreads primitives in isolation. Introductory material is all in the "Server Writer's Guide". (52 pages)

back to top

Mach US (Multiserver) Documentation

• What is Mach US. [postscript]. July 1994.

  A short introduction to Mach-US. Current status included.

• Mach-US: UNIX On Generic OS Object Servers J. Mark Stevenson, Daniel P. Julin. [postscript], Usenix Technical Conference, Jan. 1995.

  This paper examines the Mach-US operation system, and supplies an analysis of the OS architectural research issues addressed by its implementation.

• Client-Server Interactions in Multi-Server Operating Systems: The Mach-US Approach J. Mark Stevenson, Daniel P. Julin. [postscript], CMU Technical Report: CMU-CS-94-191, Sep. 1994.

  This paper describes requirements placed upon client-server interaction in a multi-server operating system and how to answer those requirements. Addressed are the problems of binding maintenance in the face of: remote method invocation, forking, binding transfer, authentication, asynchronous interruption, and client crashes.

• Emulation Services for Mach 3.0 Overview, Experiences and Current Status. Daniel Julin, J. Chew, J. M. Stevenson, P Guedes, R. Neves, P. Roy. [postscript], Usenix Mach Symposium, Nov. 1991.

  General overview of the Mach-US: system, design, and perspective.

• The Mach 3.0 Multi-Server System Overview. Daniel P. Julin. [postscript],

  Informal technical overview. More technical than the Generalized Emulation Services paper.

• Writing a Client-Server Application in C++. Paulo Guedes, Daniel P. Julin. [postscript],

  A paper about the C++ package for dynamic (and remote) object invocations.

• Object-Oriented Interfaces in the Mach 3.0 Multi-Server System. Paulo Guedes, Daniel P. Julin. [postscript], IEEE Workshop on Object Orientation in Operation Systems 1991.

  Another paper about the C++ object invocation package.

• Naming Facilities for Operating System Emulation in Mach 3.0. Daniel P. Julin. [postscript],

  A paper the describes the naming subsystem.

• Libus++ Reference Manual. Paulo Guedes. [postscript],

  Reference manual for the C++ package for dynamic (and remote) object invocations.

• Installing and Running Mach-US. Mary R. Thompson. [abstract], [postscript],

  Installation guide for the Mach multiserver.

• Multiserver. [postscript],

  Slides from Dan Julin's Mach Internals Talk on the Multiserver given on April 9, 1992.

back to top

Mach 4 Documentation

• Fast and Flexible Mach-based Systems. [postscript],

  Slides from Jay Lepreau and John Carter's Mach Internals Talk on the Mach 4.

back to top