Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast
Permanent Link(s)
Collections
Author
Aguilera, Marcos Kawazoe
Toueg, Sam
Deianov, Borislav
Abstract
Uniform Reliable Broadcast (URB) is a communication primitive that requires that if a process delivers a message, then all correct processes also deliver this message. A recent PODC paper [HR99] uses Knowledge Theory to determine what failure detectors are necessary to implement this primitive in asynchronous systems with process crashes and lossy links that are fair. In this paper, we revisit this problem using a different approach, and provide a result that is simpler, more intuitive, and, in a precise sense, more general.
Date Issued
1999-04
Publisher
Cornell University
Keywords
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR99-1741
Type
technical report