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
OCaml Summer Project decisions are in
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-04-19 (08:46)
From: Berke Durak <berke.durak@g...>
Subject: Re: [Caml-list] OCaml Summer Project decisions are in
The concurrent GC is a great idea.  A few interrogations.

- How "stoppy" would a stop-the-world parallel GC be in practice?  The more
you have, the more work is done, the higher the frequency of a major

- Would major allocations be serialized?  What about other serialization

- I'm afraid true concurrency will introduce an awful lot of bugs in native
bindings.  Thread-unsafe libraries will have to be replaced (Str, etc.)
Also what would be the CPU
and memory costs?  Don't concurrent GCs require extra colors?

- In case of performance impacts, will the old single-threaded mode still be

The argument that "you'll get the same old perfomance if you run it in
single-threaded mode"
is not valid IMHO.  Many people will use a thread here or there and then you
won't realistically be able to run in single-threaded mode.

But then we can't pretend multi-core doesn't exist.  A suggestion: making
the parallel GC available only on 64-bit seems a reasonable restriction (if
that's ever needed.)

Also Damien Doligez (in addition to Xavier Leroy) certainly have nice things
to say about all this.
Berke Durak