2013 IEEE 33rd International Conference on Distributed Computing Systems (1999)
May 31, 1999 to June 4, 1999
Frederic Tronel , IRISA, University of Rennes
Michel Raynal , IRISA, University of Rennes
Eddy Fromentin , IRISA, University of Rennes
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.
Asynchronous Distributed Systems, Atomic Commitment, Broadcast Problems, Classes of Problems, Consensus, Failure Detectors, Fault-Tolerance, Reduction Protocol.
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