M. B. Jones and R. F. Rashid, `Mach and matchmaker: kernel and language support for objectoriented distributed systems', Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, October 1986, pp. 67--77.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Nier87c] Jasmine: An object oriented system with inheritance, persistent objects and transactions. University of Washington. Wieb86] LOOPS: A logic object oriented language with multiple inheritance. Mitt86 Stef83] Mach: Capability based Unix for object oriented programming. Carnegie Mellon. [Jone86] Mesa: Programming language with monitors to which multiple inheritance (a la traits ) were added. Used in the implementation of the Xerox Star workstation. Curr82 Gesc77 Mitc79 Lamp80] ModPascal: An object oriented Pascal. From the University of Kaiserslautern, Germany. Olth86] Oaklisp: ....

M.B. Jones and R.F. Rashid, "Mach and Matchmaker: Kernel and Language Support for Object-Oriented Distributed Systems", ACM SIGPLAN Notices, vol. 21, no. 11, pp. 67-77, Nov 1986.

....or both) However, many details, e.g. properties of the underlying communication mechanism, can be left out because they can be determined by the code generator. This permits a high level of abstraction. A variety of interface definition languages (IDL) have been specified for this purpose [13, 17, 24]. Here is an example interface definition in CORBA IDL: interface foo typedef sequence char buffer t; short alpha(in string a) void beta(out buffer t b) This specification defines an interface foo which contains two procedures, alpha and beta. The first procedure takes a string as an ....

.... the C language might produce the following code from this specification: typedef struct long length, maximum; void data; buffer t; short foo alpha(foo obj, char a) void foo beta(foo obj, buffer t b) Some IDLs are more platform specific; for example, Matchmaker [24] has support for ports, a special data type of the Mach kernel, so it cannot be used for other platforms. 2 Related Work A considerable amount of work has been dedicated to optimize RPC, and many different techniques have been demonstrated. In this section, we discuss some of the research ....

[Article contains additional citation context not shown here]

Michael B. Jones and Richard F. Rashid. Mach and Matchmaker: Kernel and language support for object-oriented distributed systems. In Proceedings of the 1st Conference on Object-Oriented Programming Systems, Languages and Applications, pages 67--77. ACM Press, Nov 1986.

....nodes, but internode communications are explicit. Threads are active entities performing invocations. Threads and objects can be associated with recovery attributes so that objects can maintain consistency in presence of failures. The system does not support class hierarchy nor inheritance. Mach [7] defines a computational model composed of tasks (shared virtual memory) and threads (sequential processes running within a task) Communication uses shared memory (within a task) messages and ports. Jobs and activities in Guide may be compared, respectively, to Mach tasks and threads. An ....

Jones, M.B. and Rashid, R.F., "Mach and MatchMaker: Kernel and Language Support for Object-Oriented Distributed Systems," Proc. OOPSLA '86, pp. 67-77, Portland, 1986.

....should be available by September 1988. Development and improvement are still in proces and new versions will be available to all users. Contact: Richard F. Rashid, Computer Science Department, Carnegie Mellon University, Pittsburgh, PA 15213. References: 218] 219] 220] 221] 222] 223] [224], 225] 6] 226] 227] 228] 229] 230] 231] 232] 2.33 Medusa Main Goal Medusa is a distributed operating system designed for the Cm multimicroprocessor. It is an attempt to produce a system that is modular, robust, location transparent, and to take advantage of the parallelism ....

M.B. Jones and R.F. Rashid, "Mach and Matchmaker: Kernel and Language Support for Object-Oriented Distributed Systems", In Proc. OOPSLA '86 (Objectject-Oriented Programming Systems, pages 67--77, Portland, Oregon, September 1986.

....systems have been implemented based on this mechanism (see [BST89] for 1 a survey. Unfortunately, however, this mechanism has not yet been well integrated in type systems of programming languages, and the types of functions that can be called remotely are still very limited. Despite some works [JR86, LBG 87, HS87] to extend this technique, there seems to be no systematic method that achieves transparent call of higher order functions. Cooper and Krumvieda [CK92] proposed distributed primitives for Standard ML based on a form of remote procedure call mechanism developed for C. They ....

M. B. Jones and R. F. Rashid. Mach and Matchmaker: kernel and language support for object-oriented distributed systems. In Proceedings of ACM OOPSLA Conference, pages 67-77, 1986.

....and data to be used for remote interoperation in a specialized language with its own type system. An IDL compiler translates these declarations into equivalent declarations in each PL and also generates the marshaling stubs. IDLbased tools include research results like Courier [17] and Matchmaker [9], as well as the competing proposals of various companies and consortia, such as SUN ONC [15] OSF DCE [13] Microsoft s Distributed COM [11] and OMG s CORBA [12] Because the IDL s type system has some translation into each language, multi language interoperation is achieved. The declarations ....

Michael B. Jones and Richard F. Rashid. Mach and Matchmaker: Kernel and language support for object-oriented distributed systems. Technical Report CMU-CS-87-150, CS Department, CMU, September 1986.

....types to be used throughout a project, both for computation and for intercomponent communication, at the expense of limiting a project to a single language. This limitation can be unacceptable when integrating information systems that are already implemented in multiple languages. IDL compilers [13, 15, 17, 18, 19, 22, 24] support multiple languages by generating stubs from IDL. However, IDL compilers also generate programming language data declarations from the IDL that must be used for intercomponent communication. These imposed types are rarely what the programmer would have chosen for computational purposes. ....

Michael B. Jones and Richard F. Rashid. Mach and Matchmaker: Kernel and language support for object-oriented distributed systems. Technical Report CMU-CS-87-150, CS Department, CMU, September 1986.

....file, which is then lexically included in various compilations as he goes about implementing components. The parts of C that are used to declare types and functions thus constitute an IDS. In this paper, we consider one very common motivation for using an IDL: to support distributed computing [13, 12, 16, 11, 17, 7, 6], where the IDL s role is to specify message or function signatures for remote communication. These languages do not go much beyond typical programming language IDSs in supporting specification: their primary purpose is to serve as additional source languages for the part of the implementation ....

Michael B. Jones and Richard F. Rashid. Mach and Matchmaker: Kernel and language support for object-oriented distributed systems. Technical Report CMU-CS-87-150, CS Department, CMU, September 1986.

....to the type declarations. Normally, a transmission involving a pointer carries along the thing pointed to (a deep copy is made) unless this behavior is overridden with an annotation. We make available a complete specification of Concert C [5] couched as a formal extension to [1] a tutorial [17], and a programmer s manual [4] Also, a complete Concert C system is available by anonymous ftp for experimental use. 3 The Concert C compiler One implementation problem we faced was how to be a superset of ANSI C without disrupting the use of ANSI C compilers, tools, debuggers, object code, ....

Michael B. Jones and Richard F. Rashid. Mach and Matchmaker: Kernel and language support for objectoriented distributed systems. Technical Report CMUCS -87-150, CS Department, CMU, September 1986.

....programming language support. Relying on programming language support would severely limit the degree to which disjoint, unrelated components can interact in a multilingual, loosely coupled distributed system. We adopt the solution of using a high level interface description language (IDL) JR86] to address the language dependency problem. An IDL provides a mechanism for specifying an object s interface independent of any programming language. A translator maps these specifications into a target language s notion of objects and interfaces. The generated language specific modules are used ....

Michael B. Jones and Richard F. Rashid. Mach and Matchmaker: Kernel and Language Support for Object-Oriented Distributed Systems. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications, pages 67--86, 1986. 29

....to run them in the most privileged mode of the processor. Device drivers have to execute privileged instructions and to control data. Therefore they have to be integrated into the system space. ODOS supports this integration. Chapter 10 Object Orientation Microkernels such as Mach [OJ91, JR86] and Chorus [HMA90, ALJ92, LJ92] are microkernels where object orientation can be put on top of the kernel. The fundamental requirement of ODOS is to implement a microkernel as an object oriented structure with some degree of inheritance. Therefore a support for object orientation on the user ....

Michael B. Jones and Richard F. Rashid. Mach and Matchmaker: Kernel and Language Support for Object-Oriented Distributed Systems. Technical Report CS-CMU-88-129, School for Computer Science, Carnegie Mellon University, 1986.

....18] studying both presentation layer overheads and transport layer mismatches, has quantified the problems for rpcgen and commercial CORBA implementations, finding 2 3 times slowdown over handoptimized versions. There is other work in improving the code generated by IDL compilers. Mach s MIG [14, 13] compiler generates fast code but only by restricting the types it handles to extremely simple ones: only scalars and arrays of scalars. In [11] the authors optimized for interpreted code (space) vs. compiled code (time) marshaling ASN.1 data types. However, their results appear 2 A future ....

Jones, M., and Rashid, R. Mach and MatchMaker: Kernel and language support for objectoriented and distributed systems. In Proc. of ACM Conf. on Object-Oriented Programming Systems, Languages and Applications (Sept. 1986).

....for COMANDOS applications is provided by a low level kernel and a set of additional services running, like applications, above the kernel. Although the kernel supports distributed processing, the functionality of this kernel is fundamentally richer than that of, for example, UNIX [Bach86] Mach [Jones86] Vkernel [Cheriton84] or Amoeba [Mullender85 ] in that it also provides a basis for common data management services required by many applications. Examples of the additional support provided includes atomic transactions and recovery; decomposition and reconstruction of complex data entities so ....

Jones M.B., Rashid R.F. 1986, Mach and Matchmaker: kernel and language support for object-oriented distributed systems, Proc. First ACM Conf. on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), Portland (sept. 1986), pp. 67-77.

....have seen an evolution. Operating system functions have changed to meet new requirements: fast local communication, distributed programming, parallel programming, virtual memory, and others. For improved extensibility, maintainability, and fault tolerance, modern operating systems such as Mach [Jones Rashid 86] are moving from the traditional monolithic structure to a more modular organization. These requirements have led to much research in new underlying structures. Thus, while the Unix system interface has become standard in engineering and scientific computing, future Unix systems are unlikely to ....

....our results. 2 Interprocess Communication Interprocess communication is central to modern operating system structure and performance. Operating systems have evolved from monolithic, centralized kernels to a more decentralized structure [Baskett et al. 75, Rashid Robertson 81, Cheriton 84, Jones Rashid 86] The reasons for this evolution are two fold. First, by structuring the operating system as independent address spaces communicating through messages, modularity, fault tolerance, and extensibility are enhanced. Second, using messages rather than shared memory as the principal communication ....

[Article contains additional citation context not shown here]

M. B. Jones and R. F. Rashid. Mach and Matchmaker: Kernel and language support for object-oriented distributed systems. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 67--77, October 1986.

....multi language interoperability. Specifically, the ability to interoperate between components written in the Ada and C languages is viewed as a fundamental requirement for software development environments. Some related work has been done at Carnegie Mellon University with the Matchmaker language [19], designed to support the construction of multi lingual interprocess communication interfaces, and at the Massachusetts Institute of Technology with the Mercury project [24, 16] which uses a value transmission method for abstract data types. 2.5.1 Matchmaker When supported by the ....

Michael B. Jones and Richard F. Rashid. Mach and matchmaker: Kernel and language support for object-oriented distributed systems. Technical Report CMU-CS-87-150, Carnegie Mellon University, September 1986.

....how this is done. This requires either the execution environment to be indistinguishable from the operating system (e.g. a Lisp machine) or the operating system to allow the implementor of the execution environment some control over the virtual memory backing store, as in Multics [Daley68] or Mach [Jones86]. In the system described in [Kolod89] the heap is divided into the stable heap and the volatile heap. This is done by partitioning the address space for the virtual memory used for the heap into two disjoint segments. The execution environment manages the log and the paging for the stable heap ....

M.B. Jones and R.F. Rashid, "Mach and Matchmaker: Kernel and Language Support for Object-Oriented Distributed Systems," Object-Oriented Programming Systems, Languages and Applications, pp. 67-77, Portland, Oregon, Sept 1986.

....and non atomic objects, binding concurrency control to one level of abstraction. In contrast, MELD supports concurrency control both within and among objects, and gives the programmer the freedom to combine different concurrency control policies on the same object. Camelot[SBD 86] and Mach[JR86] together provide a transaction facility for objects, with a C language extension for programming[Blo89] Avalon, which is implemented on top of Camelot, provides more complete language support for transactions, concentrating on fault tolerance rather than concurrency control, as extensions of ....

Michael B. Jones and Richard F. Rashid. Mach and matchmaker: Kernel and language support for object-oriented distributed systems. In ObjectOriented Programming Systems, Languages and Applications Conference, pages 67--77, Portland, OR, September 1986. Special issue of @i(SIGPLAN Notices), 21(11), November 1986.

....Open Software Foundation. Mach 10 separates the Unix process abstraction into tasks and threads [190] In addition, Mach provides the following: ffl Machine independent virtual memory management [194] ffl A capability based interprocess communication facility. ffl Language support for RPC [76, 122, 123]. ffl Support for remote file accesses between autonomous systems. 10 Mach is binary compatible with Berkley s Unix 4.3 bsd release ffl Lightweight user level threads known as Mach Cthreads [60, 173] ffl Miscellaneous other support like debuggers for multithreaded applications [51] ....

....[75] Messages are variable size collections of typed data. Mach supports both synchronous and asynchronous message transfers. The copy on write technique is employed for large message transfers. The ports and the messages together provide location independence, security, and data type tagging [75, 76, 122, 123]. Mach 3.0 supports port sets to let a few threads serve requests for multiple objects. A receive operation on a port set returns the next message sent to any of the member ports. A no sender detection mechanism allows object servers to garbage collect the receive right and the represented object. ....

M. Jones and R. Rashid. Mach and matchmaker: Kernel and language support for object-oriented distributed systems. Technical Report CMU-CS-88-129, School of Computer Science, Carnegie Mellon University, September 1986.

....dealing with these problems are suggested by two traditional fields: operating systems and database systems. An object oriented operating system may provide support for persistence, resilience, reliable communication or distributed object naming at a low level. For example, Chorus [43] and Mach [17] provide kernel support for distributed object oriented systems. Argus is a programming language with operating system support for persistence, encapsulation and distribution through the concept of guardians [21] LOOM provides a large object oriented memory for Smalltalk systems [18] Most of the ....

M.B. Jones and R.F. Rashid, "Mach and Matchmaker: Kernel and Language Support for Object-Oriented Distributed Systems, " ACM SIGPLAN Notices Proceedings OOPSLA '86, vol. 21, no. 11, pp. 67-77, Nov 1986.

....language support. Relying on programming language support would severely limit the degree to which disjoint, unrelated components can interact in a multilingual, loosely coupled distributed system. Instead, we adopt the solution of using high level interface description languages (IDLs) JR86] to address the language dependency problem. IDLs provide a mechanism for specifying an object s interface independently of any programming language. Translators map these specifications into a target language s notion of objects and interfaces. The generated language specific modules are used by ....

Michael B. Jones and Richard F. Rashid. Mach and Matchmaker: Kernel and Language Support for Object-Oriented Distributed Systems. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications, pages 67--86, 1986.

....these issues by using DCE to provide the underlying naming and marshaling support. It is fair to say that this means that COM will have the same merits and demerits as DCE. 6. 4 Matchmaker When supported by the capability based interprocess communications found in the Mach kernel, Matchmaker [6] provides a heterogeneous, distributed, object oriented programming facility. Currently the Mach Matchmaker system supports the generation of interfaces between C, Common Lisp, Ada, and Pascal. The Matchmaker language defines the type model within which the supported languages may exchange data ....

Michael B. Jones and Richard F. Rashid. Mach and matchmaker: Kernel and language support for object-oriented distributed systems. Technical Report CMU-CS-87-150, Carnegie Mellon University, September 1986.

....like the terminal object. 3 The distributed environment Because KNO applications are inherently distributed, object oriented systems cannot dispense with remote method invocation or migration of objects. However, most distributed systems that have adopted an object oriented approach (Mach [JR86], Clouds [Das86] do not address these problems and focus on other issues like integration of heterogeneous environments or fault tolerant computing. Indeed, the number of systems supporting object migration is quite limited (see for example Emerald [BHJL86] This section examines how the ....

Michael B. Jones and Richard F. Rachid. Mach and Matchmaker: kernel and language support for object-oriented distributed systems. OOPSLA 86 Proceedings, ACM SIGPLAN Notices, 21(11):67--77, November 1986.

....have not been multi protocol ; they are constructed in terms of a single protocol suite. At the opposite extreme, commercial packages (such as OSF DCE [25] Apollo NCS [19] PeerLogic s Pipes, Momentum s XIPC, Horizon s Message Express, or SUN ONC [32] and software tools (such as Matchmaker [18], Courier [34] Horus [16] and HRPC [8] permit programmers to continue using familiar languages and to incorporate existing code. Many of these packages are multi protocol at the transport level (they work over many transport protocols) although only HRPC is multi protocol at the RPC ....

Michael B. Jones and Richard F. Rashid. Mach and Matchmaker: Kernel and language support for object-oriented distributed systems. Technical Report CMU-CS-87-150, CS Department, CMU, September 1986.

No context found.

M. B. Jones and R. F. Rashid, `Mach and matchmaker: kernel and language support for objectoriented distributed systems', Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, October 1986, pp. 67--77.

No context found.

Jones M and Rashid R. (1986) Mach and Matchmaker: Kernel and Language Support of Object-Oriented Distributed Systems, Proc. OOPSLA Conference, pp. 67-77.

First 50 documents

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