Le traçage logiciel d'applications parallèles : conception et ajustement de qualité
Auteur / Autrice : | Eric Maillet |
Direction : | Brigitte Plateau |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1996 |
Etablissement(s) : | Grenoble INPG |
Partenaire(s) de recherche : | Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006) |
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