Abstract FR:

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