Detecting atomic sequences of predicates in distributed computations

Proceedings of the 1993 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1993

Volumn , Issue , 1993, Pages 32-42

  Hurfin, Michel ^a   Plouzeau, Noël ^a   Raynal, Michel ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MESSAGE PASSING;

DISTRIBUTED COMPUTATIONS; DISTRIBUTED PROGRAM; GLOBAL PROPERTIES; MESSAGE-PASSING COMMUNICATION; PROOF OF CORRECTNESS; SHARED MEMORY;

ATOMS;

EID: 84976666599     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/174266.174271     Document Type: Conference Paper

References (15)

1. O. Babaoglu and K. Marzullo. Consistent global states of distributed systems: fundamental concepts and mechanisms. In S. Mullender, editor, Distributed Systems 2nd edition, ACM Press, Frontier Series, 1993.
2. K. M. Chandy and L. Lamport. Distributed snapshots: determining global states of distributed systems. ACM TOCS, 3(1):63-75, 1985.
3. R. Cooper and K. Marzullo. Consistent detection of global predicates. In Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, pages 163-173, Santa Cruz, California, May 1991.
4. V.K. Garg and B. Waldecker. Detection of unstable predicates in distributed programs. In Proc. of the l&th conf. Foundations of Software Technology and Theoretical Computer Science, pages 253-264, Lecture Notes in Computer Science 652, Springer-Verlag, New Delhi, India, December 1992.
5. D. Haban and W. Weigel. Global events and global breakpoints in distributed systems. In Proc. of the 21st Hawaii Int. Conf. on System Sciences, pages 166-175, January 1988.
6. J.-M. Helary, C. Jard, N. Plouzeau, and M. Raynal. Detection of stable properties in distributed applications. 6th ACM SIGACT-SIGOPS, Symp. Principles of Distributed Computing, Vancouver, Canada, 125-136, 1987.
7. M. Hurfin. Reexecution et analyse de la dynamique des programmes repartis (Replaying and analysing the dynamics of distributed executions). These, Universite de Rennes 1, (to appear), 1993.
8. M. Hurfin, N. Plouzeau, and M. Raynal. A debugging tool for Estelle distributed programs. Journal of Computer Communications, May 1993.
9. L. Lamport. Time, clocks and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.
10. Y. Manabe and M. Imase. Global conditions in debugging distributed programs. Journal of Parallel and Distributed Computing, 15:62-69, 1992.
11. C.E. McDowell and D.P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4):593-622, 1989.
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, pages 316-323, July 1988.
13. H.A. Schmid. On the efficient implementation of conditionnal critical regions and the construction of monitors. Acta Informatica, 6:227-249, 1976.
14. R. Schwarz and F. Mattern. Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail. Technical Report 215/91 (36 pp), University of Kaiserslautern, 1991.
15. M. Spezialetti and J.P. Kearns. A general approach to recognizing event occurrences in distributed computations. In 8th IEEE Int. Conf. on Distributed Computing Systems, San Jose, pages 300-307, July 1988.