Detecting atomic sequences of predicates in distributed computations

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Detecting atomic sequences of predicates in distributed computations

Full text

Pdf (571 KB)

Source

ACM SIGPLAN Notices archive
Volume 28 , Issue 12 (December 1993) table of contents

Pages: 32 - 42

Year of Publication: 1993

ISSN:0362-1340

Also published in ...

Authors

Michel Hurfin	IRISA - Campus de Beaulieu - 35042 RENNES Cedex - FRANCE
Noël Plouzeau	IRISA - Campus de Beaulieu - 35042 RENNES Cedex - FRANCE
Michel Raynal	IRISA - Campus de Beaulieu - 35042 RENNES Cedex - FRANCE

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 15, Citation Count: 10

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/174267.174271 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Özalp Babaoğlu , Keith Marzullo, Consistent global states of distributed systems: fundamental concepts and mechanisms, Distributed systems (2nd Ed.), ACM Press/Addison-Wesley Publishing Co., New York, NY, 1993
	2	K. Mani Chandy , Leslie Lamport, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems (TOCS), v.3 n.1, p.63-75, Feb. 1985 [doi>10.1145/214451.214456]
	3	Robert Cooper , Keith Marzullo, Consistent detection of global predicates, Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging, p.167-174, May 20-21, 1991, Santa Cruz, California, United States
	4	Vijay K. Garg , Brian Waldecker, Detection of Unstable Predicates in Distributed Programs, Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, p.253-264, December 18-20, 1992
	5	D. Haban , W. Weigel, Global events and global breakpoints in distributed systems, Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track, p.166-175, January 1988, Kailua-Kona, Hawaii, United States
	6	Jean-Michael Helary , Claude Jard , Noël Plouzeau , Michel Raynal, Detection of stable properties in distributed applications, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.125-136, August 10-12, 1987, Vancouver, British Columbia, Canada [doi>10.1145/41840.41851]
	7	M. Hurfin. Rkexdcution et analyse de la dynamique des programmes r6partis (Replaying and analysing the dynamics of distributed executions). Th~e, Universit6 de Rennes I, (to appear), 1993.
	8	M. Hnrfin, N. Plouzeau, and M. Raynal. A debugging tool for Estelle distributed programs. Journal of Computer Communications, May 1993.
	9	Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
	10	Yoshifumi Manabe , Makoto Imase, Global conditions in debugging distributed programs, Journal of Parallel and Distributed Computing, v.15 n.1, p.62-69, May 1992 [doi>10.1016/0743-7315(92)90058-U]
	11	Charles E. McDowell , David P. Helmbold, Debugging concurrent programs, ACM Computing Surveys (CSUR), v.21 n.4, p.593-622, Dec. 1989 [doi>10.1145/76894.76897]
	12	B.P. Miller and J. Choi. Breakpoints and halting in distributed programs. In Proc. 8th IEEE Int. Conf. on Distribuied 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	P~. 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.

CITED BY 10

	Alexander I. Tomlinson , Vijay K. Garg, Detecting relational global predicates in distributed systems, ACM SIGPLAN Notices, v.28 n.12, p.21-31, Dec. 1993
	Vijay K. Garg, Methods for Observing Global Properties in Distributed Systems, IEEE Parallel & Distributed Technology: Systems & Technology, v.5 n.4, p.69-77, October 1997
	Cherri M. Pancake , Robert H. B. Netzer, A bibliography of parallel debuggers, 1993 edition, ACM SIGPLAN Notices, v.28 n.12, p.169-186, Dec. 1993
	Scott D. Stoller, Detecting global predicates in distributed systems with clocks, Distributed Computing, v.13 n.2, p.85-98, April 2000
	Craig M. Chase , Vijay K. Garg, Detection of global predicates: techniques and their limitations, Distributed Computing, v.11 n.4, p.191-201, October 1998
	V. K. Garg , B. Waldecker, Detection of Weak Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, v.5 n.3, p.299-307, March 1994
	Michel Hurfin , Masaaki Mizuno , Mukesh Singhal , Michel Raynal, Efficient Distributed Detection of Conjunctions of Local Predicates, IEEE Transactions on Software Engineering, v.24 n.8, p.664-677, August 1998
	Sridhar Alagar , Subbarayan Venkatesan, Techniques to Tackle State Explosion in Global Predicate Detection, IEEE Transactions on Software Engineering, v.27 n.8, p.704-714, August 2001
	Vijay K. Garg , Brian Waldecker, Detection of Strong Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, v.7 n.12, p.1323-1333, December 1996
	Weiming Gu , Jeffrey Vetter , Karsten Schwan, An annotated bibliography of interactive program steering, ACM SIGPLAN Notices, v.29 n.9, p.140-148, Sept. 1994