2013 IEEE 33rd International Conference on Distributed Computing Systems (1999)

Austin, Texas

May 31, 1999 to June 4, 1999

ISBN: 0-7695-0222-9

pp: 0470

Frederic Tronel , IRISA, University of Rennes

Michel Raynal , IRISA, University of Rennes

Eddy Fromentin , IRISA, University of Rennes

ABSTRACT

This paper is on classes of problems encountered in asynchronous distributed systems in which processes can crash but links are reliable. The hardness of a problem is defined with respect to the difficulty to solve it despite failures: a problem is easy if it can be solved in presence of failures, otherwise it is hard. Three classes of problems are defined: F, NF and NFC. F is the class of easy problems, namely, those that can be solved in presence of failures (e.g., Reliable Broadcast). The class NF includes harder problems, namely, the ones that can be solved in a non faulty system (e.g., Consensus). The class NFC (NF-Complete) is a subset of NF that includes the problems that are the most difficult to solve in presence of failures. It is shown that the Terminating Reliable Broadcast problem, the Non-Blocking Atomic Commitment problem and the construction of a perfect failure detector (problem P) are equivalent problems and belong to NFC. Moreover, the Consensus problem is not in NFC. The paper presents a general reduction protocol that reduces any problem of NF to P. This shows that P is a problem that lies at the core of distributed fault-tolerance.

INDEX TERMS

Asynchronous Distributed Systems, Atomic Commitment, Broadcast Problems, Classes of Problems, Consensus, Failure Detectors, Fault-Tolerance, Reduction Protocol.

CITATION

Frederic Tronel,
Michel Raynal,
Eddy Fromentin,
"On Classes of Problems in Asynchronous Distributed Systems with Process Crashes",

*2013 IEEE 33rd International Conference on Distributed Computing Systems*, vol. 00, no. , pp. 0470, 1999, doi:10.1109/ICDCS.1999.776549