i1 : t1 = cpuTime() o1 = .824680301 o1 : RR (of precision 53) |
i2 : for i from 0 to 1000000 do 223131321321*324234324324; |
i3 : t2 = cpuTime() o3 = 1.352926965 o3 : RR (of precision 53) |
i4 : t2-t1 o4 = .528246664 o4 : RR (of precision 53) |
Under Linux, the cpu time reported is that consumed by the thread, but under MAC OS X, it is that consumed by the process.