Re: [Caml-list] local root registration

[Michel Quercia <michel.quercia@prepas.org>]

Le Fri, 22 Feb 2002 13:06:16 +0100
Winfried Dreckmann <wd@lidingo.mail.telia.com> écrivit :

> I am thinking of cases, where one uses resizable blocks, which are only
> occasionally resized, while usually nothing gets allocated. A good
> example is Michel Quercia's "Numerix"...

Le Fri, 22 Feb 2002 15:27:41 +0100
Markus Mottl <markus@oefai.at> écrivit :

> If I am not seriously mistaken, only allocations on the OCaml-heap can
> trigger a collection. There is just a small overhead associated with
> (un)registering OCaml-values as reachable, but it's certainly a good
> idea to remove every kind of unnecessary overhead in
> performance-critical code.

You are both right, the main reason for protecting begin_roots/end_roots
calls behind a capacity check in Numerix is speed performance, especially
for mutable big integers which are designed to achieve the highest speed
that is possible. But this is not the whole story : I also had to take
into account old versions of Ocaml as well as Caml-light (still in use in
our French National Education) for which there is only
begin_roots/end_roots or push_roots/pop_roots available.

Regards,
-- 
Michel Quercia
57 rue abbé Grégoire, 38000 Grenoble
http://michel.quercia.free.fr (maths)
http://pauillac.inria.fr/~quercia (informatique)
mailto:michel.quercia@prepas.org
-------------------
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