OCaml Forge


From GSoCode 2011 coordination (deprecated) Wiki

Jump to: navigation, search

This is a draft proposal, if you want to apply remove this sentence and write your name in the field Student.


  • Mentor: find a mentor
  • Student: write your name here
  • Summary: Update for 3.12, make runtime fully reentrant
  • Required skills:
    • OCaml internals
    • oc4mc code
    • Garbage collection
    • C language


Objective Caml for Multicore Architectures aims at allowing Objective Caml to take advantage of multicore architectures, by eliminating global runtime lock and allowing several threads to execute ocaml code in parallel. This requires rewriting runtime library for thread-safety, also reimplementing garbage collector to account for parallel threads. Existing project implements a working solution, but needs more polishing, refactoring and updating for newer OCaml versions.