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.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00005110 |
| Date | 22 November 1994 |
| Creators | Ruget, Frederic |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0017 seconds