Efficient distributed detection of conjunctions of local predicates

IEEE Transactions on Software Engineering

Volumn 24, Issue 8, 1998, Pages 664-677

  Hurfin, Michel ^a   Mizuno, Masaaki ^a   Raynal, Michel ^a   Singhal, Mukesh ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Distributed systems; On the fly global predicate detection

Indexed keywords

EID: 0000457008     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.707701     Document Type: Article

References (20)

1. Ö. Babaoglu and M. Raynal, "Specification and Verification of Dynamic Properties in Distributed Computations," J. Parallel and Distributed Computing, vol. 28, no. 2, pp. 173-185, Aug. 1995.
2. 0. Babaoglu, E. Fromentin, and M. Raynal, "Unified Framework for Expressing and Detecting Run-Time Properties of Distributed Computations," J. Systems and Software, special issue on Software Eng. for Distributed Computing, vol. 33, no. 3, pp. 287-298, June 1996.
3. R. Cooper and K. Marzullo, "Consistent Detection of Global Predicates," Proc. ACM/ONR Workshop Parallel and Distributed Debugging, pp. 163-173, Santa Cruz, Calif., May 1991.
4. CJ. Fidge, "Timestamps in Message Passing Systems that Preserve the Partial Ordering," Proc. llth Australian Computer Science Conf., pp. 55-66, Feb. 1988.
5. E. Fromentin, M. Raynal, V.K. Garg, and A.I. Tomlinson, "On the Fly Testing of Regular Patterns in Distributed Computations," Proc. 23rd Int'l Conf. Parallel Processing, pp. 73-76, St. Charles, 111., Aug. 1994.
6. V.K. Garg and B. Waldecker, "Detection of Unstable Predicates in Distributed Programs," Proc. 12th Int'l Conf. Foundations of Software Technology and Theoretical Computer Science. Springer-Verlag, Lecture Notes in Computer Science 652, pp. 253-264, New Delhi, India, Dec. 1992.
7. V.K. Garg and B. Waldecker, "Detection of Weak Unstable Predicates in Distributed Programs," IEEE Trans. Parallel and Distributed Systems, vol. 5, no. 3, pp. 299-307, Mar. 1994.
8. V.K. Garg and C.M. Chase, "Distributed Algorithms for Detecting Conjunctive Predicates," Proc. 15th Int'l Conf. Distributed Computing Systems, pp. 423-430, Vancouver, Canada, June 1995.
9. D. Haban and W. Weigel, "Global Events and Global Breakpoints in Distributed Systems," Proc. 21st Hawaiin Int'l Conf. System Sciences, pp. 166-175, Jan. 1988.
10. M. Hurfin, N. Plouzeau, and M. Raynal, "Detecting Atomic Sequences of Predicates in Distributed Computations," Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, pp. 3242, San Diego, Calif., May 1993. reprinted in SIGPLAN Notices, vol. 28, no. 12, Dec. 1993
11. M. Hurfin and M. Mizuno, "A Complete Set of Satisfaction Rules for Property Detection in Distributed Computations," Proc. Ninth Int'l Conf. Parallel and Distributed Computing Systems (PDCS'96), pp. 156-163, Dijon, France, Sept. 1996.
12. M. Hurfin, M. Mizuno, M. Raynal, and M. Singhal, "Efficient Distributed Detection of Conjunction of Local Predicates," Technical Report 2,731, INRIA, Nov. 1995.
13. R. Jegou, R. Medina, and L. Nourine, "Linear Space Algorithm for On-Line Detection of Global States," Proc. Int'l Workshop on Structures in Concurrency Theory, 1995.
14. E.D. Lazowska, J. Zahorjan, D. Cheriton, and W. Zwaenepoel, "File Access Performance of Diskless Workstations," ACM Trans. Computer Systems, vol. 4, no. 3, pp. 238-268, Aug. 1986.
15. Y. Manabe and M. Imase, "Global Conditions in Debugging Distributed Programs," J. Parallel and Distributed Computing, vol. 15, pp. 62-69,1992.
16. F. Mattern, "Virtual Time and Global States of Distributed Systems," Proc. Int'l Workshop Parallel and Distributed Algorithms, North-Holland, pp. 215-226, Chateau de Bonas, France, Oct. 1988.
17. B.P. Miller and J.-D. Choi, "Breakpoints and Halting in Distributed Programs," Proc. Eighth IEEE Int'l Conf. Distributed Computing Systems, pp. 316-323, San Jose, Calif., June 1988.
18. M. Raynal and M. Singhal, "Logical Clocks: A Way to Capture Causality in Distributed Systems," Computer, vol. 29, no. 2, pp. 4956, Feb. 1996.
19. S.D. Stoller and F.B. Schneider, "Faster Possibility Detection by Combining Two Approaches," Proc. Ninth Int'l Workshop Distributed Algorithms. Springer-Verlag, Lecture Notes in Computer Science 972, pp. 318-332, Le Mont-Saint-Michel, France, Sept. 1995.
20. 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.