This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Fine-Grained Modality Classification for Global Predicates
August 2003 (vol. 14 no. 8)
pp. 807-816

Abstract—Specifying and detecting predicates in a distributed execution is an important problem. Distributed execution observation has classically used two modalities—\big. Possibly(\phi)\bigr. and \big. Definitely(\phi)\bigr.—for predicate \big. \phi\bigr.. Based on the temporal interactions of intervals, the author identified a complete, orthogonal set of relationships \big. \Re\bigr. between pairs of intervals in a distributed execution. This paper shows how to map the rich, orthogonal classification of modalities of pairwise interval interactions, to the classical coarse-grained classification, \big. Possibly(\phi)\bigr. and \big. Definitely(\phi)\bigr., for specifying predicates defined on any number of processes. This increases the power of expressing the temporal modalities under which predicates can be specified, beyond the current \big. Possibly\bigr./\big. Definitely\bigr. classification. This paper also gives timestamp-based tests for the orthogonal modalities in the refined classification.

[1] P. Chandra and A. Kshemkalyani, Algorithms for Detecting Global Predicates under Fine-Grained Modalities Univ. of Illinois at Chicago Technical Report UIC-ECE-02-05, Apr. 2002.
[2] K.M. Chandy and L. Lamport, "Distributed Snapshots: Determining Global States of Distributed Systems," ACM Trans. Computer Systems, Feb. 1985.
[3] R. Cooper and K. Marzullo, "Consistent Detection of Global Predicates," in Proc. Workshop Parallel and Distributed Debugging, ACM Press, New York, pp. 163-173.
[4] Q. Du, V. Faber, and M. Gunzburger, Centroidal Voronoi Tessellations: Applications and Algorithms SIAM Rev., vol. 41, no. 4, pp. 637-676, 1999.
[5] C.J. Fidge, Timestamps in Message-Passing Systems That Preserve Partial Ordering Australian Computer Science Comm., vol. 10, no. 1, pp. 56-66, Feb. 1988.
[6] V.K. Garg and B. Waldecker, "Detection of Weak Unstable Predicates in Distributed Programs," IEEE Trans. Parallel and Distributed Systems, Mar. 1994, pp. 299-307.
[7] V.K. Garg and B. Waldecker, "Detection of Strong Unstable Predicates in Distributed Programs, IEEE Trans. Parallel and Distributed Systems, Dec. 1996, pp. 1323-1333.
[8] M. Hurfin, M. Mizuno, M. Raynal, and M. Singhal, “Efficient Distributed Detection of Conjunctions of Local Predicates,” IEEE Trans. Software Eng., vol. 24, no. 8, pp. 664-677, Aug. 1998.
[9] A.D. Kshemkalyani, “Temporal Interactions of Intervals in Distributed Systems,” J. Computer and System Sciences, vol. 52, pp. 287–298, 1996.
[10] A.D. Kshemkalyani, Temporal Interactions of Intervals in Distributed Systems IBM Technical Report 29.1933, (this includes the contents of [9] and the prime covers), 1994.
[11] A.D. Kshemkalyani, A Framework For Viewing Atomic Events in Distributed Computations Theoretical Computer Science, vol. 196, nos. 1-2, pp. 45-70, Apr. 1998.
[12] A.D. Kshemkalyani, A Fine-Grained Modality Classification for Global Predicates Univ. of Illinois at Chicago Technical Report UIC-EECS-00-10, 2000.
[13] L. Lamport, "Time, clocks and the ordering of events in a distributed system," Comm. ACM, vol. 21, no. 7, pp. 558-565, July 1978.
[14] L. Lamport, On Interprocess Communication, Part I: Basic Formalism; Part II: Algorithms Distributed Computing, vol. 1, pp. 77-85 and 86-101, 1986.
[15] K. Marzullo and G. Neiger, “Detection of Global State Predicate,” Lectures Notes in Computer Science, vol. 59, pp. 254-272, Springer Verlag, 1991.
[16] S. Mullender, Distributed Systems. second ed. ACM Press, 1993.
[17] F. Mattern, Virtual Time and Global States of Distributed Systems Parallel and Distributed Algorithms, pp. 215-226, 1989.
[18] S. Stoller, Detecting Global Predicates in Distributed Systems with Clocks Distributed Computing, vol. 13, no. 2, pp. 85-98, Apr. 2000.
[19] S. Venkatesan and B. Dathan, "Testing and Debugging Distributed Programs Using Global Predicates, IEEE Trans. Software Eng., vol. 21, no. 2, pp. 163-177, Feb. 1995.

Index Terms:
Predicates, causality, synchronization, distributed execution, distributed system, global state.
Citation:
Ajay D. Kshemkalyani, "A Fine-Grained Modality Classification for Global Predicates," IEEE Transactions on Parallel and Distributed Systems, vol. 14, no. 8, pp. 807-816, Aug. 2003, doi:10.1109/TPDS.2003.1225059
Usage of this product signifies your acceptance of the Terms of Use.