Replay, recovery, replication, and snapshots of nondeterministic concurrent programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Replay, recovery, replication, and snapshots of nondeterministic concurrent programs

Full text

Pdf (1.23 MB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the tenth annual ACM symposium on Principles of distributed computing table of contents

Montreal, Quebec, Canada

Pages: 241 - 255

Year of Publication: 1991

ISBN:0-89791-439-2

Authors

Haim Gaifman	Hebrew University, Jerusalem
Michael J. Maher	IBM, T.J. Watson Research Center
Ehud Shapiro	The Weizmann Institute of Science

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 22, Citation Count: 2

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/112600.112621 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	Miller, B. ;tnd beBlanc, T. (Eds.), t'roc, of A CM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, M~y 5-6, 1988, U. Wisconsin, SIGPLAN Notices Vol.24, No.l, 1989.
	2	William C. Athas , Charles L. Seitz, Multicomputers: Message-Passing Concurrent Computers, Computer, v.21 n.8, p.9-24, August 1988 [doi>10.1109/2.73]
	3	James Alexander Crammond, Implementation of committed choice logic languages on shared memory multiprocessors, 1988
	4	Cnrver, R. and T~i, K., Reproducible testing of concurrent progra.ms based on shared va.zia.bles, Proc. 6th Int. Conf. on Distributed Computer Systems, Cambridge, MA, 1986, pp.428-433.
	5	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]
	6	Chang, C.C, a. nd Keislcr, }I.J., Model 7'heory North Holland, 1977.
	7	Ehrenfcucht, A. An a.pplica, tion of games to the completeness problem for formalized theories Fund. Math. ~9, pp. 129- 14:1, 1961.
	8	Engelfriet, j., Determinacy --, (observa, tion equiva.lence ~_ tra.ce equiva, lence), Theoretical Computer ScieT~ce 36, pp.21-25, 1985.
	9	Steven Fortune , James Wyllie, Parallelism in random access machines, Proceedings of the tenth annual ACM symposium on Theory of computing, p.114-118, May 01-03, 1978, San Diego, California, United States [doi>10.1145/800133.804339]
	10	Fra.~ss~., R. Sur quelques cl~tssifica.tions des systbmes de rela. tions Publ. Sci. Univ. Alger Se.'r A i, pp. 35-82, 1954.
	11	Gaifm~tn, II., Maher, M.J., a. nd Sha. piro, E., Rea.ctive Beha.vior Sema. ntics for Concurrent Constra.ints Logic Programs, in Lusk, E.L., a. nd Overbeek, E. (eds.), Proceedings of the 1989 North, American Conference on Logic Programming, pp. 553-572, MiT Press, 1989.
	12	Ga.ifm~n, H., Maher, M.J., a.nd Shapiro, E., Full a. bstr~ction for Asynchronous Concur~ rency, in prepa.ra, tion.
	13	Ichiyoshi, N., Miy~za.ki, T., and Taki, K., A dsitributed implementa, tion of Fl~t GIIC on the Multi-PSI, in La.ssez, J.-L. (ed.), Proc. 4th Int. Conf. on Logic Programming, pp.257-275, MI'}? Press, 1987.
	14	Alon Kleinman , Yoram Moses , Ehud Shapiro, Distributed variable server for atomic unification, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.59-74, August 22-24, 1990, Quebec City, Quebec, Canada [doi>10.1145/93385.93401]
	15	T. J. LeBlanc , J. M. Mellor-Crummey, Debugging parallel programs with instant replay, IEEE Transactions on Computers, v.36 n.4, p.471-482, April 1987 [doi>10.1109/TC.1987.1676929]
	16	Kai Li, Shared virtual memory on loosely coupled multiprocessors, 1986
	17	K. Li , J. F. Naughton , J. S. Plank, Real-time, concurrent checkpoint for parallel programs, Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, p.79-88, March 14-16, 1990, Seattle, Washington, United States
	18	Lynch, N.A., a.nd Fischer, M.J., On describing the behavior a, nd implementation of distributed systems, Theoretical Computer Science 13,pp.17-43, 1981.
	19	Nancy A. Lynch , Mark R. Tuttle, Hierarchical correctness proofs for distributed algorithms, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.137-151, August 10-12, 1987, Vancouver, British Columbia, Canada [doi>10.1145/41840.41852]
	20	Maher, M.J., Logic sema. ntics for a. class of committed-choice programs, in La.ssez, j.- L. (ed.), Proc. 4th International Conference on Logic Programming, 858--876, MIT Press, 1987.
	21	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]
	22	R. Milner, A Calculus of Communicating Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 1982
	23	Sa.rasw~tt, V.A., A somewha, t logica.1 formulation of CLP synchronization primitives, in Bowen, K., and KowMski, R.A. (eds.), Proc. 5th International Conference Symposium on Logic Programming, 1298-1314, MIT Press, 1988.
	24	Vijay A. Saraswat , Martin Rinard, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.232-245, December 1989, San Francisco, California, United States [doi>10.1145/96709.96733]
	25	Vijay Anand Saraswat , Dana S. Scott, Concurrent constraint programming languages, 1989
	26	Vijay A. Saraswat , Kenneth Kahn , David Weinbaum, Detecting stable properties of networks in concurrent logic programming languages, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.210-222, August 15-17, 1988, Toronto, Ontario, Canada [doi>10.1145/62546.62582]
	27	Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989 [doi>10.1145/72551.72555]
	28	Ehud Shapiro, Separating concurrent languages with categories of language embeddings, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.198-208, May 05-08, 1991, New Orleans, Louisiana, United States [doi>10.1145/103418.103423]
	29	W. Silverman , M. Hirsch , A. Houri , E. Shapiro, The Logix system user manual version 1.21, Concurrent Prolog: collected papers, MIT Press, Cambridge, MA, 1988
	30	A. P. Sistla , J. L. Welch, Efficient distributed recovery using message logging, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.223-238, June 1989, Edmonton, Alberta, Canada [doi>10.1145/72981.72997]
	31	Rob Strom , Shaula Yemini, Optimistic recovery in distributed systems, ACM Transactions on Computer Systems (TOCS), v.3 n.3, p.204-226, Aug. 1985 [doi>10.1145/3959.3962]
	32	Stephen Taylor, Parallel logic programming techniques, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	33	Stephen Taylor , Shmuel Safra , Ehud Shapiro, A parallel implementation of flat concurrent prolog, International Journal of Parallel Programming, v.15 n.3, p.245-275, June 1986 [doi>10.1007/BF01414556]
	34	Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988

CITED BY 2

	Yaron Goldberg , Marilyn Safran , Ehud Shapiro, Active mail—a framework for implementing groupware, Proceedings of the 1992 ACM conference on Computer-supported cooperative work, p.75-83, November 01-04, 1992, Toronto, Ontario, Canada
	Joseph Slember , Priya Narasimhan, Living with nondeterminism in replicated middleware applications, Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware, November 01-01, 2006, Melbourne, Australia