buitin bash 命令time提供毫秒精度的执行和 GNU time（通常是 /usr/bin/time）提供厘秒精度。的times(2)系统调用给出时钟倍，100个时钟= 1秒（通常），所以精度等GNU time。所以问题是 bashtime使用什么以使其更精确？
当我关闭笔记本电脑的盖子时，我遇到了奇怪的错误 - 系统死机（对按键没有反应，ssh 没有响应）并显示一些奇怪的颜色效果。内核日志（重新启动后）什么也没显示。我的问题是 - 如何调试它？也许有一种方法可以跟踪上次调用的内核函数或类似的东西？