On the fly testing of regular patterns in distributed computations

Proceedings of the International Conference on Parallel Processing

Volumn 2, Issue , 1994, Pages

  Fromentin, E ^a   Raynal, M ^a   Garg, V K ^b   Tomlinson, A ^b  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CAUSAL PATHS; DISTRIBUTED COMPUTATIONS; ON THE FLIES; REGULAR PATTERNS;

ALGORITHMS;

EID: 84904335010     PISSN: 01903918     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICPP.1994.138     Document Type: Conference Paper

References (15)

1. Ö. Babaoǧlu and K. Marzullo. Consistent global states of distributed systems: fundamental concepts and mechanisms, in Distributed Systems, chapter 4. ACM Press, Frontier Series, S.J. Mullender Ed., (1993).
2. Ö. Babaoglu and M. Raynal. "Specification and detection of behavioral patterns in distributed computations", In Proc. of 4th IFIP WG 10.4 Int. Conference on Dependable Computing for Critical Applications, Springer Verlag Series in Dependable Computing, San Diego, (January, 1994).
3. P.C. Bates and J.C. Wileden. "High-level debugging of distributed systems: the behavioral abstraction approach", Journal of Systems and Software, (December, 1983)4(3):255-264.
4. R. Cooper and K. Marzullo. "Consistent detection of global predicates", In Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, pages 167-174, Santa Cruz, California, (May, 1991).
5. C. Diehl, C. Jard, and J. X. Rampon. "Reachability analysis on distributed executions", In Theory and Practice of Software Development, pages 629-643, TAPSOFT, Springer Verlag, LNCS 668, Gaudel and Jouannaud editors, (April, 1993).
6. V. K. Garg and B. Waldecker. "Detection of unstable predicates in distributed programs", In Twelfth International Conference on Foundations of Software Technology and Theoretical Computer Science, pages 253-264, Springer Verlag, LNCS 625, New Delhi, India, (December, 1992).
7. M. Hurfin, N. Plouzeau, and M. Raynal. "A debugging tool for distributed Estelle programs", Journal of Computer Communications, (May, 1993), 16(5):328-333.
8. M. Hurfin, N. Plouzeau, and M. Raynal. "Detecting atomic sequences of predicates in distributed computations", In Proc. ACM workshop on Parallel and Distributed Debugging, pages 32-42, San Diego, (May, 1993). (Reprinted in SIGPLAN Notices, Dec. 1993).
9. C. Jard, T. Jeron, G.V Jourdan, and Rampon J.X. "A general approach to trace-checking in distributed computing systems", In Proc. IEEE Int. Conf. on DCS, Poznan, Poland, (June, 1994).
10. L. Lamport. "Time, clocks and the ordering of events in a distributed system", Communications of the ACM, (July, 1978), 21(7):558-565. (Pubitemid 8615486)
11. F. Mattern. "Virtual time and global states of distributed systems", In Cosnard, Quinton, Raynal, and Robert, editors, Parallel and Distributed Algorithms, pages 215-226, North-Holland, (October, 1988).
12. B.P. Miller and J. Choi. "Breakpoints and halting in distributed programs", In Proc. 8th IEEE Int. Conf. on Distributed Computing Systems, San Jose, (July, 1988), pages 316-323.
13. M. Raynal, A. Schiper, and S. Toueg. "The causal ordering abstraction and a simple way to implement it", Information Processing Letters, (1991), 30:343-350. (Pubitemid 21728119)
14. rd Workshop on Distributed Algorithms, pages 219-232, Springer Verlag, LNCS 392, Nice, France, (September, 1989).
15. R. Schwarz and F. Mattern. "Detecting causal relationships in distributed computations: in search of the holy grail", Distributed Computing, (1994), 7(3), pages 149-174.