Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1996

Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging)

Abstract

The problem tackled in this paper originates from the debugging of distributed applications. Execution of such an application can be modeled as a partially ordered set of process states. The debugging of control flows (sequences of process states) of these executions is based on the satisfaction of predicates by process states. A process state that satisfies a predicate inherits its label. It follows that, in this context, a distributed execution is a labeled directed acyclic graph (dag for short). Debug or determine if control flows of a distributed execution satisfies some property amounts to test if the labeled dag includes some pattern defined on predicate labels. This paper first introduces a general pattern (called diamond necklace) which includes classical patterns encountered in distributed debugging. Then an efficient polynomial time algorithm detecting such patterns in a labeled dag is presented. To be easily adapted to an on-the-fly detection of the pattern in distributed executions, the algorithm visits the nodes of the graph according to a topological sort strategy.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-2838.pdf (300.37 Ko) Télécharger le fichier

Dates and versions

inria-00073852 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00073852 , version 1

Cite

Michel Hurfin, Michel Raynal. Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging). [Research Report] RR-2838, INRIA. 1996. ⟨inria-00073852⟩
180 View
7672 Download

Share

Gmail Facebook Twitter LinkedIn More