`times`はどのような時間を出力しますか?

`times`はどのような時間を出力しますか?

~からバッシュリファレンスマニュアルtimes(強調):

使用されたユーザーとシステム時間を印刷します。シェルそしてその子供たち

からhelp times

累積ユーザーとシステム時間を印刷します。シェルそしてすべてのサブプロセス

「シェルとその子が使う時間」とは?

たとえば、数ヶ月間実行された bash シェルでは、次のようになります。

$ times
0m0.152s 0m0.080s
0m15.804s 0m13.296s

シェルとそのサブプロセスで使用されるさまざまな時間が1分未満であることはどのように可能ですか?

答え1

ヘルプ時間から:

累積印刷ユーザーとシステム時間シェルとすべての子プロセスの場合。

ストレスを感じるfor the shell and all of its child processesときは、もっと注意を払う必要がありますuser and system times

ユーザー時間とシステム時間はリアルタイム(または時計)時間ではなく、それぞれユーザーコードとシステム関数の呼び出しに使用されるCPU時間です。

ただし、time組み込みプログラム(同じ名前の外部ユーティリティを含む)は、リアルタイム、ユーザー時間、およびシステム時間の3つの時間をすべて表示できます。からhelp time

PIPELINEを実行してPIPELINEが終了すると、PIPELINEの実行に費やされたリアルタイム、ユーザーCPU時間、およびシステムCPU時間の要約が印刷されます。

ところで。 Bash 組み込みtime出力形式は設定可能です。私は3行を無駄にするのではなく、端末の1行だけを使用するように次のコマンドを使用するのが好きです。

export TIMEFORMAT=$'\nreal %3lR\tuser %3lU\tsys %3lS'

time外部ユーティリティ( )のGNUバージョンを使用するか、/usr/bin/timeオプションを使用して出力形式を設定できます。他のバージョンにも同様のオプションがある場合とない場合があります...わかりません。調べたくありません。-f--format

関連情報