Re: [Caml-list] Concurrent/parallel programming

[Mark Shinwell <mshinwell@janestreet.com>]

On 8 January 2014 11:36, Gerd Stolpmann <info@gerd-stolpmann.de> wrote:
> There is a workaround in place - so far the OS supports it: thanks to
> Xavier the symbols caml_modify and caml_initialize are declared as weak
> in 4.01, allowing them to be redefined in executables. Netmulticore
> redefines these symbols with their pre-4.01 functions.
>
> This isn't optimal yet, because the old write barriers are a bit slower,
> and because this introduces a very low-level dependency on the current
> version of Ocaml. Nevertheless, it works for now. (Ideas for a better
> solution are highly welcome.)

Jeremie Dimino and myself have a somewhat embryonic proposal
that should permit most of the write barrier to be
circumvented for out-of-heap access, and also avoid the page
table test.  We'll send mail to the list in due course once
we've had time to think about this further.

Mark