Failure detection is important and valuable for distributed computation. The concept of failure detector introduced by Chandra and Toueg simplifies the design and verification of fault-tolerant application. This theoretical mechanism makes the presentation of such application and its proof of correctness more modular. However, an obvious question is how to implement such a useful extension in the asynchronous system. This paper tries to summarise the knowledge about software failure detector protocols. By comparison of the design goals and specific assumptions we want to familiarize the reader with the problem of implementing the unreliable failure detector.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.