[Nottingham] CPU time

[Camilo Mesias]

> Unfortunately, that's my conclusion also. It's just that I think that is
> so ugly and clunky. Instead, it should be a neat OS-thing.


It might be OTT for the OS to maintain a lot of information like that,
and it also might involve a lot of complexity to get a straight figure
for one process with lots of threads. Sometimes there isn't a neat
answer so linux opts for 'do nothing'