OCaml Forge

GSoc2011/OCaml/oc4mc

From Google Summer of Code coordination 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.

Synopsis

  • 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

Description

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.