A Parallel Virtual Machine for Bulk Synchronous Parallel ML

We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and indeterminism are avoided. The BSMLlib library has been implemented for the Objective Caml language. But there is y no full implementation of such a language and an abstract machine is needed to validate such an implementation. Our approach is based on a bytecode compilation to a parallel abstract machine performing exchange of data and synrequests derived from the ZAM, the efficient abstract machine of the Objective Caml language.

• Type: Conference
• Year: 2003
• Where: ICCS
• Authors: Frédéric Gava, Frédéric Loulergue
• Keywords: Abstract Machine, Functional Data-parallel Language, ICCS 2003, Objective Caml Language