Recherche Avancée

Thèse soutenue

Outils de développement et de mise au point pour la classe des machines parallèles à mémoire distribuée

FR  |  
EN
Auteur / Autrice : Serge Chaumette
Direction : Bernard Vauquelin
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1992
Etablissement(s) : Bordeaux 1

Résumé

FR

Nous présentons dans ce document un environnement de développement et de mise au point pour la classe des machines parallèles à mémoire distribuée. Nous nous plaçons dans le cadre d'un modèle basé sur une expression explicite du parallélisme: une application s'exprime en terme de processus et de voies de communication que ces processus utilisent pour dialoguer. Nous concevons un environnement de développement et de mise au point pour de telles applications. Nous réalisons un simulateur centralisé en insistant sur les mécanismes de mise au point associés. Les plus originaux de ces mécanismes reposent sur des manipulations des voies de communication inter-processus. Nous introduisons le concept de greffe, qui consiste à insérer un processus dans une voie sans recompiler l'application. Les outils de mise au point influent souvent sur le comportement des programmes sur lesquels on les utilise. Ce phénomène néfaste devient critique pour les applications distribuées, du fait des constructions parallèles et non déterministes qu'elles contiennent. La puissance des espions, cas particulier des greffes, est due à une certaine neutralité dont nous apportons la preuve en utilisant le modèle CCS et la bisimulation faible. Nous présentons aussi un outil interactif de visualisation de traces.