On-the-Fly Detection of Conjunctions of Local Predicates in Distributed Computations

Authors:
Michel Hurfin;Michel Raynal;Masaaki Mizuno;Mukesh Singhal
Affiliations:
-;-;-;-
Venue:
SPDP '96 Proceedings of the 8th IEEE Symposium on Parallel and Distributed Processing (SPDP '96)
Year:
1996

Citing 0
Cited 2

Communication-based prevention of useless checkpoints in distributed computations

Distributed Computing
Finding missing synchronization in a distributed computation using controlled re-execution

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Global predicate detection is a fundamental problem in distributed systems and finds applications in many domains such as testing and debugging distributed programs. This paper presents an efficient distributed algorithm to detect conjunctive form global predicates in distributed systems. The algorithm detects the first consistent global state that satisfies a given conjunction of local predicates. The algorithm is distributed because the predicate detection efforts as well as the necessary information is equally distributed among the processes.