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

par Serge Chaumette

Thèse de doctorat en Informatique

Sous la direction de Bernard Vauquelin.

Soutenue en 1992

à Bordeaux 1 .


  • Résumé

    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.

  • Titre traduit

    Development and debugging tools for parallel computers with distributed memory


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (159 p.)
  • Annexes : Bibliographie p. 153-159

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 92.B-721
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 92.B-721
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-CHA
  • Bibliothèque : Bibliothèque Diderot Sciences (Lyon).
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1992-CHA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.