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/
real 0m0.481s
user 0m0.028s
sys 0m0.012s
Vediamo che ci sono tre tempi:

  • 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





Advertisment ad adsense adlogger