Projet : PARA

previous up next contents
Précédent : L'analyseur statique IABC Remonter : Logiciels Suivant : Glaneur de cellules pour Caml


   
Glaneur de cellules statique



Participant : Bruno Blanchet.

 

L'algorithme d'analyse d'échappement à graphe présenté au paragraphe §6.1 a été implanté par B. Blanchet dans le compilateur Objective Caml de X. Leroy (projet CRISTAL). L'étude expérimentale a montré que l'amélioration de la précision par rapport à l'analyse à entiers réalisée en 97 était faible. Cette dernière offre donc le meilleur rapport coût/performance.

L'analyse d'échappement pour Java présentée au paragraphe §6.1 a été intégrée au compilateur Java vers C turboJ de l'Opengroup Grenoble. Les résultats obtenus sont tout à fait satisfaisants. L'expérimentation a montré la faisabilité et le coût raisonnable de l'analyse, puisqu'on a pu l'appliquer à des applications de plus d'1Mo de fichiers .class, avec un coût d'au plus 20% du temps de compilation du bytecode Java vers C. Cette étude a montré l'intérêt de l'allocation en pile en Java, puiqu'on a obtenu des gains de temps d'exécution de 13% en moyenne, plus de 30% dans des cas particulièrement favorables.