English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] exene and ocaml ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-04-11 (13:20)
From: Ville-Pertti Keinonen <will@e...>
Subject: Re: [Caml-list] exene and ocaml ?
In case this was referring to my comment in an earlier message in the 

On Apr 11, 2004, at 9:46 AM, briand@aracnet.com wrote:

> What does worry me is your comment about garbage collection and
> threads.  Are ocaml threads not properly GC'ed ?

They aren't automatically collected in that they exist until they're 
destroyed or exit...but this is normal for mainstream, heavyweight 
threading systems.  I count OCaml virtual machine threads as 
heavyweight, as well, even though they are lightweight to create, as 
they have scalability problems (O(n) scheduling - counting all threads, 
regardless of state).

I mentioned garbage collection as an example of a specific issue that 
would arise in porting eXene to OCaml.

OCaml/POSIX/Java etc. threads are, in a sense, a different kind of 
programming tool compared to Oz/CML threads or Erlang processes (note 
that Erlang processes are also not garbage collected when unreachable, 
which is even worse in Erlang than other languages, as they are often 
the only way of encapsulating state).  The former kinds of threads are 
suitable for explicit parallelism (e.g. to take advantage of SMP), but 
poorly suited for concurrency as a conceptual programming abstraction 
(it'll work, but not scale well).

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