Bagaimana cara mendapatkan waktu eksekusi skrip secara efektif?

Saya ingin menampilkan waktu penyelesaian skrip.

Apa yang saya lakukan saat ini adalah -

#!/bin/bash
date  ## echo the date at start
# the script contents
date  ## echo the date at end

Ini hanya menunjukkan waktu awal dan akhir skrip. Apakah mungkin untuk menampilkan output berbutir halus seperti waktu prosesor / waktu, dll?

Cukup gunakan timesaat Anda memanggil skrip:

time yourscript.sh

Jika timebukan opsi,

start=`date +%s`
stuff
end=`date +%s`

runtime=$((end-start))

Panggil saja timestanpa argumen saat keluar dari skrip Anda.

Dengan kshatau zsh, Anda juga bisa menggunakannya time. Dengan zsh, timejuga akan memberi Anda waktu jam dinding selain waktu pengguna dan sistem CPU.

Untuk mempertahankan status keluar dari skrip Anda, Anda dapat membuatnya:

ret=$?; times; exit "$ret"

Atau Anda juga dapat menambahkan jebakan pada EXIT:

trap times EXIT

Dengan begitu, waktu akan dipanggil setiap kali shell keluar dan status keluar akan dipertahankan.

$ bash -c 'trap times EXIT; : {1..1000000}'
0m0.932s 0m0.028s
0m0.000s 0m0.000s
$ zsh -c 'trap time EXIT; : {1..1000000}'
shell  0.67s user 0.01s system 100% cpu 0.677 total
children  0.00s user 0.00s system 0% cpu 0.677 total

Perhatikan juga bahwa semua bash, kshdan zshmemiliki $SECONDSvariabel khusus yang secara otomatis bertambah setiap detik. Di kedua zshdan ksh93, variabel itu juga bisa dibuat floating point (dengan typeset -F SECONDS) untuk mendapatkan lebih presisi. Ini hanya jam dinding, bukan waktu CPU.

Saya agak terlambat untuk ikut-ikutan, tetapi ingin memposting solusi saya (untuk presisi sub-detik) kalau-kalau ada orang lain yang tersandung pada thread ini melalui pencarian. Outputnya dalam format hari, jam, menit, dan akhirnya detik:

res1=$(date +%s.%N)

# do stuff in here

res2=$(date +%s.%N)
dt=$(echo "$res2 - $res1" | bc)
dd=$(echo "$dt/86400" | bc)
dt2=$(echo "$dt-86400*$dd" | bc)
dh=$(echo "$dt2/3600" | bc)
dt3=$(echo "$dt2-3600*$dh" | bc)
dm=$(echo "$dt3/60" | bc)
ds=$(echo "$dt3-60*$dm" | bc)

printf "Total runtime: %d:%02d:%02d:%02.4f\n" $dd $dh $dm $ds

Semoga seseorang di luar sana menemukan ini berguna!

Metode saya untuk bash:

# Reset BASH time counter
SECONDS=0
    # 
    # do stuff
    # 
ELAPSED="Elapsed: $(($SECONDS / 3600))hrs $((($SECONDS / 60) % 60))min $(($SECONDS % 60))sec"

#!/bin/bash
start=$(date +%s.%N)

# HERE BE CODE

end=$(date +%s.%N)    
runtime=$(python -c "print(${end} - ${start})")

echo "Runtime was $runtime"

Ya, ini panggilan Python, tetapi jika Anda bisa hidup dengan itu maka ini solusi yang cukup bagus.

Pertanyaan ini cukup lama tetapi dalam mencoba menemukan cara favorit saya untuk melakukannya, utas ini muncul tinggi ... dan saya terkejut tidak ada yang menyebutkannya:

perf stat -r 10 -B sleep 1

'perf' adalah alat analisis kinerja yang termasuk dalam kernel di bawah 'tools / perf' dan sering tersedia untuk diinstal sebagai paket terpisah ('perf' di CentOS dan 'linux-tools' di Debian / Ubuntu). Linux Kernal perf Wiki memiliki lebih banyak informasi tentangnya.

Menjalankan 'stat stat' memberikan sedikit detail termasuk waktu eksekusi rata-rata tepat di akhir:

1.002248382 seconds time elapsed                   ( +-  0.01% )

Fungsi shell kecil yang dapat ditambahkan sebelum perintah untuk mengukur waktu mereka:

tm() {
  s=$(date +%s)
  $@
  rc=$?
  echo "took $[$(date +%s)-$s] seconds. return code $rc" >&2
  return $rc
}

Kemudian gunakan dalam skrip Anda, atau pada baris perintah Anda seperti ini:

tm the_original_command with all its parameters

Berikut variasi jawaban Alex. Saya hanya peduli menit dan detik, tetapi saya juga ingin itu diformat berbeda. Jadi saya melakukan ini:

start=$(date +%s)
end=$(date +%s)
runtime=$(python -c "print '%u:%02u' % ((${end} - ${start})/60, (${end} - ${start})%60)")

#!/bin/csh
#PBS -q glean
#PBS -l nodes=1:ppn=1
#PBS -l walltime=10:00:00
#PBS -o a.log
#PBS -e a.err
#PBS -V
#PBS -M [email protected]
#PBS -m abe
#PBS -A k4zhang-group
START=$(date +%s)
for i in {1..1000000}
do
echo 1
done
END=$(date +%s)
DIFF=$(echo "$END - $START" | bc)
echo "It takes DIFF=$DIFF seconds to complete this task..."

Dengan hanya menggunakan bash, juga dimungkinkan untuk mengukur dan menghitung durasi waktu untuk sebagian skrip shell (atau waktu yang telah berlalu untuk seluruh skrip):

start=$SECONDS

... # do time consuming stuff

end=$SECONDS

Anda sekarang dapat mencetak perbedaannya:

echo "duration: $((end-start)) seconds."

jika Anda hanya membutuhkan durasi tambahan, lakukan:

echo "duration: $((SECONDS-start)) seconds elapsed.."

Anda juga dapat menyimpan durasi dalam suatu variabel:

let diff=end-start

Secara pribadi, saya suka membungkus semua kode skrip saya di beberapa fungsi "utama" seperti:

main () {
 echo running ...
}

# stuff ...

# calling the function at the very end of the script
time main

Perhatikan betapa mudahnya menggunakan timeperintah dalam skenario ini. Jelas Anda tidak mengukur waktu yang tepat termasuk waktu parse skrip, tapi saya merasa cukup akurat dalam kebanyakan situasi.

#!/bin/bash
begin=$(date +"%s")

Script

termin=$(date +"%s")
difftimelps=$(($termin-$begin))
echo "$(($difftimelps / 60)) minutes and $(($difftimelps % 60)) seconds elapsed for Script Execution."

Fungsi pengaturan waktu berdasarkan SECONDS, terbatas hanya pada granularity tingkat kedua, tidak menggunakan perintah eksternal apa pun:

time_it() {
  local start=$SECONDS ts ec
  printf -v ts '%(%Y-%m-%d_%H:%M:%S)T' -1
  printf '%s\n' "$ts Starting $*"
  "$@"; ec=$?
  printf -v ts '%(%Y-%m-%d_%H:%M:%S)T' -1
  printf '%s\n' "$ts Finished $*; elapsed = $((SECONDS-start)) seconds"
  # make sure to return the exit code of the command so that the caller can use it
  return "$ec"
}

Sebagai contoh:

time_it sleep 5

memberi

2019-03-30_17:24:37 Starting sleep 5 2019-03-30_17:24:42 Finished
sleep 5; elapsed = 5 seconds