buitin bash 命令time
提供毫秒精度的执行,而 GNU time
(通常 /usr/bin/time)提供厘秒精度。系统times(2)
调用以时钟为单位给出时间,100 个时钟 = 1 秒(通常),因此精度类似于 GNU time
。那么问题是 bashtime
使用什么来使其更精确?
答案1
经过一些核心 bash 代码检查后,我发现 bashtime
使用getrusage()
而 GNUtime
使用times()
.getrusage()
由于微秒分辨率,精度要高得多。