D’Caml: A Native Distributed ML Compiler for Heterogeneous Environment
Ken Wakita, Takashi Asano, Masataka Sassa · 2000
Distributed 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. The distributed garbage collector automatically reclaims unused distributed datastructures. Examples demonstrate expressivity of higher-order distributed programming using Distributed Caml. The paper presents the design, implementation, and preliminary performance results of the system.