Linux で「time」コマンドで報告される実行時間の分解能 (精度) を変更する方法はありますか? すでに実行時間をミリ秒単位で報告しています。
ありがとう
1 に答える
1
ゼロの後の3桁が最大解像度のように見えます。より良い解像度が必要な場合は、C でラッパーを作成し、utime Seeを使用することをお勧めします。man -s2 utime
TIMEFORMATbash を使用している場合は、環境変数を使用して time コマンド (組み込み関数) の出力形式を設定できます。見るman bash・探すTIMEFORMAT
gnu time ユーティリティを使用している場合は、time --format=checkを使用して形式を設定できますman time。どちらの場合も、より高い解像度のオプションはありません。
于 2013-08-09T21:29:05.097 に答える