为什么bash时间比GNU时间更精确？

Question

buitin bash命令time给出了毫秒的执行精度，time (通常是/usr/bin/time)给出了厘米精度。times(2) syscall给出时钟中的时间，100个时钟=1秒(通常)，因此精度类似于GNU time。所以问题是bash time使用什么，这样它才能更精确？

Answer 1

经过一些核心bash代码的检查，我发现bash time使用getrusage()，GNU time使用times()。由于微秒分辨率，getrusage()的精度要高得多。