Compilation separee et execution distribuee d'applications synchrones modulaires programmees en esterel

par Olivier Hainque

Thèse de doctorat en Sciences et techniques

Sous la direction de Laurent Pautet.

Soutenue en 2000

à Paris, ENST .

    mots clés mots clés


  • Résumé

    Nous nous interessons a l'utilisation du langage synchrone esterel pour le developpement de systemes informatiques reactifs dans un contexte industriel. La problematique abordee est relative a deux aspects importants du processus de compilation du langage pour le type de systemes cibles : 1/ la possibilite de compiler separement les modules composant une application, et 2/ la possibilite d'executer cette application sur une architecture distribuee. Nous proposons des solutions fondees sur un ensemble d'hypotheses simplificatrices, permettant la reutilisation de la majorite des outils existants sans imposer de contrainte redhibitoire d'utilisation. Nous exploitons pour cela certaines proprietes essentielles des schema de traduction d'esterel vers les circuits numeriques sequentiels. La compilation d'un module est effectuee independamment de tout contexte d'instanciation et est fondee sur une modelisation du comportement sous forme de graphe de dependances. Un algorithme de compression pour ce graphe est propose, reduisant les temps de traitement associes aux manipulations ulterieures et conduisant a des ameliorations notables de performances a l'execution. L'assemblage de modules compiles separement, conforme a une specification esterel donnee, est egalement modelise sous forme de graphe et donne lieu a la production de code centralise ou distribue. Un algorithme d'identification statique de regroupements de donnees a faire transporter par les messages est developpe, conduisant a une reduction significative du nombre de messages echanges au cours de chaque reaction. Ces travaux ont fait l'objet d'un ensemble d'experiences que nous decrivons, montrant l'interet et l'efficacite des algorithmes proposes ainsi que la possibilite effective d'appliquer nos techniques a des systemes industriels de grande taille.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 216 p.
  • Annexes : 90 ref.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Télécom Paris. Bibliothèque scientifique et technique.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.