GdT programmation / séminaire IRILLRSS

Borner la consommation de mémoire dynamique


04/10/2014
Speaker(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.
More details here
Emmanuel.Chailloux (at) nulllip6.fr
 Mentions légales
Site map |