ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
Information Processing Letters
Volume 87, Issue 5, 15 September 2003, Pages 243-249
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (101 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/S0020-0190(03)00295-3    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2003 Elsevier B.V. All rights reserved.

Distributed algorithm to detect strong conjunctive predicates

Punit ChandraE-mail The Corresponding Author and Ajay D. KshemkalyaniCorresponding Author Contact Information, E-mail The Corresponding Author

Computer Science Department, University of Illinois at Chicago, Chicago, IL 60607, USA

Received 21 November 2002; 
revised 24 March 2003. 
Communicated by K. Iwama 
Available online 31 May 2003.

Purchase the full-text article



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


Information Processing Letters
Volume 87, Issue 5, 15 September 2003, Pages 243-249
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.