Conception et realisation d'outils d'aide a la programmation sur reseaux de transputers

Conception and implementation of programming tools for transputer networks

• Auteur / Autrice : Fabrice Mourlin
• Direction : Guy Vidal-Naquet
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1992
• Etablissement(s) : Paris 11

Résumé

Nous presentons au cours de ce manuscrit l'analyse de programmes occam2 implementes sur reseaux de transputers. Cette etude se divise en une analyse statique et une analyse dynamique des programmes en se concentrant sur les difficultes specifiques dues au parallelisme. Notre analyse statique est basee sur une definition formelle du langage. Celle-ci correspond a la donnee d'une grammaire ll(k) attribuee qui permet de realiser un ensemble de controles statiques des programmes occam2. Les aspects dynamiques du langage occam 2 sont detailles afin de valider les simulations des executions des programmes occam 2. Pour ce faire, nous definissons une semantique operationnelle du langage dirigee par la syntaxe. Cette definition est basee sur les travaux de g. Plotkin a propos d'une semantique de csp. Nous definissons le cadre des simulations par les descriptions d'une machine abstraite a structure de pile et des donnees manipulees. Ces descriptions sont faites par l'emploi de specifications algebriques. Nous donnons egalement sous forme de specification la semantique du code genere a partir d'un programme occam2. Cet ensemble de descriptions formelles permet de justifier que les simulations sont conformes a la semantique operationnelle du langage. Nous illustrons cette equivalence avec l'etude de trois exemples significatifs de caracteristiques du langage. Nous illustrons cette equivalence avec l'etude de trois exemples significatifs de caracteristiques du langage. Nous decrivons ensuite notre environnement graphique epo++ construit sur les principes formels que nous avons donnes au prealable. Cet environnement est base sur l'observation des programmes occam2. Durant l'analyse statique, une etude structurelle permet de controler les contraintes statiques de la semantique du langage. Le placement de differents points d'arret et l'initialisation de parametres pour la simulation permettent d'obtenir une simulation particuliere du programme occam2. La sauvegarde d'un ensemble d'etats de cette simulation permet de reexecuter ce programme. L'utilisateur peut grace a ce double mecanisme examiner son programme dans un but de mise au point ou de comprehension de son comportement