Mise au point de programme répartis : application au système CHORUS

par Frederic Ruget

Thèse de doctorat en Informatique

Sous la direction de Sacha Krakowiak.

Soutenue en 1994

à l'Université Joseph Fourier (Grenoble) .


  • Résumé

    La mise au point des applications parallèles et reparties offre un cadre pour des recherches dans les domaines de l'analyse statique de programmes repartis, de l'observation des exécution reparties, de la détection de propriétés reparties et de l'analyse post-mortem. C'est ce dernier domaine qui nous a plus particulièrement intéresse lors de la conception et de la réalisation de l'outil CDB pour le système d'exploitation reparti a micro-noyau CHORUS. CDB permet d'enregistrer puis de reproduire l'exécution d'applications réparties complexes tournant au-dessus du micro-noyau CHORUS, permettant ainsi d'appliquer la méthode de mise au point cyclique a des programmes distribues non déterministes. L'utilisation de CDB est transparente à l'application re-exécutée (aucune instrumentation n'est nécessaire. ) CDB est base sur des techniques modernes comme l'interposition, les compteurs d'instructions, la diffusion causale, les horloges logiques. . . Nous décrivons le support spécifique du micro-noyau développé pour supporter la re-exécution, les algorithmes (parfois originaux) utilisés par CDB, l'interface utilisateur de CDB et ses performances.

  • Titre traduit

    Debugging distributed programs : application to the CHORUS system


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (144 p.)

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1994-RUG
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.