Le traçage logiciel d'applications parallèles : conception et ajustement de qualité

par Eric Maillet

Thèse de doctorat en Sciences appliquées

Sous la direction de Brigitte Plateau.

Soutenue en 1996

à inp grenoble .

    mots clés mots clés


  • Résumé

    Cette thèse se concentre sur la notion de qualité représentative des traces obtenues par voie logicielle sur des exécutions de programmes parallèles communiquant par messages. Nous proposons une série de modèles permettant de réajuster la qualité d'une telle trace afin d'approcher la qualité des mesures obtenues sur un système de trace matériel. Nous étudions en détail le problème de datation physique dans un environnement d'exécution parallèle dépourvu d'une horloge physique globale. Après avoir rappelé le principe des méthodes statistiques de calcul de temps global, nous proposons une technique qui permet de réduire considérablement le temps d'échantillonnage des horloges. Cette méthode offre un accès suffisamment précis et confortable au temps global pour pouvoir rivaliser avec une solution matérielle. Nous abordons ensuite le problème de l'effet de sonde qui résulte du partage des ressources du système entre l'outil d'instrumentation logiciel et l'application instrumenteé. Nous présentons différents modèles de correction des perturbations, permettant de compenser l'effet de sonde par un traitement post-mortem des traces dans le but de retrouver la dynamique originale d'une exécution non-instrumentée. Nous présentons finalement l'outil de trace Tape/PVM, développé dans le cadre de cette thèse. Les méthodes de qualité de traces proposés ont été implémentées et validées dans Tape/PVM


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 160 P.
  • Annexes : 96 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1996-MAI
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.