Version française
Home     About     Download     Resources     Contact us    
Browse thread
Raising an old issue : true concurrency in OCaml [Xavier, Damien, any]
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Yaron Minsky <yminsky@g...>
Subject: Re: [Caml-list] Raising an old issue : true concurrency in OCaml [Xavier, Damien, any]
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