Abstract
Global predicate detection is an important problem in distributed executions. A conjunctive predicate is one in which each conjunct is defined over variables local to a single process. Polynomial space and time algorithms exist for detecting conjunctive predicates under the Possibly and Definitely modalities, as well as under a richer class of fine-grained modalities based on the temporal interaction of intervals. However, it is much more difficult to detect nonconjunctive predicates under the various modalities because the entire state lattice may need to be examined. We examine the feasibility of detecting nonconjunctive predicates under the fine-grained temporal modalities using the interval-based approach. We gain some insightful observations into how nonconjunctive predicates can be decomposed, and into the relationships among the intervals (at different processes) in which the local variables have values that can satisfy the nonconjunctive predicate.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alagar, S., Venkatesan, S.: Techniques to Tackle State Explosion in Global Predicate Detection. IEEE Trans. Software Engg. 27(8), 704–714 (2001)
Chandra, P., Kshemkalyani, A.D.: Algorithms for Detecting Global Predicates under Fine-Grained Modalities. In: ASIAN 2003. LNCS, Springer, Heidelberg (2003) (to appear)
Chandra, P., Kshemkalyani, A.D.: Distributed Algorithm to Detect Strong Conjunctive Predicates. Information Processing Letters 87(5), 243–249 (2003)
Chandra, P., Kshemkalyani, A.D.: Detection of Orthogonal Interval Relations. In: Sahni, S.K., Prasanna, V.K., Shukla, U. (eds.) HiPC 2002. LNCS, vol. 2552, pp. 323–333. Springer, Heidelberg (2002)
Cooper, R., Marzullo, K.: Consistent Detection of Global Predicates. In: Proc. ACM/ONR Workshop on Parallel & Distributed Debugging, pp. 163–173 (1991)
Garg, V.K., Waldecker, B.: Detection of Weak Unstable Predicates in Distributed Programs. IEEE Trans. Parallel & Distributed Systems 5(3), 299–307 (1994)
Garg, V.K., Waldecker, B.: Detection of Strong Unstable Predicates in Distributed Programs. IEEE Trans. Parallel & Distributed Systems 7(12), 1323–1333 (1996)
Hurfin, M., Mizuno, M., Raynal, M., Singhal, M.: Efficient Distributed Detection of Conjunctions of Local Predicates. IEEE Trans. Software Engg. 24(8), 664–677 (1998)
Kshemkalyani, A.D.: Temporal Interactions of Intervals in Distributed Systems. Journal of Computer and System Sciences 52(2), 287–298 (1996)
Kshemkalyani, A.D.: A Fine-Grained Modality Classification for Global Predicates. IEEE Trans. Parallel & Distributed Systems 14(8), 807–816 (2003)
Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM 21(7), 558–565 (1978)
Marzullo, K., Neiger, G.: Detection of Global State Predicates. In: Toueg, S., Kirousis, L.M., Spirakis, P.G. (eds.) WDAG 1991. LNCS, vol. 579, Springer, Heidelberg (1992)
Stoller, S., Schneider, F.: Faster Possibility Detection by Combining Two Approaches. In: Helary, J.-M., Raynal, M. (eds.) WDAG 1995. LNCS, vol. 972, pp. 318–332. Springer, Heidelberg (1995)
Venkatesan, S., Dathan, B.: Testing and Debugging Distributed Programs Using Global Predicates. IEEE Trans. Software Engg. 21(2), 163–177 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kshemkalyani, A.D. (2003). A Note on Modalities for Nonconjunctive Global Predicates. In: Das, S.R., Das, S.K. (eds) Distributed Computing - IWDC 2003. IWDC 2003. Lecture Notes in Computer Science, vol 2918. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24604-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-24604-6_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20745-0
Online ISBN: 978-3-540-24604-6
eBook Packages: Springer Book Archive