Il comando time viene utilizzato per determinare il tempo necessario per l'esecuzione di un determinato comando. È utile per testare le prestazioni dei tuoi script e comandi.
Ad esempio, se hai due script diversi che svolgono lo stesso lavoro e vuoi sapere quale funziona meglio, puoi utilizzare il comando time di Linux per determinare la durata dell'esecuzione di ogni script.
Versioni dei comandi temporali #
Sia Bash che Zsh, le shell Linux più utilizzate, hanno le proprie versioni integrate del comando time che hanno la precedenza sul comando time di Gnu.
Puoi usare il type
comando per determinare se l'ora è una parola chiave binaria o incorporata.
type time
# Bash
time is a shell keyword
# Zsh
time is a reserved word
# GNU time (sh)
time is /usr/bin/time
Per usare il comando Gnu time, devi specificare il percorso completo del binario temporale, di solito /usr/bin/time
, usa env
comando o utilizzare una barra rovesciata iniziale \time
che impedisce l'utilizzo di entrambi e dei built-in.
Il tempo Gnu consente di formattare l'output e fornisce altre informazioni utili come I/O di memoria e chiamate IPC.
Utilizzo del comando ora di Linux #
Nell'esempio seguente, misureremo il tempo impiegato per scaricare il kernel Linux usando lo strumento wget:
time wget https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.19.9.tar.xz
Ciò che verrà stampato come output dipende dalla versione del comando time che stai utilizzando:
# Bash
real 0m33.961s
user 0m0.340s
sys 0m0.940s
# Zsh
0.34s user 0.94s system 4% cpu 33.961 total
# GNU time (sh)
0.34user 0.94system 0:33.96elapsed 4%CPU (0avgtext+0avgdata 6060maxresident)k
0inputs+201456outputs (0major+315minor)pagefaults 0swaps
- reale o totale o scaduto (orologio da parete) è l'ora dall'inizio alla fine della chiamata. È il momento dal momento in cui premi
Enter
chiave fino al momento ilwget
comando è completato. - utente - quantità di tempo CPU trascorso in modalità utente.
- sistema o sistema - quantità di tempo CPU speso in modalità kernel.
Conclusione #
A questo punto dovresti avere una buona comprensione di come usare il comando time. Se vuoi saperne di più sul comando Gnu time, visita la pagina di manuale del tempo.