possiamo usare time
in un ambiente UNIX per vedere quanto tempo qualcosa si è ...equivalente di tempo per la memoria il controllo
shell> time some_random_command
real 0m0.709s
user 0m0.008s
sys 0m0.012s
c'è un equivalente per la registrazione di utilizzo della memoria del processo (es)?
in particolare sono interessato all'assegnazione dei picchi.
su Ubuntu 12.04, avevo bisogno di usare il percorso completo del tempo per saltare il built-in e usare quello reale, _i.e._ '/ usr/bin/time -f" mem:% M "...'. Vedi [qui] (http://askubuntu.com/questions/86193/command-not-found-when-trying-to-set-a-format-for-the-time-command) – naitsirhc