Skip to Main content Skip to Navigation
Theses

Mise au point de programmes repartis. Application au systeme Chorus

Résumé : La mise au point des applications paralleles et reparties offre un cadre pour des recherches dans les domaines de l'analyse statique de programmes repartis, de l'observation des execution reparties, de la detection de proprietes reparties et de l'analyse post-mortem. C'est ce dernier domaine qui nous a plus particulierement interesse lors de la conception et de la realisation de l'outil CDB pour le systeme d'exploitation reparti a micro-noyau CHORUS. CDB permet d'enregistrer puis de reproduire l'execution d'applications re'parties complexes tournant au dessus du micro-noyau CHORUS, permettant ainsi d'appliquer la methode de mise au point cyclique a des programmes distribue's non deterministes. L'utilisation de CDB est transparente a l'application re-executee (aucune instrumentation n'est necessaire.) CDB est base sur des techniques modernes comme l'interposition, les compteurs d'instructions, la diffusion causale, les horloges logiques... Nous decrivons le support specifique du micro-noyau developpe pour supporter la re-execution, les algorithmes (parfois originaux) utilises par CDB, l'interface utilisateur de CDB et ses performances.
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00005110
Contributor : Thèses Imag <>
Submitted on : Wednesday, February 25, 2004 - 2:36:28 PM
Last modification on : Wednesday, February 25, 2004 - 2:36:28 PM
Document(s) archivé(s) le : Thursday, September 13, 2012 - 12:00:31 PM

Identifiers

  • HAL Id : tel-00005110, version 1

Collections

UJF

Citation

Frederic Ruget. Mise au point de programmes repartis. Application au systeme Chorus. Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 1994. Français. ⟨tel-00005110⟩

Share

Metrics

Record views

294

Files downloads

357