Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.
The problem tackled in this paper originates from the debugging of distributed applications. Execution of such an application can be modelled as a partially ordered set of process states. The debugging of control flows (sequences of process states) of these executions is based on satisfying the predicates by process states. A process state that satisfies a predicate inherits its label. ; In this context, it follows that a distributed execution is a labelled directed acyclic graph (DAG for brevity). To debug or to determine if control flows of a distributed execution satisfy some property amounts to testing if the labelled DAG includes some pattern defined on predicate labels. ; This paper first introduces a general pattern (called the diamond necklace) which includes classical patterns encountered in distributed debugging. Then an efficient polynomial-time algorithm detecting such patterns in a labelled 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.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 7, number 1 (1997) ; kliknij tutaj, żeby przejść
Biblioteka Uniwersytetu Zielonogórskiego
2024-11-05
2020-11-18
66
https://zbc.uz.zgora.pl/repozytorium/publication/64491
Nazwa wydania | Data |
---|---|
On-the-fly detection of a class of word-based patterns in labelled DAGs | 2024-11-05 |
Beliczyński, Bartłomiej - red.
Krasoń, Ewa Kaczorek, Tadeusz - ed.
Trzaska, Zdzisław W. Kaczorek, Tadeusz - ed.
Xu, Li Saito, Osami Abe, Kenichi Kaczorek, Tadeusz - ed.
Young, K. David Yu, Xinghuo - red.
Xu, Jian-Xin Song, Yanbin Yu, Xinghuo - red.
Stotsky, Alexander A. Hedrick, J. Karl Yip, P.P. Yu, Xinghuo - red.
Hara, Masaaki Furuta, Katsuhisa Pan, Yaodong Hoshino, Tasuku Yu, Xinghuo - red.