Caml performance

[Michael Hicks <mwh@dsl.cis.upenn.edu>]

[ Malheureusement, je n'ecris pas bien le francais; alors, j'ecrivait (?) en
Anglais seulement ... ]

I've been trying to compile OCaml to be instrumented with gprof.  When I do
so, it's possible to get profile information for the ocamlrun executable
(the interpreter), but not for any of the additional libraries (like Unix
and Threads), presumably because they are "linked" in with the bytecode file
that's being executed, but do not reside in the ocamlrun executable itself.
Is there any way around this?  In particular, I'm trying to find out how
much time is spent in the thread scheduler, and gprof seemed like a good way
to find this out.

Secondly, I noticed that the interpreter was not compiled, by default, with
-O on.  Is there any reason for this?  By contrast, the threads library
scheduler does have -O turned on, so it makes me think that gcc might do
some optimizations that are not gc-safe.

Thanks!
Mike

-- 
Michael Hicks
Ph.D. Candidate, the University of Pennsylvania
http://www.cis.upenn.edu/~mwh            mailto://mwh@dsl.cis.upenn.edu
"Since my last report, this employee has reached rock bottom and shows
signs of starting to dig."  -- taken from actual performance report