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/6233
Title: Uniform Actions in Asynchronous Distributed Systems
Authors: Malki, Dalia
Birman, Kenneth P.
Ricciardi, Aleta M.
Schiper, Andre
Keywords: computer science
technical 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
94-1447.pdf338.23 kBAdobe PDFView/Open
94-1447.ps283.44 kBPostscriptView/Open

Refworks Export

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

 

© 2014 Cornell University Library Contact Us