Copyright © 2003 Elsevier B.V. All rights reserved.
Distributed algorithm to detect strong conjunctive predicates
Received 21 November 2002;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
This paper presents an on-line distributed algorithm for detection of Definitely(φ) for the class of conjunctive global predicates. The only known algorithm for detection of Definitely(φ) uses a centralized approach. A method for decentralizing the algorithm was also given, but the work load is not fairly distributed and the method uses a hierarchical structure. The centralized approach has a time, space, and total message complexity of O(n2m), where n is the number of processes and m is the maximum number of messages sent by any process. The proposed on-line distributed algorithm uses the concept of intervals rather than events, and assumes p is the maximum number of intervals at any process. The worst-case time complexity across all the processes is O(min(pn2,mn2)). The worst-case space overhead across all the processes is min(2mn2,2pn2).
Author Keywords: Distributed computing; Predicate detection; Causality; Global state






E-mail Article
Add to my Quick Links

Cited By in Scopus (5)






