Comando time da terminale
A volte è utile misurare il tempo di esecuzione di un comando o di una applicazione.
time è il comando che fa al caso nostro. Ecco un esempio con grep:
$ time grep -r "TESI" Documenti/
Vediamo che ci sono tre tempi:
real 0m0.481s
user 0m0.028s
sys 0m0.012s
- real: è il tempo effettivo di esecuzione. In pratica è la differenza degli orologi di sistema al momento di avvio e di fine esecuzione
- user: è il tempo di CPU impiegato per l'esecuzione in user-mode. Quindi a differenza di real, non verrà contato il tempo di CPU impiegato dagli altri processi in esecuzione
- sys: è il tempo di CPU impiegato per operazioni di sistema per lo specifico processo
Per più dettagli: http://stackoverflow.com/questions/556405/what-do-real-user-and-sys-mean-in-the-output-of-time1