Mise au point de programmes repartis. Application au systeme Chorus

Abstract : 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.
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
Long-term archiving on : 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

271

Files downloads

307