Detection of a weak conjunction of unstable predicates in dynamic systems
Document Type
Article
Publication Date
1-2010
Department
Department of Computer Science
Abstract
A weak conjunctive predicate is a conjunction of local predicates that is evaluated under the Possibly modality. In this study, we have proposed a distributed on-line algorithm for detecting weak conjunctions of unstable predicates in dynamic systems. In the algorithm, a virtual network of a logical ring combined with computation trees is dynamically maintained using local variables to keep track of causality relationships between distributed events. The differential technique is exploited to minimize the size of detection related information. During the execution of the distributed computation, each process maintains a vector containing potential solutions. Detection will be announced when the global predicate is verified. This algorithm does not require extra messages except those for process termination. The detection of a solution may not be announced until the termination of the underlying distributed computation in the case where a process never communicates with others. At each process, storage need is proportional to the number of processes in the system. This demand will increase in some extreme cases, although they are very rare in practice.
Publication Title
2010 IEEE 16th International Conference on Parallel and Distributed Systems
Recommended Citation
Wang, X.,
Mayo, J.,
&
Hembroff, G.
(2010).
Detection of a weak conjunction of unstable predicates in dynamic systems.
2010 IEEE 16th International Conference on Parallel and Distributed Systems, 338-346.
http://doi.org/10.1109/ICPADS.2010.80
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/693
Publisher's Statement
© 2010 IEEE. Publisher’s version of record: https://doi.org/10.1109/ICPADS.2010.80