Am Freitag, den 09.02.2007, 08:50 -0500 schrieb Brian Hurt:
> For the C side, I recommend using clock() to time the runs.
> ...
> In Ocaml, Unix.gettimeofday can be used similiarly:

Ahem, don't understand why you suggest two different methods for C and
Ocaml. First, there is Unix.times in O'Caml that also returns the
process time like clock(). Second - believe it or not - there is also
gettimeofday in C.

Personally, I recommend to rely on gettimeofday, i.e. the wall clock
time of the system, on an otherwise idle system. That's the time that
finally counts, and the way the process time is accumulated by the
kernel is somewhat dubious (but may be useful to check whether the
system was really idle during the benchmark).

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714
------------------------------------------------------------