Using process groups to implement failure detection in asynchronous environments

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Using process groups to implement failure detection in asynchronous environments

Full text

Pdf (1.01 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: 341 - 353

Year of Publication: 1991

ISBN:0-89791-439-2

Authors

Aleta M. Ricciardi	Cornell University, Department of Computer Science, Ithaca, NY
Kenneth P. Birman	Cornell University, Department of Computer Science, Ithaca, NY

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): 11, Downloads (12 Months): 50, Citation Count: 34

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.112628 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	Amr El Abbadi , Sam Toueg, Availability in partitioned replicated databases, Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, p.240-251, March 24-26, 1986, Cambridge, Massachusetts, United States [doi>10.1145/6012.15418]
	2	Philip A. Bernstein , Vassco Hadzilacos , Nathan Goodman, Concurrency control and recovery in database systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
	3	K. Birman , T. Joseph, Exploiting virtual synchrony in distributed systems, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.123-138, November 08-11, 1987, Austin, Texas, United States
	4	Kenneth P. Birman , Thomas A. Joseph, Reliable communication in the presence of failures, ACM Transactions on Computer Systems (TOCS), v.5 n.1, p.47-76, Feb. 1987 [doi>10.1145/7351.7478]
	5	S. A. Bruso. A Failure Detection and Notification Protocol for Distributed Computing Systems. In Proceedings of the IEEE 5th International Conference On Distributed Computing Systems, pages 116-123, May 1985.
	6	Jo-Mei Chang , N. F. Maxemchuk, Reliable broadcast protocols, ACM Transactions on Computer Systems (TOCS), v.2 n.3, p.251-273, Aug. 1984 [doi>10.1145/989.357400]
	7	B. A. Coan and O. Thomas. Agreeing on a Leader in Real-Time. In Proceedings of the 11 th Real-Time Systems Sumposium, pages 166-172, December 1990.
	8	F. Cristian. Reaching Agreement on Processor Group Memberhsip in Synchronous Distributed Systems. Technical Report RJ 5964, IBM Almaden Research Center, August 1990. Revised from March, 1988.
	9	Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Consensus in the presence of partial synchrony, Journal of the ACM (JACM), v.35 n.2, p.288-323, April 1988 [doi>10.1145/42282.42283]
	10	Michael J. Fischer , Nancy A. Lynch , Michael S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM (JACM), v.32 n.2, p.374-382, April 1985 [doi>10.1145/3149.214121]
	11	Joseph Y. Halpern , Yoram Moses, Knowledge and common knowledge in a distributed environment, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.50-61, August 27-29, 1984, Vancouver, British Columbia, Canada [doi>10.1145/800222.806735]
	12	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]
	13	K. Marzullo. Personal Communication. January, 1991.
	14	K. Marzullo, K. B irman, R. Cooper, and M. Wood. Tools for Distributed Application Management. Techtfical Report TR 90-1136, Cornell University, June 1990.
	15	S. Mishra, L. L. Peterson, and R. D. Schlichting. A Membership Protocol Based on Partial Order. Technical report, University of Arizona, 1990.
	16	L. E. Moser, P. M. Melliar-Smith, and V. Agrawala. Processor Membership in Asynchronous Distributed Systems. University of California at Santa Barbara, Extended Abstract, 1990.
	17	Praskash Panangaden , Kim Taylor, Concurrent common knowledge: a new definition of agreement for asynchronous systems, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.197-209, August 15-17, 1988, Toronto, Ontario, Canada [doi>10.1145/62546.62579]
	18	A. Ricciardi. Completeness of a Tense Logic for Asynchronous Systems. In Proceedings of the 1990 International Conference of Computer Science Logic, 1990. Heidelberg, Germany.
	19	A. Ricciardi and K. Birman and, Failure Detection in Asynchronous Environments. Technical report, Cornell University, 1990.
	20	A. Siegel, K. Birman, and K. Marzullo. Deceit: A Flexible Distributed File System. In Summer 1990 USENiX Conference, pages 51-61, Anaheim, CA, June 1990. USENIX Association.
	21	Dale Skeen, Determining the last process to fail, ACM Transactions on Computer Systems (TOCS), v.3 n.1, p.15-30, Feb. 1985 [doi>10.1145/214451.214453]
	22	M.D. Skeen. Crash Recovery in a Distributed Database System. PhD thesis, University of California at Berkeley, May 1982.

CITED BY 34

	J. Chapin , M. Rosenblum , S. Devine , T. Lahiri , D. Teodosiu , A. Gupta, Hive: fault containment for shared-memory multiprocessors, ACM SIGOPS Operating Systems Review, v.29 n.5, p.12-25, Dec. 3, 1995
	Gil Neiger, A new look at membership services (extended abstract), Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.331-340, May 23-26, 1996, Philadelphia, Pennsylvania, United States
	Michael K. Reiter , Aviel D. Rubin, Crowds: anonymity for Web transactions, ACM Transactions on Information and System Security (TISSEC), v.1 n.1, p.66-92, Nov. 1998
	Kenneth P. Birman, The process group approach to reliable distributed computing, Communications of the ACM, v.36 n.12, p.37-53, Dec. 1993
	Tushar Deepak Chandra , Vassos Hadzilacos , Sam Toueg, The weakest failure detector for solving consensus, Journal of the ACM (JACM), v.43 n.4, p.685-722, July 1996
	Tushar Deepak Chandra , Sam Toueg, Unreliable failure detectors for asynchronous systems (preliminary version), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.325-340, August 19-21, 1991, Montreal, Quebec, Canada
	Tushar Deepak Chandra , Vassos Hadzilacos , Sam Toueg, The weakest failure detector for solving consensus, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.147-158, August 10-12, 1992, Vancouver, British Columbia, Canada
	Thomas E. Anderson , Michael D. Dahlin , Jeanna M. Neefe , David A. Patterson , Drew S. Roselli , Randolph Y. Wang, Serverless network file systems, ACM Transactions on Computer Systems (TOCS), v.14 n.1, p.41-79, Feb. 1996
	Danny Dolev , Idit Keidar , Esti Yeger Lotem, Dynamic voting for consistent primary components, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.63-71, August 21-24, 1997, Santa Barbara, California, United States
	Gil Neiger, Failure detectors and the wait-free hierarchy (extended abstract), Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.100-109, August 20-23, 1995, Ottowa, Ontario, Canada
	Marc Waldman , David Mazières, Tangler: a censorship-resistant publishing system based on document entanglements, Proceedings of the 8th ACM conference on Computer and Communications Security, November 05-08, 2001, Philadelphia, PA, USA
	Tushar Deepak Chandra , Sam Toueg, Unreliable failure detectors for reliable distributed systems, Journal of the ACM (JACM), v.43 n.2, p.225-267, March 1996
	Tushar Deepak Chandra , Vassos Hadzilacos , Sam Toueg , Bernadette Charron-Bost, On the impossibility of group membership, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.322-330, May 23-26, 1996, Philadelphia, Pennsylvania, United States
	Woei-Jiunn Tsaur , Shi-Jinn Horng, Auditing Causal Relationships of Group Multicast Communications in Group-Oriented Distributed Systems, The Journal of Supercomputing, v.18 n.1, p.25-45, Jan. 2001
	Idit Keidar , Jeremy Sussman , Keith Marzullo , Danny Dolev, Moshe: A group membership service for WANs, ACM Transactions on Computer Systems (TOCS), v.20 n.3, p.191-238, August 2002
	L. E. Moser , P. M. Melliar-Smith , V. Agrawala, Processor Membership in Asynchronous Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.5 n.5, p.459-473, May 1994
	Andre Schiper , Sam Toueg, From Set Membership to Group Membership: A Separation of Concerns, IEEE Transactions on Dependable and Secure Computing, v.3 n.1, p.2, January 2006
	Gregory V. Chockler , Idid Keidar , Roman Vitenberg, Group communication specifications: a comprehensive study, ACM Computing Surveys (CSUR), v.33 n.4, p.427-469, December 2001
	Jeremy Sussman , Keith Marzullo, The Bancomat problem: an example of resource allocation in a partitionable asynchronous system, Theoretical Computer Science, v.291 n.1, p.103-131, 4 January 2003
	Alberto Bartoli, Implementing a replicated service with group communication, Journal of Systems Architecture: the EUROMICRO Journal, v.50 n.8, p.493-519, August 2004
	Aleta M. Ricciardi, Practical utility of knowledge-based analyses: optimizations and optimality for an implementation of asynchronous, fail-stop processes (extended abstract), Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge, p.15-28, March 22-25, 1992, Monterey, California
	Rachid Guerraoui , André Schiper, Software-Based Replication for Fault Tolerance, Computer, v.30 n.4, p.68-74, April 1997
	Rachid Guerraoui , André Schiper, The Generic Consensus Service, IEEE Transactions on Software Engineering, v.27 n.1, p.29-41, January 2001
	Özalp Babaoglu , Renzo Davoli , Alberto Montresor, Group Communication in Partitionable Systems: Specification and Algorithms, IEEE Transactions on Software Engineering, v.27 n.4, p.308-336, April 2001
	Michael K. Reiter, A Secure Group Membership Protocol, IEEE Transactions on Software Engineering, v.22 n.1, p.31-42, January 1996
	Kenneth P. Birman , Bradford B. Glade, Reliability Through Consistency, IEEE Software, v.12 n.3, p.29-41, May 1995
	Haifeng Yu , Amin Vahdat, Consistent and automatic replica regeneration, ACM Transactions on Storage (TOS), v.1 n.1, p.3-37, February 2005
	Massimo Franceschetti , Jehoshua Bruck, A Group Membership Algorithm with a Practical Specification, IEEE Transactions on Parallel and Distributed Systems, v.12 n.11, p.1190-1200, November 2001
	Robbert van Renesse , Robert Cooper , Bradford Glade , Patrick Stephenson, A RISC approach to process groups, Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, September 21-23, 1992, Mont Saint-Michel, France
	Matti A. Hiltunen , Richard D. Schlichting, A Configurable Membership Service, IEEE Transactions on Computers, v.47 n.5, p.573-586, May 1998
	Danny Dolev, Century papers at the first quarter-century milestone, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, p.3-4, July 23-26, 2006, Denver, Colorado, USA
	Haifeng Yu , Amin Vahdat, Consistent and automatic replica regeneration, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.24-24, March 29-31, 2004, San Francisco, California
	Özalp Babaoğlu , Renzo Davoli , Alberto Montresor , Roberto Segala, System support for partition-aware network applications, ACM SIGOPS Operating Systems Review, v.32 n.1, p.41-56, Jan. 1998
	Yaacov Fernandess , Antonio Fernández , Maxime Monod, A generic theoretical framework for modeling gossip-based algorithms, ACM SIGOPS Operating Systems Review, v.41 n.5, October 2007