>Factors of 10 are always nice :-)  Just kidding.  What I meant is the
>following: assume making the Caml runtime system thread-safe 
>entails a 25% slowdown on program execution.  (This can easily 
>happen if e.g. we have to lock a mutex at each heap 
>allocation.)  

I would assume that allocation (in the nursery) is done
via a pointer bump, and that it would be easy enough to
have separate nurseries for threads.  Then the only 
synchronization that's needed is for GC.  At least, that's
how we did it with SML/NJ.

-Greg
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners