R. Cooper and C. Krumvieda. Distributed programming with asynchronous ordered channels in distributed ML. In Workshop on ML and Applications, 1992.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....because the changes required for closure representation introduces small invocation overhead. 5 Related Work and Conclusions There are several projects working on distributed functional programming languages. ParaML [2] is a distributed ML based on SPMD computation model and Distributed ML [7] allows channel based inter node communication. Both of them do not consider heterogeneous environment. Facile [13] is a mobile programming language that integrates a concurrent calculus with ML. It allows passing ML modules across the heterogeneous network and execute them native by using ....

R. Cooper and C. Krumvieda. Distributed programming with asynchronous ordered channels in distributed ML. In Workshop on ML and Applications, 1992.

....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 suggested certain degree of remote access of polymorphic programs by giving polymorphic types to their primitives. However, they only gave an explanation of these primitives ....

....in this paper can be implemented in most distributed environments, an actual implementation requires careful considerations of recovery from failure. Here we ignore this issue and assume that interprocess communication is atomic and always succeeds. We believe that existing approaches such as [CK92] can be used to implement our core language. The rest of the paper is organized as follows. Section 2 gives the de nition of dML. Section 3 explains our strategy. Section 4 de nes the core language. Section 5 gives the translation algorithm. Section 6 de nes an operational semantics of the core ....

R. Cooper and C. Krumvieda. Distributed programming with asynchronous ordered channels in distributed ML. In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, June 1992.

....decomposed and run in parallel on several different workstations. This system uses CML to manage the interactions between the different workstations. Another project involving CML is the development of a distributed programming toolkit for ML that is being developed at Cornell University [Kru91, CK92, Kru92] This work builds on the mechanisms prototyped in Murthy s distributed Nuprl and on the protocols developed for Isis [BCJ 90] A new abstraction, called a port group has been developed to model distributed communication. The communication operations provided by port groups are ....

Cooper, R. and C. D. Krumvieda. Distributed programming with asynchronous ordered channels in Distributed ML. In Proceedings of the 1992 ACM SIGPLAN Workshop on ML and its Applications, June 1992, pp. 134--148.

....of this signal handling module is also effectively expressed in terms of continuations. These concurrency libraries support multiple threads running within a single address space, either on single or multiple processors. The work on distributed computing with Standard ML being pursued at Cornell ([14]) the Facile group at ECRC ( 18] and Edinburgh ( 33] represents a further step, dealing with the difficult problems of asynchronous communication and transmission of ML values between address spaces in a multicomputer. 5.2 Modules The basic module system described in the Definition was ....

Robert Cooper and Clifford Krumvieda. Distributed programming with asynchronous ordered channels in Distributed ML. In Peter Lee, editor, Proc. of ACM SIGPLAN Workshop on ML and its Applications, pages 134--148, June 1992.

....The message passing approach of CML provides a counterpoint to our own ML Threads system [27] which stresses a more imperative style of programming. The Fox Project has a established a close interaction with AT T that we expect to continue in the future. The work on Distributed ML at Cornell [66, 28] and the Venari Project at CMU[136, 100] are of particular relevance to the Fox Project. Both of these efforts are concerned with developing linguistic support for distributed computing based on Standard ML. The DML language is an extension of CML [113] to support an ISIS like [13] approach to ....

Robert Cooper and Clifford Krumvieda. Distributed programming with asynchronous ordered channels in distributed ML. In ACM SIGPLAN Workshop on ML and Its Applications, pages 134--150, San Francisco, CA, June 1992.

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