Stable predicate detection in dynamic systems
Document Type
Conference Proceeding
Publication Date
2006
Department
Department of Computer Science
Abstract
Detection of stable predicates is fundamental to distributed application development and control. Stable predicates are distinguished by the fact that once they are true in some consistent global state, they remain true indefinitely. We present a protocol for the detection of stable predicates within dynamic systems (in which process membership may not be static). Unlike existing protocols, the presented protocol is not restricted to the detection of distributed termination and is based upon the use of approximately synchronized clocks. When clocks are approximately synchronized, the difference between the readings of any two clocks at an instant of time is kept within some known bound. Although clocks are assumed to be synchronized, temporary loss of synchronization is tolerated. The use of a global time base facilitates detection of predicates that remain true only after becoming true at some instant of time, while correctly detecting predicates that remain true upon becoming true in some consistent global state.
Publication Title
International Conference on Principles of Distributed System
ISBN
978-3-540-36322-4
Recommended Citation
Darling, D.,
Mayo, J.,
&
Wang, X.
(2006).
Stable predicate detection in dynamic systems.
International Conference on Principles of Distributed System,
3974, 161-175.
http://doi.org/10.1007/11795490_14
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/704
Publisher's Statement
© Springer-Verlag Berlin Heidelberg 2006. Publisher’s version of record: https://doi.org/10.1007/11795490_14