
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Guy Dumais, Hon F. Li, "Distributed Predicate Detection in SeriesParallel Systems," IEEE Transactions on Parallel and Distributed Systems, vol. 13, no. 4, pp. 373387, April, 2002.  
BibTex  x  
@article{ 10.1109/71.995818, author = {Guy Dumais and Hon F. Li}, title = {Distributed Predicate Detection in SeriesParallel Systems}, journal ={IEEE Transactions on Parallel and Distributed Systems}, volume = {13}, number = {4}, issn = {10459219}, year = {2002}, pages = {373387}, doi = {http://doi.ieeecomputersociety.org/10.1109/71.995818}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Parallel and Distributed Systems TI  Distributed Predicate Detection in SeriesParallel Systems IS  4 SN  10459219 SP373 EP387 EPD  373387 A1  Guy Dumais, A1  Hon F. Li, PY  2002 KW  distributed computation KW  predicate detection KW  state lattice KW  concurrent interval KW  communication graph KW  seriesparallel structure KW  separable predicate VL  13 JA  IEEE Transactions on Parallel and Distributed Systems ER   
This paper addresses the problems of state space decomposition and predicate detection in a distributed computation involving asynchronous messages. We introduce a natural communication dependency which leads to the definition of the communication graph. This abstraction proves to be a useful tool to decompose the state lattice of a distributed computation into simpler structures, known as concurrent intervals. Efficient algorithms have been proposed in the literature to detect special classes of predicates, such as conjunctive predicates and bounded sum predicates. We show that more general classes of predicates can be detected when proper constraints are imposed on the underlying computations. In particular, we introduce a class of predicates, defined herein as separable predicates, that properly includes the abovementioned classes. We show that separable predicates can be efficiently detected on distributed computations whose communication graphs satisfy the seriesparallel constraint.
[1] M. Ahuja, A.D. Kshemkalyani, and T. Carlson, “A Basic Unit of Computation in Distributed Systems,” Proc. 10th Int'l Conf. Distributed Computation Systems, 1990.
[2] K.M. Chandy and L. Lamport, "Distributed Snapshots: Determining Global States of Distributed Systems," ACM Trans. Computer Systems, Feb. 1985.
[3] B. CharronBost, C. DelporteGallet, and H. Fauconnier, “Local and Temporal Predicates in Distributed Systems,” ACM Trans. Programming Languages and Systems, vol. 17, no. 1, pp. 157179, 1995.
[4] C.M. Chase and V.K. Garg, “Detection of Global Predicates: Techniques and Their Limitations,” Distributed Computing, no. 11, pp. 191201, 1998.
[5] C. Chase and V.K. Garg, "On Techniques and Their Limitations for the Global Predicate Detection Problem," in Proc. Workshop on Distributed Algorithms, Lecture Notes on Computer Science 971, SpringerVerlag, Berlin, 1995, pp. 303317.
[6] G. Dumais, “Detection of Separable Predicates on SeriesParallel Systems,” MSc thesis, Concordia Univ., Montréal, Sept. 1998.
[7] D. Eppstein, “Parallel Recognition of SeriesParallel Graphs,” Information and Computation, no. 98, pp. 4155, 1992.
[8] C.J. Fidge, "Logical Time in Distributed Computing Systems," Computer, pp. 2833, Aug. 1991.
[9] E. Fromentin and M. Raynal, “Inevitable Global States: A Concept to Detect Properties of Distributed Computations in an Observer Independent Way,” Proc. Sixth IEEE Symp. Parallel and Distributed Processing, pp. 242248, Oct. 1994.
[10] V.K. Garg and B. Waldecker, "Detection of Weak Unstable Predicates in Distributed Programs," IEEE Trans. Parallel and Distributed Systems, Mar. 1994, pp. 299307.
[11] V.K. Garg and B. Waldecker, "Detection of Strong Unstable Predicates in Distributed Programs, IEEE Trans. Parallel and Distributed Systems, Dec. 1996, pp. 13231333.
[12] X. He and Y. Yesha, "Parallel Recognition and Decomposition of Two Terminal Series Parallel Graphs," Information and Computation, vol. 75, pp. 1538, 1987.
[13] 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. 664677, Aug. 1998.
[14] H.F. Li unpublished report, 1993.
[15] K. Marzullo and G. Neiger, “Detection of Global State Predicate,” Lectures Notes in Computer Science, vol. 59, pp. 254272, Springer Verlag, 1991.
[16] F. Mattern, “Virtual Time and Global State of Distributed Systems,” Proc. Parallel and Distributed Algorithms Conf., M. Cosnbard, Y. Robert, P. Quinton, and M Raynal, pp. 215226, 1988.
[17] A.I. Tomlinson and V.K. Garg, “Detecting Relational Global Predicates in Distributed Systems,” Proc. Third ACM/ONR Workshop Parallel and Distributed Debugging, pp. 2131, May 1993.
[18] A.I. Tomlinson and V.K. Garg, "Monitoring Functions on Global States of Distributed Programs," J. Parallel and Distributed Computing, Mar. 1997, pp. 173189.
[19] K. Takamizawa, T. Nishizeki, and N. Saito, “LinearTime Computability of Combinatorial Problems on SeriesParallel Graphs,” J. ACM, vol. 29, pp. 623641, July 1982.
[20] J. Valdes, R.E. Tarjan, and E.L. Lawler, “The Recognition of Series Parallel Digraphs,” SIAM J. Computing, vol. 11, pp. 298313, 1982.