Detecting relational global predicates in distributed systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Detecting relational global predicates in distributed systems

Full text

Pdf (655 KB)

Source

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

Pages: 21 - 31

Year of Publication: 1993

ISSN:0362-1340

Also published in ...

Authors

Alexander I. Tomlinson	Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, Texas
Vijay K. Garg	Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, Texas

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 27, Citation Count: 8

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.174270 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.

	Bou87	L. Bougé, Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP, Theoretical Computer Science, v.49 n.2-3, p.145-169, January 1987 [doi>10.1016/0304-3975(87)90005-3]
	CL85	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]
	CM91	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
	Fid88	C. J. Fidge, Partial orders for parallel debugging, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.183-194, May 05-06, 1988, Madison, Wisconsin, United States
	Gar92	Vijay K. Garg, Some optimal algorithms for decomposed partially ordered sets, Information Processing Letters, v.44 n.1, p.39-43, Nov. 9, 1992 [doi>10.1016/0020-0190(92)90253-R]
	GW92	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
	GWar	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 [doi>10.1109/71.553309]
	HPR93	Michel Hurfin , Noël Plouzeau , Michel Raynal, Detecting atomic sequences of predicates in distributed computations, Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging, p.32-42, May 17-18, 1993, San Diego, California, United States
	HW88	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
	Lam78	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]
	Mat89	F. Mattern. Virtual time and global states of distributed systems. In Parallel and Distributed Algorithms: Proc. of the International Workshop on Parallel and Distributed Algorithms, pages 215-226. Elsevier Science Publishers B.V. (North-Holland), 1989.
	Ray92	Michel Raynal, About logical clocks for distributed systems, ACM SIGOPS Operating Systems Review, v.26 n.1, p.41-48, Jan. 1992 [doi>10.1145/130704.130708]
	SK86	M. Spezialetti and P. Kearns. Efficient distributed snapshots, in Proc. of the 6-th International Conference on Distributed Computing Systems, pages 382-388, 1986.
	SK88	M. Spezialetti and P. Kearns. A general approach to recognizing event occurrences in distributed computations. In Proc. o{ the 9-th International Conference on Distributed Computing Systems, pages 300-307, 1988.

CITED BY 8

	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
	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
	Guy Dumais , Hon F. Li, Distributed Predicate Detection in Series-Parallel Systems, IEEE Transactions on Parallel and Distributed Systems, v.13 n.4, p.373-387, April 2002
	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
	Giuliano Mega , Fabio Kon, Debugging distributed object applications with the Eclipse platform, Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange, p.42-46, October 24-24, 2004, Vancouver, British Columbia, Canada
	Eddy Fromentin , Michel Raynal, Local states in distributed computations: a few relations and formulas, ACM SIGOPS Operating Systems Review, v.28 n.2, p.65-72, April 1994
	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