Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/6094
Title: Process Membership in Asynchronous Environments
Authors: Ricciardi, Aleta M.
Birman, Kenneth P.
Keywords: computer science
technical report
Issue Date: Feb-1993
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR93-1328
Abstract: The development of reliable distributed software is simplified by the ability to assume a fail-stop failure model. We discuss the emulation of such a model in an asynchronous distributed environment. The solution we propose, called Strong-GMP, can be supported through a highly efficient protocol, and has been implemented as part of a distributed systems software project at Cornell University. Here, we focus on the precise definition of the problem, the protocol, correctness proofs and an analysis of costs. Keywords: Asynchronous computation; Fault detection; Process membership; Fault tolerance; Process group.
URI: http://hdl.handle.net/1813/6094
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
93-1328.pdf3.4 MBAdobe PDFView/Open
93-1328.ps734.34 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us