From: Andrew Conway <arc@sequence.Stanford.EDU>
To: caml-list@pauillac.inria.fr
Subject: Time profiling
Date: Tue, 24 Jun 1997 18:38:36 -0700 (PDT) [thread overview]
Message-ID: <199706250138.SAA18764@vegemite.Stanford.EDU> (raw)
[ 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.
,
reply other threads:[~1997-06-25 12:49 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199706250138.SAA18764@vegemite.Stanford.EDU \
--to=arc@sequence.stanford.edu \
--cc=caml-list@pauillac.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox