On Apr 10, 2005 5:59 AM, <b class="gmail_sendername">Oliver Bandel</b> &lt;<a href="mailto:oliver@first.in-berlin.de">oliver@first.in-berlin.de</a>&gt; wrote:<div><span class="gmail_quote"></span> <br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">[... a discussion of how SMP support is really the OS's responsibility, not the language's...]<br><br>So, if I've overseen something, let me know it.<br><br>
</blockquote></div><br>
You have.&nbsp; Due to the lack of a concurrent GC, OCaml doesn't allow
multiple threads to be executing caml code at once.&nbsp; 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.&nbsp; 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.<br>
<br>
Yaron<br>