Projet : COMPOSE - JSpec, un spécialiseur pour Java

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00054000000000000000" id= "SECTION00054000000000000000">JSpec, un spécialiseur pour Java</a></h2> <a name="COMPOSE_logiciels_JSPEC" id= "COMPOSE_logiciels_JSPEC"></a> <p><a name="JSpec" id="JSpec"></a></p> <p><strong>Mots clés :</strong> <i>évaluation partielle, Java, spécialisation .</i></p> <p><br /> <br /> <span class="textbf">Participant :</span> Charles Consel.<br /> <br /></p> <div align="center"> <a name="java_spec" id="java_spec"></a><a name="497"></a> <table> <caption align="bottom"> <strong>Figure 1:</strong> Spécialisation de programmes Java </caption> <tr> <td> <div align="center"> <br /> <br /> <br /> <br />  <img width="184" height="203" align="bottom" border="0" src="img2.png" alt= "\includegraphics [scale=.5,angle=0]{prototype.eps}" /> </div> </td> </tr> </table> </div> <p>Nous avons développé un prototype de spécialiseur Java, nommé JSpec (voir module <a href= "logic_Harissa_ct.html#proto-harissa">5.2</a>), par intégration d'outils que nous avons antérieurement réalisés (voir figure <a href= "logic_JSPEC_ct.html#java_spec">1</a>) : JSCC, le compilateur des classes de spécialisation (voir module <a href="logic_JSCC_ct.html#JSCC">5.3</a>), Harissa notre traducteur de Java vers C (voir module <a href= "logic_Harissa_ct.html#proto-harissa">5.2</a>), Tempo (voir module <a href= "logic_Tempo_ct.html#proto-tempo">5.1</a>) et Assirah, un traducteur arrière de C vers Java. De ce fait, un programme Java spécialisé peut être soit exécuté au sein du système d'exécution d'Harissa, soit être re-traduit en Java pour être exécuté par tout interprète ou compilateur à la volée Java standard.</p> <p>Nous avons utilisé JSpec pour optimiser une application de filtrage d'images, avec un gain d'un facteur 4 en temps d'exécution [<a href= "bibliographie_ct.html#Schultz-2000" target= "contents">12</a>], et une mise en oeuvre incrémentale des points de reprise [<a href= "bibliographie_ct.html#Lawall-Muller-dsn2000" target= "contents">22</a>]. Pour cette dernière application, le gain est proportionnel à la complexité de la structure objet du programme et au schéma de modification des objets. Sur nos expériences, nous avons mesuré un gain d'un facteur allant jusqu'à 15.</p> <p>JSpec est disponible via le Web à l'adresse <a name= "tex2html9" href="http://www.irisa.fr/compose/jspec" target= "_top" id= "tex2html9">http://www.irisa.fr/compose/jspec</a>.</p> <hr /> </body>