]> 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