By Topic

On the Respective Power of /spl Lozenge/P and /spl Lozenge/S to Solve One-Shot Agreement Problems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Friedman, R. ; IEEE Computer Society ; Mostefaoui, Achour ; Raynal, M.

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 /spl Lozenge/P (eventually perfect) and /spl Lozenge/S (eventually strong). Both classes include failure detectors that eventually detect permanently all process crashes, but while the failure detectors of /spl Lozenge/P eventually make no erroneous suspicions, the failure detectors of /spl Lozenge/S 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 /spl Lozenge/P, but cannot be solved when those systems are augmented with /spl Lozenge/S ?" Surprisingly, the paper shows that the answer to this question is "no." An important consequence of this result is that /spl Lozenge/P cannot be the weakest class of failure detectors that enables solving one-shot agreement problems in unreliable asynchronous distributed systems.

Published in:

Parallel and Distributed Systems, IEEE Transactions on  (Volume:18 ,  Issue: 5 )