In this paper we present failure detectors that detect transient failures, i.e. corruption of the system state without corrupting the program of the procesors. We distinguish task which is the problem to solve, from implementation which is the algorithm that solve the problem. A task is specified as a desired output of the distributed system. The mechanism used to produce this output is not a concern of the task but a concern of the implementation.
展开▼
