Rééxécution et analyse de la dynamique des programmes répartis

par Michel Hurfin

Doctoral thesis in Informatique

Sous la direction de Michel Raynal.

defended on 1993

à Rennes 1 .

    mots clés mots clés


  • Résumé

    L'objectif de cette these est de proposer un ensemble coherent d'outils permettant d'analyser le comportement d'une application repartie au cours d'une execution. Nous nous interessons tout d'abord au probleme de l'observation. Dans l'approche adoptee, le comportement de l'application observee est modelise sous la forme d'un ensemble partiellement ordonne d'etats locaux. Une adequation entre l'analyse effectuee et l'ensemble des etats locaux pris en compte est obtenue en choisissant un niveau d'observation adapte. La definition d'une relation de dependance entre les etats locaux selectionnes permet d'expliquer le deroulement du calcul effectue en fonction des interactions entre processus qui se manifestent lors des echanges de messages. Dans une seconde partie, nous abordons le probleme de la reproduction d'un comportement prealablement observe. Dans le cas particulier ou l'application est specifiee dans un langage proche du langage estelle, un mecanisme de reexecution post mortem et un mecanisme de reexecution au vol sont etudies, implementes et compares. La derniere partie est consacree a la presentation d'outils d'analyse permettant de visualiser le deroulement du calcul, de detecter des proprietes et d'effectuer des mesures de performances. Une nouvelle classe de proprietes instables appelees sequences atomiques de predicats locaux et un algorithme original permettant de detecter au vol ces proprietes sont proposes. Le probleme de l'arret du programme suite a la detection d'un point d'arret est egalement traite. Un outil de deverminage de programme estelle, appele erebus, a ete developpe dans le cadre de cette these


  • Pas de résumé disponible.

Consulter library

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (161 p.)
  • Annexes : 68 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D.4-HUR
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1993/99
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : C 3. HUR.
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : Hurfin r
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.