Summary
HirondML is an experimental Objective Caml library that implements migrating threads. To minimize data transfers when a thread migrates, HirondML distinguishes local variables from global ones : the former are copied during the migration process, whereas the latter are rebound in the target process.
Synchronizations issues are simplified by the use of Boussinot's Fair Threads model . An implementation of Fair Threads in OCaml is also available in the download page.