Debugging Distributed Programs. Application to the Chorus System

Mise au point de programmes repartis. Application au systeme Chorus

Frederic Ruget (1)

1 Bull - Bull SAS

The problem of debugging parallel and distributed applications provides a framework for research in the fields of static analysis of distributed programs, observation of distributed computations, detection of distributed properties and post-mortem analysis. We have been particularly interested in this last field during the design and implementation of the CDB tool for the CHORUS micro-kernel operating system. CDB provides and execution replay facility to record and then replay the execution of complex distributed applications running on top of CHORUS, thus enabling cyclic debugging for non-deterministic distributed programs. The use of CDB is transparent to the re-executed application (no instrumentation is necessary.) CDB uses modern techniques, such as interposition, instruction counting, causal diffusion, logical clocks... We describe the CHORUS kernel enhancements developed to support execution replay, the algorithms (some are original) used by CDB, CDB's user interface and its performance.

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.

Mots clés: distributed debugging; microkernels; matrix clocks; replay

Mots clés: mise au point repartie; micro-noyaux; horloges matricielles; reexecution

Domaines: Réseaux et télécommunications [cs.NI]

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. ⟨NNT : ⟩. ⟨tel-00005110⟩