Projet : COMPOSE - Fondements scientifiques

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1><a name="SECTION00030000000000000000" id= "SECTION00030000000000000000"></a> <a name= "COMPOSE_fondements_" id="COMPOSE_fondements_"></a><br /> Fondements scientifiques</h1><a name= "COMPOSE_fondements_fondements" id= "COMPOSE_fondements_fondements"></a> <p><strong>Mots clés :</strong> <i>évaluation partielle, spécialisation, transformation de programmes, systèmes adaptatifs, génie logiciel .</i></p> <div id="glossaire" style= "margin-left: 2em;margin-right: 2em;"> <hr /> <dl title="Glossaire"> <dt><b>Évaluation partielle</b></dt> <dd><i>transformation de programmes qui a pour but de spécialiser un programme en fonction de certaines de ses données d'entrée.</i></dd> </dl> <hr /> </div> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Le projet s'intéresse à la conception de systèmes adaptatifs. Notre démarche consiste à rendre performant un programme générique en le spécialisant en fonction d'un contexte donné d'utilisation. Plus précisément, notre objectif est d'étudier les techniques de spécialisation et leur utilisation pour des applications de taille réelle. En particulier, l'évaluation partielle est à la base de notre approche de conception de programmes et de systèmes adaptatifs.</i> </div> <p>L'adaptabilité est devenue une caractéristique incontournable dans la conception des nouveaux logiciels pour leur permettre de répondre à des besoins fondamentaux tels que :</p> <ul> <li>l'évolution et l'hétérogénéité des matériels informatiques, ainsi que la prise en compte de leurs caractéristiques de bas niveau ;</li> <li>la généralité sans cesse croissante des problèmes que doivent traiter les logiciels pour contrebalancer leur coût de développement ;</li> <li>le besoin d'intégration avec d'autres composants logiciels pour constituer des systèmes informatiques complets.</li> </ul> <p>Des techniques de conception de logiciels adaptatifs existent déjà ; elles consistent généralement à structurer un logiciel de telle sorte qu'il puisse évoluer en fonction de son contexte d'utilisation. Cette structuration prend, traditionnellement, la forme de <em>modules</em> et de <em>couches logicielles</em>. L'évolution de ces techniques s'est traduite par un réel engouement pour les langages à objets dont l'un des objectifs principaux est d'offrir des mécanismes d'organisation et de généralisation de composants logiciels. Plus récemment, des approches reposant sur la notion de bus logiciel ont été proposées pour permettre la composition de composants logiciels indépendants, mais dont l'interface est spécifiée.</p> <p>Toutefois, les approches existantes sont incomplètes car, bien qu'elles prennent en compte les aspects conceptuels d'un logiciel, elles négligent ses aspects relatifs à l'implémentation. Par faute de méthodes et d'outils adéquats, l'adaptabilité se traduit souvent par l'introduction, dans la mise en oeuvre, de mécanismes tels que l'interprétation (de paramètres ou d'un état global), la protection des données et du code, et la copie de données entre différentes couches logicielles. Ces mécanismes complexifient les algorithmes et entraînent une inefficacité importante qui conduit bien souvent à spécialiser manuellement un logiciel pour un contexte d'utilisation donné afin d'obtenir des performances acceptables. Cette spécialisation manuelle est bien évidemment fastidieuse et source d'erreurs. De plus, elle multiplie les versions d'un même logiciel entraînant du même coup des problèmes de maintenance. Plus généralement, elle annule les efforts d'adaptabilité du logiciel déployés lors de sa conception.</p> <p>Notre objectif est d'étudier la généralisation et la systématisation des techniques de spécialisation et leur utilisation pour des applications de taille réelle.</p> <p>L'évaluation partielle est à la base de notre approche de conception de programmes et systèmes adaptatifs, nous en présentons maintenant ses aspects fondamentaux.</p> <h3><a name="SECTION00030100000000000000" id= "SECTION00030100000000000000">L'évaluation partielle</a></h3> <p>L'évaluation partielle a pour but de spécialiser un programme en fonction de certaines de ses données d'entrée. Cette transformation de programmes préserve la sémantique initiale dans la mesure où le <em>programme spécialisé</em>, appliqué aux données manquantes, produit le même résultat que le programme original appliqué à toutes les données. Comme on aime à le souligner, la calculabilité de l'évaluation partielle repose sur le théorème <span class= "MATH"><i>S</i><sup>m</sup><sub>n</sub></span> de Kleene [<a href="bibliographie_ct.html#Jones-Sestoft-Sondergaard:87" target="contents">JSS89</a>,<a href= "bibliographie_ct.html#Kleene:52" target= "contents">Kle52</a>].</p> <p>À la différence d'une stratégie de transformation de programmes générale à la Burstall et Darlington [<a href= "bibliographie_ct.html#Burstall-Darlington:77" target= "contents">BD77</a>], l'évaluation partielle a pour unique objectif la spécialisation de programmes. Un évaluateur partiel consiste en un ensemble réduit de règles de transformation de programmes visant à évaluer les expressions qui manipulent des données disponibles et à reconstruire les expressions dépendant des données manquantes.</p> <p>Bien que simple dans son principe, la notion de spécialisation s'applique à une vaste classe de problèmes. En effet, l'évaluation partielle a été utilisée pour des applications aussi variées que la génération de compilateurs à partir d'interprètes [<a href= "bibliographie_ct.html#Jones-Sestoft-Sondergaard:87" target= "contents">JSS89</a>], l'optimisation de programmes numériques [<a href="bibliographie_ct.html#Berlin:lfp90" target="contents">Ber90</a>], le filtrage [<a href= "bibliographie_ct.html#Consel-Danvy-89" target= "contents">CD89</a>] et l'instrumentation de programmes [<a href= "bibliographie_ct.html#Kishon-Hudak-Consel-91" target= "contents">KHC91</a>].</p> <h3><a name="SECTION00030200000000000000" id= "SECTION00030200000000000000">Aspects extensionnels</a></h3> <p>Pour présenter l'évaluation partielle, il est important d'établir une distinction entre un programme et la fonction (c'est-à-dire l'objet mathématique) que ce programme dénote. Pour ce faire nous utilisons la convention suivante : lorsque le nom d'une variable apparaît en majuscule, cette variable dénote un programme, sinon elle dénote une fonction. Nous ne définissons pas la correspondance entre un programme et la fonction qu'il dénote ; nous supposons que cette correspondance est donnée par la sémantique formelle du langage. Nous supposons de plus qu'il existe un évaluateur <em>eval</em> tel que :</p> <p></p> <div align="center" class="mathdisplay"> <i>eval</i> (<i>P</i>, <i>d</i> )= <i>p</i> <i>d</i> </div> <p>Etant donné un programme <span class= "MATH"><i>P</i></span> à deux entrées et une valeur <span class="MATH"><i>v</i></span>, un évaluateur partiel est un programme, noté <span class="MATH"><i>PE</i></span>, calculant le <em>programme résiduel</em> <span class= "MATH"><i>P</i><sub>v</sub></span></p> <p></p> <div align="center" class="mathdisplay"> <i>P</i><sub>v</sub> = <i>eval</i> (<i>PE</i>,(<i>P</i>, <i>v</i>)) </div> <p>tel que, lorsque le programme résiduel est appliqué à la donnée manquante <span class="MATH"><i>w</i></span></p> <p></p> <div align="center" class="mathdisplay"> <i>eval</i> (<i>P</i><sub>v</sub>, <i>w</i>) <img width= "12" height="22" align="middle" border="0" src="img1.png" alt="$\displaystyle \equiv$" /> <i>eval</i> (<i>P</i>,(<i>v</i>, <i>w</i>)) </div> <p>le programme original et le programme spécialisé produisent le même résultat. D'un point de vue fonctionnel, ceci peut être écrit comme suit :</p> <p></p> <div align="center" class="mathdisplay"> <i>p</i><sub>v</sub>(<i>w</i>) <img width="12" height="22" align="middle" border="0" src="img1.png" alt= "$\displaystyle \equiv$" /> <i>p</i>(<i>v</i>, <i>w</i>)  <em>où</em> <i>P</i><sub>v</sub> = <i>pe</i>(<i>P</i>, <i>v</i>) </div> <p>Les données disponibles pendant l'évaluation partielle sont dites <em>statiques</em> <a name="statdyn" id= "statdyn"></a> (la donnée <span class= "MATH"><i>v</i></span>). Les données manquantes sont dites <em>dynamiques</em> (la donnée <span class= "MATH"><i>w</i></span>) [<a href= "bibliographie_ct.html#Jones-Sestoft-Sondergaard:87" target= "contents">JSS89</a>]. On dit que <span class= "MATH"><i>P</i><sub>v</sub></span> est la version spécialisée de <span class="MATH"><i>P</i></span> en fonction de <span class="MATH"><i>v</i></span>.</p> <p>Il est également possible d'optimiser le processus même d'évaluation partielle par auto-application de l'évaluateur partiel.</p> <h3><a name="SECTION00030300000000000000" id= "SECTION00030300000000000000">Les stratégies d'évaluation partielle</a></h3> <p>On distingue communément deux stratégies d'évaluation partielle : <em>en ligne</em> et <em>hors ligne</em>. La première stratégie consiste à déterminer le traitement du programme au fur et à mesure de la phase d'évaluation partielle. Les évaluateurs partiels basés sur ce principe ont l'avantage de manipuler des valeurs concrètes, et donc, peuvent déterminer précisément le traitement de chaque expression d'un programme. Toutefois, ce processus est coûteux : l'évaluateur partiel doit analyser le contexte du calcul (c'est-à-dire les données disponibles) pour sélectionner la transformation de programmes appropriée. Cette opération est effectuée de façon répétitive dans le cas de fonctions récursives, par exemple. Il n'est donc pas surprenant de constater que les performances d'un évaluateur partiel en ligne se dégradent rapidement lorsque de nouvelles transformations de programmes sont introduites.</p> <p>La deuxième stratégie d'évaluation partielle comporte deux phases : une <em>analyse de temps de liaison</em> et une phase de <em>spécialisation</em> [<a href= "bibliographie_ct.html#Jones-Sestoft-Sondergaard:87" target= "contents">JSS89</a>]. Étant donné un programme et une description de ses entrées (statique/dynamique), l'analyse de temps de liaison détermine les expressions qui peuvent être évaluées lors de la phase d'évaluation partielle et celles qui doivent être reconstruites : les premières sont dites statiques, les autres dynamiques. Les informations de temps de liaison sont valides tant que la description des entrées du programme reste inchangée. Les expressions statiques et dynamiques étant connues à l'avance, la phase de spécialisation est plus efficace. Toutefois, l'analyse de temps de liaison, manipulant des valeurs abstraites, permet d'effectuer certaines approximations. Ainsi, le degré de spécialisation d'une stratégie hors ligne peut être moindre que celui d'une stratégie en ligne.</p> <p>L'activité importante qui s'est développée dans le domaine de l'évaluation partielle a conduit à la réalisation de nombreux prototypes pour une variété de langages de programmation tels que Scheme [<a href= "bibliographie_ct.html#Bondorf:90" target= "contents">Bon90</a>,<a href= "bibliographie_ct.html#Consel-schism-pepm93" target= "contents">Con93b</a>], C [<a href= "bibliographie_ct.html#Andersen:94" target= "contents">And94</a>] et Pascal [<a href= "bibliographie_ct.html#Meyer:pepm91" target= "contents">Mey91</a>].</p> <h3><a name="SECTION00030400000000000000" id= "SECTION00030400000000000000">Évaluation partielle à l'exécution</a></h3> <p>Traditionnellement, l'évaluation partielle est une transformation effectuée sur le texte d'un programme. De ce fait, elle intervient à la compilation et ne peut exploiter que les valeurs disponibles à ce stade.</p> <p>Nous avons développé un cadre de travail général permettant de réaliser la spécialisation de programmes impératifs à l'exécution [<a href= "bibliographie_ct.html#Consel-Noel-popl96" target= "contents">4</a>]. Le processus de spécialisation que nous avons conÇu a pour point de départ un programme annoté d'actions. Ces actions décrivent les transformations à effectuer sur chaque construction du programme à spécialiser et, de fait, peuvent être vues comme une description de l'ensemble des programmes qui peuvent être produits par spécialisation. Notons que ce point de départ n'est pas spécifique à la spécialisation à l'exécution ; dans notre approche, les actions sont également utilisées pour guider la spécialisation à la compilation.</p> <p>À partir d'un programme annoté d'actions, nous produisons automatiquement à la compilation des fragments de code source. Ces fragments de code source sont incomplets dans la mesure où les invariants ne sont connus qu'à l'exécution. Ils sont transformés de manière à pouvoir être traités par un compilateur standard. À l'exécution, il ne reste plus qu'à sélectionner et copier certains de ces fragments de code, insérer les valeurs dynamiques et reloger certains sauts pour obtenir une spécialisation donnée.</p> <p>Ces opérations sont simples et permettent donc un processus de spécialisation très efficace qui ne nécessite qu'un nombre limité d'exécutions du programme spécialisé avant d'être amorti.</p> <h3><a name="SECTION00030500000000000000" id= "SECTION00030500000000000000">Analyses et outils</a></h3> <p>Les principes d'évaluation partielle décrits plus haut permettent le développement rigoureux d'analyses de programmes performantes [<a href= "bibliographie_ct.html#Ashley-Consel-93" target= "contents">AC94</a>,<a href= "bibliographie_ct.html#Consel-bta-pepm93" target= "contents">Con93a</a>] et la conception de transformations de programmes [<a href= "bibliographie_ct.html#Consel-Danvy-esop90" target= "contents">CD90</a>,<a href= "bibliographie_ct.html#Consel-Danvy-fpca91" target= "contents">CD91</a>,<a href= "bibliographie_ct.html#Consel-schism-pepm93" target= "contents">Con93b</a>] [<a href= "bibliographie_ct.html#Consel-al-pe96" target= "contents">2</a>,<a href= "bibliographie_ct.html#Danvy-Schultz-tcs99" target= "contents">14</a>] pour des langages fonctionnels et impératifs. Nos études conduisent à l'élaboration d'outils de spécialisation. Ces outils ont un rÔle crucial dans la validation de la technologie que nous développons. Nos efforts actuels portent sur un système d'évaluation partielle pour le langage C, Tempo (voir module <a href= "logic_Tempo_ct.html#proto-tempo">5.1</a>). Par ailleurs, nous avons entrepris le développement d'un frontal à Tempo, permettant la spécialisation de programmes Java (voir modules <a href= "logic_Harissa_ct.html#proto-harissa">5.2</a>,  <a href= "logic_JSCC_ct.html#proto-jscc">5.3</a> et  <a href= "resul_principes_ct.html#Spec-Java">6.1</a>).<br /></p> <hr />  <a name="CHILD_LINKS" id= "CHILD_LINKS"><strong>Sous-sections</strong></a> <ul> <li> <ul> <li><a name="tex2html113" href= "fonde_mn.html#SECTION00030100000000000000" target= "main" id="tex2html113"><small>L'évaluation partielle</small></a></li> <li><a name="tex2html114" href= "fonde_mn.html#SECTION00030200000000000000" target= "main" id="tex2html114"><small>Aspects extensionnels</small></a></li> <li><a name="tex2html115" href= "fonde_mn.html#SECTION00030300000000000000" target= "main" id="tex2html115"><small>Les stratégies d'évaluation partielle</small></a></li> <li><a name="tex2html116" href= "fonde_mn.html#SECTION00030400000000000000" target= "main" id="tex2html116"><small>Évaluation partielle à l'exécution</small></a></li> <li><a name="tex2html117" href= "fonde_mn.html#SECTION00030500000000000000" target= "main" id="tex2html117"><small>Analyses et outils</small></a></li> </ul> </li> </ul> <hr /> </body>