Caml performance

From: Michael Hicks (
Date: Sun Feb 01 1998 - 16:48:15 MET

From: Michael Hicks <>
Message-Id: <>
Subject: Caml performance
Date: Sun, 1 Feb 1998 10:48:15 -0500 (EST)

[ 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.


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

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:13 MET