Abstract
Distributed Caml (D’Caml) is a distributed implementation of Caml, a dialect of ML. The compiler produces native code for diverse execution platforms. The distributed shared memory allows transmission and sharing of arbitrary ML objects including higher-order functions, exceptions, and mutable objects without affecting the sequential semantics of ML. The distributed garbage collector reclaims unused distributed data-structures. Examples demonstrate expressivity of higher-order distributed programming using Distributed Caml. The paper presents the design, implementation, and preliminary performance results of the system.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
A. Appel. Compiling with Continuations, chapter 10. Cambridge UP, 1992.
P. Bailey et al. Supporting coarse and fine grain parallelism in an extention of ML. In CONPAR’ 94, LNCS 854, pages 693–704, 1994.
D. Bevan. Distributed garbage collection using reference counting. In Parallel Architectures and Languages, LNCS 258, pages 176–187, 1987.
L. Cardelli. A language with distributed scope. In POPL’ 95, pages 286–298, 1995.
H. Cejtin, S. Jagannathan, and R. Kelsey. Higher-order distributed objects. TOPLAS, 17(5):704–739, 1995.
R. Cooper and C. Krumvieda. Distributed programming with asynchronous ordered channels in distributed ML. In Workshop on ML and Applications, 1992.
Message Passing Interface Forum. A Message Passing Interface Standard. Technical Report CS-94-230, Dept. CS, Univ. Tennessee, 1994.
R. Halstead. Multilisp: A language for concurrent symbolic computation. ACM Trans. on Programming Languages and Systems, pages 501–538, October 1985.
X. Leroy. Objective Caml, 1997. Available at http://pauillac.inria.fr/ocaml/.
L. Moreau et al. NeXeme: A distributed Scheme based on Nexus. In EuroPar’ 97, LNCS 1300, pages 581–590, 1997.
A. Ohori and K. Kato. Semantics for communication primitives in a polymorphic language. In POPL’93, pages 99–112, 1993.
C. Queinnec. DMEROON: a distributed class-based causally-coherent data model. In Parallel Symbolic Computing: Languages, Systems, and Applications, LNCS 1068, 1995.
J. Reppy. CML: A higher-order concurrent language. In PLDI’ 91, pages 293–306, 1991.
B. Thomsen et al. Facile antigua release-programming guide. Technical Report ECRC-93-20, ECRC, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wakita, K., Asano, T., Sassa, M. (1999). D’Caml: Native Support for Distributed ML Programming in Heterogeneous Environment. In: Amestoy, P., et al. Euro-Par’99 Parallel Processing. Euro-Par 1999. Lecture Notes in Computer Science, vol 1685. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48311-X_127
Download citation
DOI: https://doi.org/10.1007/3-540-48311-X_127
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66443-7
Online ISBN: 978-3-540-48311-3
eBook Packages: Springer Book Archive