改变Linux中“时间”命令的解决方案

Question

在Linux中，有任何方法可以通过" time“命令来改变报告执行时间的分辨率(准确性)吗？它已经报告了以毫秒为单位的执行时间。

谢谢

Answer 1

在我看来，在零之后的3位数字是最大分辨率。如果您想要更好的分辨率，我建议您用C编写一个包装器，并使用utime (参见man -s2 utime )

如果使用bash，则可以使用TIMEFORMAT环境变量设置time命令(内置函数)的输出格式。参见man bash和搜索TIMEFORMAT

如果使用的是gnu实用程序，则可以使用time --format= check man time设置格式。在这两种情况下，我看不出有更高分辨率的选择。