nous pouvons utiliser time
dans un environnement unix pour voir combien de temps quelque chose a ...équivalent de temps pour vérifier la mémoire
shell> time some_random_command
real 0m0.709s
user 0m0.008s
sys 0m0.012s
est-il un équivalent pour l'enregistrement utilisation de la mémoire du processus (es)?
en particulier je suis intéressé par l'allocation de pointe.
Sur Ubuntu 12.04, j'avais besoin d'utiliser le chemin complet du temps pour sauter le built-in et utiliser le vrai, _i.e._ '/ usr/bin/time -f" mem:% M "...'. Voir [ici] (http://askubuntu.com/questions/86193/command-not-found-when-trying-to-set-a-format-for-the-time-command) – naitsirhc