buitin bashコマンドはtimeミリ秒精度で実行を提供しますが、GNU time（通常/usr/bin/time）は100分の1秒精度を提供します。システムtimes(2)コールは時間を時計単位で提供するため、100時計= 1秒（通常）なので、精度はGNUに似ていますtime。もしそうなら、問題はtimebashがより正確にするために何を使用するかです。
答え1
コアのbashコードを調べた結果、bashはtimeマイクロgetrusage()秒timeの解像度のために精度がはるかに高くなりましたtimes()。getrusage()