F. Knabe. A Mach IPC facility for SML. Fox note 5, School of Computer Science, Carnegie Mellon University, 1991. Internal working paper. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Survey of Multiprocessor Operating System Kernels - Mukherjee, Schwan, Gopinath (1993) (1 citation) (Correct)
....discusses the design and the implementation of an IPC interface for Mach 3.0. The Mach kernel implements messages only within a single machine. However, the transparency of Mach interprocess communication (IPC) allows a user level server (network message servers) to extend the IPC across a network [100]. On top of the general message primitives, Mach implements various flavors of communication including server client remote procedure calls, distributed object oriented programming, and streams. 4.3.3 Scheduling The Mach scheduler [36, 34, 35] consists of two parts, one responsible for processor ....
MACH Networking Group. Network server design. School of Computer Science, Carnegie Mellon University, August 1989.
A Distributed Protocol for Channel-Based Communication with Choice - Knabe (1993) (21 citations) Self-citation (Knabe) (Correct)
....11 be incorporated into the already existing semantics for channels with choice. This is still an area of research. 3.6. Implementation We have successfully implemented our protocol in Standard ML of New Jersey [2] using Cooper and Morrisett s ML threads [10] and Knabe s Mach IPC package for ML [15]. We relied on the Facile definition of choice [11] and our (abbreviated) user signature looks like this: signature FACILE = sig type channel type stop datatype request = SEND of channel data (unit unit) RECV of channel (data unit) val channel : unit channel val spawn : ....
F. Knabe. A Mach IPC facility for SML. Fox note 5, School of Computer Science, Carnegie Mellon University, 1991. Internal working paper.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC