Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision | Révision précédenteDernière révisionLes deux révisions suivantes | ||
| faq:memoire [2015/04/27 06:58] – créée cicaluga | faq:memoire [2018/01/24 10:19] – [Connaître la mémoire utilisée à l'instant t au cours de l’exécution] ltaulell | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | ===== Connaître le pic mémoire d'un programme ===== | ||
| - | Pour connaître le pic mémoire du programme on peut utiliser la commande " | + | ===== Avoir une évolution |
| + | * soit on se fait notre propre script pour lire régulièrement les infos de / | ||
| + | * soit on appelle top en background (et éventuellement on redirige la sortie vers un fichier d' | ||
| <code bash> | <code bash> | ||
| - | / | + | top -b -n 100 -d 1 -p pid > output |
| </ | </ | ||
| - | en regardant | + | où |
| - | + | pid est à remplacer par le numéro du process qu'on veut suivre (qui est obtenu avec top ou ps, mais on peut automatiser) | |
| - | Par exemple, pour mon_programme | + | (ou 100 est le nombre de fois et 1 c'est le pas en secondes) |
| - | + | * soit on appelle la fonction C ci-dessus à certains points du programme (là où on sait qu'il y a eu des allocations/ | |
| - | <code bash> | + | * soit on utilise des paquets déjà faits, comme ceux-ci (psutil ou ressource) en Python |
| - | + | http://fa.bianp.net/blog/tag/memory_profiler.html | |
| - | /usr/bin/time -v /home/mon_login/ | + | * soit on utilise des outils d' |
| - | + | ||
| - | ... | + | |
| - | Maximum resident set size (kbytes): 12465200 | + | |
| - | ... | + | |
| - | + | ||
| - | </ | + | |
| - | + | ||
| - | Ici le pic est donc ~12.4 Go | + | |