* Time profiling
@ 1997-06-25 1:38 Andrew Conway
0 siblings, 0 replies; only message in thread
From: Andrew Conway @ 1997-06-25 1:38 UTC (permalink / raw)
To: caml-list
[ Mauvais franc,ais au fin ]
Dear O'Caml-group,
I tried doing a time profile of a program in ocaml 1.05, and got for the
first few lines:
%time seconds cum % cum sec procedure (file)
28.5 11.8369 28.5 11.84 proc_at_0x120091f50 (<stripped>)
18.5 7.6943 47.1 19.53 proc_at_0x1200922b0 (<stripped>)
15.6 6.4551 62.6 25.99 proc_at_0x12008a5d0 (<stripped>)
10.7 4.4219 73.3 30.41 proc_at_0x12008c220 (<stripped>)
6.3 2.6064 79.6 33.01 List_mem_143 (<stripped>)
5.5 2.2637 85.0 35.28 equal (<stripped>)
2.9 1.2031 87.9 36.48 Matrix_transpose_65 (<stripped>)
2.2 0.9023 90.1 37.38 fl_merge_block (<stripped>)
Now, what does proc_at_0x120091f50 mean?
Also, with object methods, the time profile is rather unuseful...the names
seem to not contain an easy way of finding the function in question. I
finally worked it out by compiling to source code, and reverse engineering
that, which is very time consuming. This was in 1.02; I haven't tried it
recently.
Thanks,
Andrew.
-----------------------
Cher groupe de ocaml,
J'ai essaye' d'utiliser "prof" avec caml 1.05, et j'ai obtenu
%time seconds cum % cum sec procedure (file)
28.5 11.8369 28.5 11.84 proc_at_0x120091f50 (<stripped>)
18.5 7.6943 47.1 19.53 proc_at_0x1200922b0 (<stripped>)
15.6 6.4551 62.6 25.99 proc_at_0x12008a5d0 (<stripped>)
10.7 4.4219 73.3 30.41 proc_at_0x12008c220 (<stripped>)
6.3 2.6064 79.6 33.01 List_mem_143 (<stripped>)
5.5 2.2637 85.0 35.28 equal (<stripped>)
2.9 1.2031 87.9 36.48 Matrix_transpose_65 (<stripped>)
2.2 0.9023 90.1 37.38 fl_merge_block (<stripped>)
...
Que veut dire proc_at_0x120091f50?
Aussi, j'ai eu des proble`mes avec des methods en ocaml. Les noms (en prof)
ne contient pas les noms (en ocaml). C'etait en utilisant ocaml 1.02
Merci,
Andrew.
,
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1997-06-25 12:49 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-06-25 1:38 Time profiling Andrew Conway
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox