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

Debugging distributed programs : application to the CHORUS system

• Auteur / Autrice : Frederic Ruget
• Direction : Sacha Krakowiak
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1994
• Etablissement(s) : Université Joseph Fourier (Grenoble ; 1971-2015)

Mots clés

Mots clés libres

Mise au point répartie

Micro-noyaux

Horloges matricielles

Réexécution

Distributed debugging

Microkernels

Matrix clocks

Replay

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.