On Tue, Nov 25, 2003 at 07:05:53PM +0100, Xavier Leroy wrote:

> At least under Linux, getrusage() doesn't provide more accuracy than
> times(), since the kernel maintains user and system time as an
> integral number of clock ticks.  I haven't looked at other Unix
> kernels, but I suspect that the additional precision made possible by
> the getrusage() syscall is simply not exploited.  

4.4 BSD derivatives (except Darwin/MacOS X).

O^HD^HTru64.

> (Besides, times() is part of the POSIX standard while getrusage() is not,
> meaning less portability.)

You can always use something like #ifdef HAS_GETRUSAGE

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners