Analyses statiques pour la specialisation effective de programmes realistes

par LUKE HORNOF

Thèse de doctorat en Informatique

Sous la direction de Charles Consel.

Soutenue en 1997

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Cette these montre comment la specialisation de programmes peut optimiser automatiquement et efficacement des applications existantes et realistes. On considere une classe d'applications existantes, les programmes des systemes d'exploitation cpw93, pab#+95, vmc96a, vmc#+96b. Les etudes precedentes ont demontre que la specialisation de ces programmes introduit des accelerations (ou speedups) impressionnantes mais la specialisation etait faite a la main mas92, mp89, pmi88. Nous introduisons des nouvelles analyses statiques qui traitent automatiquement et precisement les motifs de programmes communs a tous ces programmes. Les caracteristiques specifiques incluent : la sensibilite au flot. Une description d'analyse differente est faite pour chaque point de programme. La sensibilite au contexte. Une fonction est analysee selon le contexte specifique d'analyse de chaque site d'appel. La sensibilite au retour. Une description d'analyse differente est faite pour les effets de bord et la valeur retournee d'une fonction. La sensibilite a l'utilisation. Les differentes utilisations d'une variable peuvent avoir des descriptions d'analyse differentes au meme point de programme. Une analyse en deux phases. Une analyse de temps de liaison suivie d'une phase de transformation. De nouvelles transformations de programmes. Une construction de programme peut se voir associer plusieurs transformations. Notre analyse est utilisee a la fois pour la specialisation a la compilation et aussi pour la specialisation a l'execution. Nous integrons notre analyse dans un evaluateur partiel et l'appliquons a un ensemble d'application existantes, incluant un composant de systeme d'exploitation commercial. Nous obtenons des accelerations significatives tant durant la specialisation a la compilation que durant celle a l'execution.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 96 P.
  • Annexes : 105 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1997/148
  • Bibliothèque : Mines ParisTech. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : 1997 HOR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.