%e の精度を上げるには、/usr/bin/time シェルコマンドを使用します。

%e の精度を上げるには、/usr/bin/time シェルコマンドを使用します。

シェルで time コマンドを実行すると、time ./myapp次の出力が表示されます。

real    0m0.668s
user    0m0.112s
sys     0m0.028s

ただし、コマンドを実行すると\time -f %e ./myapp精度が低下し、次の結果が表示されます。

2.01s

そのコマンドを使用すると、%E同じ方法で精度が低下します。より高い精度を得るにはどのように変更する必要がありますが、それでも秒数だけ出力しますか?

私の研究はこれに基づいています。Linux/Unix コマンド: 時間など。この問題

答え1

2つのコマンドが異なるバージョンを呼び出すことを理解したとします。そうですか?

Bash 組み込みバージョン

% time

GNU時間とも呼ばれます。 /usr/空/時間

% \time

組み込みコマンドはここで読むことができますtimebash

% help time
time: time [-p] PIPELINE
    Execute PIPELINE and print a summary of the real time, user CPU time,
    and system CPU time spent executing PIPELINE when it terminates.
    The return status is the return status of PIPELINE.  The `-p' option
    prints the timing summary in a slightly different format.  This uses
    the value of the TIMEFORMAT variable as the output format.

GNUtime/usr/bin/time、組み込みのものよりも便利な場合が多いです。

正確性に関する質問は、このセクションで説明します。フラッグハブの必須事項、具体的に:

Bash時間がGNU時間よりも正確な理由は何ですか?

組み込みのbashコマンド時間はミリ秒レベルの実行精度を提供し、GNU時間(通常は/usr/bin/time)はセンチ秒レベルの精度を提供します。 times(2) システムコールは時間をクロック単位で提供するため、100 時計 = 1 秒 (通常) なので、精度は GNU 時間に似ています。 bashの時間は何をより正確に使用しますか?

Bash時間は内部的にgetrusage()を使用し、GNU時間は内部的にtimes()を使用します。 getrusage() はマイクロ秒の解像度により正確です。

次の例では、100分の1秒を確認できます(出力の5行目を参照してください。):

% /usr/bin/time -v sleep .22222
    Command being timed: "sleep .22222"
    User time (seconds): 0.00
    System time (seconds): 0.00
    Percent of CPU this job got: 0%
    Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.22
    Average shared text size (kbytes): 0
    Average unshared data size (kbytes): 0
    Average stack size (kbytes): 0
    Average total size (kbytes): 0
    Maximum resident set size (kbytes): 1968
    Average resident set size (kbytes): 0
    Major (requiring I/O) page faults: 0
    Minor (reclaiming a frame) page faults: 153
    Voluntary context switches: 2
    Involuntary context switches: 1
    Swaps: 0
    File system inputs: 0
    File system outputs: 0
    Socket messages sent: 0
    Socket messages received: 0
    Signals delivered: 0
    Page size (bytes): 4096
    Exit status: 0

time以下のように、bashコマンドを使用してより高い解像度を取得し、解像度を制御できます。

# 3 places 
% TIMEFORMAT='%3R'; time ( sleep .22222 )
0.224

~からBash 変数マニュアル:

TIMEFORMAT
The value of this parameter is used as a format string specifying how the timing information for pipelines prefixed with the time reserved word should be displayed. The ‘%’ character introduces an escape sequence that is expanded to a time value or other information. The escape sequences and their meanings are as follows; the braces denote optional portions.

%%
A literal ‘%’.

%[p][l]R
The elapsed time in seconds.

%[p][l]U
The number of CPU seconds spent in user mode.

%[p][l]S
The number of CPU seconds spent in system mode.

%P
The CPU percentage, computed as (%U + %S) / %R.

The optional p is a digit specifying the precision, the number of fractional digits after a decimal point. A value of 0 causes no decimal point or fraction to be output. At most three places after the decimal point may be specified; values of p greater than 3 are changed to 3. If p is not specified, the value 3 is used.

The optional l specifies a longer format, including minutes, of the form MMmSS.FFs. The value of p determines whether or not the fraction is included.

If this variable is not set, Bash acts as if it had the value

$'\nreal\t%3lR\nuser\t%3lU\nsys\t%3lS'
If the value is null, no timing information is displayed. A trailing newline is added when the format string is displayed.

関連情報