Precluding useless events for on-line global predicate detections

Li-Hsing Yen*

*Corresponding author for this work

Research output: Contribution to conferencePaperpeer-review

1 Scopus citations

Abstract

Detecting global predicates is an important task in testing and debugging distributed programs. In this paper, we propose an approach that effectively precludes useless events for global predicate detection, facilitating the process of an independent on-line checking routine. To identify more useless events than a simple causality-check method can do, our method tracks and maintains the precedence information of event intervals as a graph. To reduce the potentially expensive space and time cost as the graph expands, we propose an effective scheme to prune the graph. The performance of our method is analyzed and evaluated by simulations. The result shows that our approach outperforms conventional approaches in terms of the number of useless events found.

Original languageEnglish
Pages670-677
Number of pages8
DOIs
StatePublished - 2000
Event20th International Conference on Distributed Computing Systems (ICDCS 2000) - Taipei, Taiwan
Duration: 10 Apr 200013 Apr 2000

Conference

Conference20th International Conference on Distributed Computing Systems (ICDCS 2000)
CityTaipei, Taiwan
Period10/04/0013/04/00

Fingerprint

Dive into the research topics of 'Precluding useless events for on-line global predicate detections'. Together they form a unique fingerprint.

Cite this