
20 Feb
2008
20 Feb
'08
5:46 a.m.
Adrian Hey wrote:
At least getCPUTime always seems to return a multiple of 125000000 (1/8 of cpuTimePrecision).
Actually, that's wrong. A little more intelligent experimentation reveals that (on my system at least) getCPUTime always returns a multiple of 15625000000 (cpuTimePrecision = 15.625 mS IOW). It's still not the same as the figure exported by System.CPUTime though :-( Regards -- Adrian Hey