On Apr 10, 2005 5:59 AM, Oliver Bandel <oliver@first.in-berlin.de> wrote: 

> [... a discussion of how SMP support is really the OS's responsibility, 
> not the language's...]
> 
> So, if I've overseen something, let me know it.
> 
> 
You have. Due to the lack of a concurrent GC, OCaml doesn't allow multiple 
threads to be executing caml code at once. This means that OCaml (unlike, 
say, C) doesn't allow you to take performance advantage of a multi-CPU (or 
multi-core) machine by running multiple threads in the same executable. With 
the predicted rush of multi-core CPUs, the argument can be made that being 
able to take advantage of this kind of paralellism is increasingly 
important, and a feature that should be on OCaml's roadmap, which it 
currently is not.

Yaron