Projet : COMPOSE - Tempo, un évaluateur partiel pour C

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00051000000000000000" id= "SECTION00051000000000000000">Tempo, un évaluateur partiel pour C</a></h2> <a name="COMPOSE_logiciels_Tempo" id= "COMPOSE_logiciels_Tempo"></a> <p><a name="logiciels" id="logiciels"></a></p> <p><a name="proto-tempo" id="proto-tempo"></a></p> <p><strong>Mots clés :</strong> <i>évaluation partielle, langage C, spécialisation à l'exécution .</i></p> <p><br /> <br /> <span class="textbf">Participant :</span> Charles Consel.<br /> <br /></p> <p>Nous avons conÇu et développé un évaluateur partiel pour des programmes C, nommé Tempo [<a href= "bibliographie_ct.html#Consel-al-pe96" target= "contents">2</a>,<a href= "bibliographie_ct.html#Consel-al-pe-sope98-refer" target= "contents">1</a>]. Une innovation importante apportée par ce système est qu'il permet la spécialisation de programmes à la compilation et à l'exécution [<a href= "bibliographie_ct.html#Consel-al-pe96" target= "contents">2</a>]. Diverses analyses dont le but est de préparer la phase de spécialisation ont été conÇues pour ce système [<a href= "bibliographie_ct.html#Hornof-Noye-tcs99" target= "contents">15</a>,<a href= "bibliographie_ct.html#Muller-al-tcs99" target= "contents">16</a>]. Etant donnée la richesse du langage C et le fait qu'il ait été peu étudié dans le contexte de l'évaluation partielle, le développement de ces analyses a constitué une partie importante de notre travail.</p> <p>Pour s'assurer que les transformations de programmes offertes par Tempo produisent un programme très spécialisé, nous avons ciblé notre travail sur les programmes système qui sont très propices à la spécialisation. Nous avons ainsi pu recenser les besoins principaux de spécialisation existants dans ce domaine et introduire les analyses et transformations correspondantes. Tempo a été notamment validé par la spécialisation d'un code système faisant partie d'un produit commercial, en l'occurence l'implémentation de l'appel de procédure à distance (RPC) développé par Sun en 1984 [<a href= "bibliographie_ct.html#Muller-al-icdcs98-refer" target= "contents">7</a>]. Les gains en vitesse obtenus par spécialisation de ce code vont jusqu'à un facteur de 3,7 sur l'encodage des données.</p> <p>Tempo est actuellement disponible via une licence d'évaluation. Une quarantaine d'utilisateurs en disposent à ce jour, dont Bull, France Telecom et Thomson Multimédia.</p> <p>Nos travaux actuels visent à faire évoluer Tempo vers un moteur de spécialisation multi-langages. Pour ce faire, nous développons un certain nombre de frontaux à Tempo pour nous permettre de traiter d'autres langages que C. Cette approche est actuellement expérimentée pour le langage Java et au développement de JSpec, un spécialiseur pour Java (voir la section <a href= "logic_JSPEC_ct.html#JSpec">5.4</a>).</p> <hr /> </body>