A Portable Implementation for Objective Caml Flight

Caml-Flight is a data-parallel extension for Caml Light. It is an intermediate, portable and mostly deterministic functional language for distributed memory multiprocessors (DMM). Its current implementation modifies the Caml Light compiler to introduce new instructions for the language and its virtual machine, and to define a kind of persistence to communicate values. Caml Light has now evolved to become Objective Caml, including an object extension and a native compiler. To benefit from this new distribution, we propose a new implementation called Objective Caml Flight. To do so we use new libraries and tools included in Objective Caml such as multi-threading, persistence and parsers, i.e. without modification to the original compiler needed with the Caml-Flight approach. This paper presents an easier way to implement parallel extensions for Objective Caml and an actual realization called Objective Caml Flight. This new implementation is compared to Caml-Flight.