Efficient Distributed Detection of Conjunctions of Local Predicates
IEEE Transactions on Software Engineering
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Methods for Observing Global Properties in Distributed Systems
IEEE Parallel & Distributed Technology: Systems & Technology
Distributed algorithm to detect strong conjunctive predicates
Information Processing Letters
Journal of Parallel and Distributed Computing
Neural, Parallel & Scientific Computations
An approach to feature location in distributed systems
Journal of Systems and Software
Repeated detection of conjunctive predicates in distributed executions
Information Processing Letters
Automated systematic testing of open distributed programs
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
Abstract: This paper discusses efficient distributed detection of global conjunctive predicates in a distributed program. Our methods correctly detect the first consistent cut in which the predicate is true, even if the predicate is unstable. Previous work in detection of such predicates is based on a centralized checker process. In this paper we introduce algorithms which distribute the computation and space requirements of the detection procedure. Two algorithms are presented. The first algorithm requires O (n/sup 2/ m) time and space where m is the number of messages sent by any process and n is the number of processes over which the predicate is defined. This algorithm has identical time complexity to the original centralized algorithm. However computation, space and message requirements are distributed evenly over the n processes. The second algorithm requires O(Nm) total work, where N is the total number of processes in the system. The relative values of n and N determine which algorithm is more efficient for a specific application. Parallelism can be introduced into either distributed algorithm, reducing the average case time complexity. We show that the worst-case time complexity can not be improved beyond O(mn) with any on-line detection algorithm.