Mise au point de programmes paralleles en langage d'acteurss : l'environnement de plasma ii

par MARINE SALOME

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean Vignolle.

Soutenue en 1991

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    Cette these presente la definition, la conception et la realisation d'un environnement multifenetre et d'un outil de mise au point (debogueur) pour le langage d'acteurs parallele plasmaii. Dans un langage d'acteurs, une application est concue comme une communaute d'acteurs independants, qui travaillent en concurrence et cooperent en communiquant par passage de messages. Plasmaii est implemente sur une machine virtuelle repartie smart qui en assure la portabilite. Dans une premiere etape, nous avons etendu smart afin qu'elle beneficie d'un environnement multifenetre et d'un outil de trace. Les primitives d'interface et cet outil offerts par smart ont permis la mise au point d'un interprete reparti convivial pour plasmaii. Dans une deuxieme etape, nous presentons les objectifs d'un debogueur et les problemes souleves par un environnement distribue. Ces objectifs sont fonction de la cible des utilisateurs et de leur competence, du role de l'outil: validation (verification et detection d'erreurs) ou debogage (localisation de la cause des erreurs), et de la nature sequentielle ou parallele des programmes a deboguer. Les difficultes issues du parallelisme proviennent du non-determinisme des applications, de l'effet de sonde possible (perturbation de l'execution causee par son examen) et des erreurs supplementaires liees a la synchronisation (interblocage, mauvaise gestion de variables partagees et race condition). L'etude des debogueurs a degage les differentes strategies employees: statiques pour la validation et dynamiques pour le debogage. Ces dernieres recouvrent la trace avec points d'arret, l'analyse post-mortem: analyse automatisee, apres l'execution, des informations prealablement sauvegardes, et le replay: reproduction controlee d'une execution a partir d'information sur celle-ci. Nous avons pu ainsi definir l'outil de mise au point pour plasmaii. Il permet l'analyse de l'execution d'un programme suivant la methodologie de trace et points d'arret avec filtrage sur les evenements lies aux transmissions de plasmaii. Les informations necessaires a l'ordonnancement partiel de ces evenements et l'environnement d'evaluation sont retenus. Un gestionnaire de trace visualise et manipule les resultats obtenus selon la strategie d'analyse post-mortem. L'utilisateur peut ainsi retrouver le graphe de causalite des evenements qui, dans les langages d'acteurs, decrit completement une execution

  • Titre traduit

    Debugging parallel programs in actor language. The plasmaii programming environment


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 161 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1991TOU30130
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.