DocumentCode :
1199483
Title :
[Inside front cover]
Author :
Friedman, R. ; Mostefaoui, A. ; Raynal, Michel
Author_Institution :
Dept. of Comput. Sci., Technion, Haifa
Volume :
18
Issue :
4
fYear :
2007
fDate :
4/1/2007 12:00:00 AM
Abstract :
Unreliable failure detectors are abstract devices that, when added to asynchronous distributed systems, enable solving distributed computing problems (e.g., consensus) that otherwise would be impossible to solve in these systems. This paper focuses on two classes of failure detectors defined by Chandra and Toueg, namely, the classes denoted diamP (eventually perfect) and diamS (eventually strong). Both classes include failure detectors that eventually detect permanently all process crashes, but while the failure detectors of diamP eventually make no erroneous suspicions, the failure detectors of diamS are only required to eventually not suspect a single correct process. Informally, in a one-shot agreement problem, a new problem instance is created each time the processes propose new values to be decided on (e.g., consensus is one-shot). In such a context, this paper addresses the following question related to the comparative power of these classes, namely: "Are there one-shot agreement problems that can be solved in asynchronous distributed systems with reliable links but prone to process crash failures augmented with op, but cannot be solved when those systems are augmented with diamS?" Surprisingly, the paper shows that the answer to this question is "no." An important consequence of this result is that diamP cannot be the weakest class of failure detectors that enables solving one-shot agreement problems in unreliable asynchronous distributed systems
Keywords :
computational complexity; distributed processing; fault tolerant computing; system recovery; asynchronous distributed systems; consensus problem; distributed computing problems; one-shot agreement problems; process crashes; unreliable failure detectors;
fLanguage :
English
Journal_Title :
Parallel and Distributed Systems, IEEE Transactions on
Publisher :
ieee
ISSN :
1045-9219
Type :
jour
DOI :
10.1109/TPDS.2007.1018
Filename :
4118685
Link To Document :
بازگشت