Is there a detailed description of the memory model somewhere?  For example what does it mean for two domains to modify the same reference?  Apologies if I missed it in the thread.

Den 11 sep 2014 10:40 skrev "Stephen Dolan" <stephen.dolan@cl.cam.ac.uk>:
On Wed, Sep 10, 2014 at 11:42 PM, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
> Maybe I misunderstood something. Does each domain only have a minor private
> heap (ie. copying gc) or do they each also have a major private heap/older
> generation (mark and sweep)? If they have an older generation, then a thread
> could potentially have a lot of data there, no?

Only a private minor heap. The major heap is the shared heap.

--
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs