GdT programmation / séminaire IRILLRSS

Borner la consommation de mémoire dynamique


10/04/2014
Intervenant(s) : Samuel HYM (LIFL)
De nombreux langages de programmation (tels que Java, OCaml, ou encore JavaScript) gèrent automatiquement la mémoire : le ramasse-miettes se charge s'identifier des parties de la mémoire qui peuvent être désallouées. Cette automatisation apporte des garanties de sûreté d'exécution du programme _quand il a suffisamment de mémoire_. Nous verrons dans cet exposé quelques unes des difficultés à résoudre pour obtenir statiquement une borne de la consommation mémoire assez proche de la réalité pour être utile. Notamment nous verrons comment modulariser l'analyse et traiter les nids de boucle.
Plus d'informations ici
Emmanuel.Chailloux (at) nulllip6.fr
 Mentions légales
Carte du site |