A short note on cheap fine-grained time measurement

High resolution processor time bookkeeping for user and kernel threads can be done without degrading kernel performance. On a PC, threads with active intervals of 2 μs are measured sufficiently precisely. The overhead can be reduced down to 0.1% of overall processor time.