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

par FABRICE MOURLIN

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy Vidal-Naquet.

Soutenue en 1992

à Paris 11 .

    mots clés mots clés


  • 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

  • Titre traduit

    Conception and implementation of programming tools for transputer networks


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 132 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-011075
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.