Addendum (rationale, perhaps we should mentions this in some abbreviated form in
the respective place in the code): calling times() presumably isn't really
expensive, but if we don't call it, we should get a much less cluttered output
of strace when we want to use it (as in issue469). In the experiment we did,
more than 99.9% of strace output was due to calls to "times" (or would have been
if we hadn't filtered it out).
In detail: in the airport blind search test we ran, 22908829 system calls were
to "times", while 12814 were to other functions. When filtering out "times", we
got a 708 KiB logfile. When not filtering times, we got a 2.6 GiB logfile.
|