Version 1 : Native code version

  • download (linux)

  • patch: this patch correct a bug in the computer list file analysis, which appears with OCaml 3.10. To apply this patch, copy it to the migrate-0.2/src directory, and type the following command:
    $ patch patch_migrate

Version 2 : Bytecode version

Coming soon...

Fair Threads

Version 1

This version is a simplified implementation of Boussinot's Fair Threads model: there is no preemption, threads and schedulers behave cooperatively. Moreover, the reactive model is not fully implemented: the notion of instants does not respect totally the semantic defined by Boussinot.

Version 2