Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/6233
 Title: Uniform Actions in Asynchronous Distributed Systems Authors: Malki, DaliaBirman, Kenneth P.Ricciardi, Aleta M.Schiper, Andre Keywords: computer sciencetechnical report Issue Date: Sep-1994 Publisher: Cornell University Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR94-1447 Abstract: We develop necessary conditions for the development of asynchronous distributed software that will perform {\em uniform} actions (events that if performed by any process, must be performed at all processes). The paper focuses on {\em dynamic uniformity}, which differs from the classical problems in that processes continually leave and join the ongoing computation. Here, we first treat a static version of the problem (lacking joins), and then extend the results so obtained to also include joins. Our results demonstrate that in contrast to Consensus, which cannot be solved in asynchronous systems with even a single faulty process, dynamic uniformity can be solved using a failure detection mechanism that makes bounded numbers of mistakes. Because dynamic uniformity arises in systems that maintain safety within a "primary partition" of a network, our paper provides a rigorous characterization of the framework upon which several existing distributed programming environments are based. URI: http://hdl.handle.net/1813/6233 Appears in Collections: Computer Science Technical Reports

Files in This Item:

File Description SizeFormat