I just tried getCPUTime on Windows and it seems to tick really slow, about 10 times per second or so. Actually it changes every&nbsp;15600100000 picoseconds, so about&nbsp;15600 microseconds, which is indeed the interval at which Windows updates its &quot;tick&quot; count.<div>
<div><div><div><div><br></div><div>So anyway a lot of room to go to the picosecond resolution :)</div><div><br></div><div>But, is this intended behavior?&nbsp;How does it perform on Linux? Should it behave the same on all platforms?</div>
<div><br></div><div><br></div></div></div></div></div>