Byzantine generals in action
Fred B. Schneider · ACM Transactions on Computer Systems · 1984
A fail-stop processor halts instead of performing an erroneous state transformation that might be visible to other processors, can detect whether another fail-stop processor has halted (due to a failure), and has a predefined portion of its storage that will remain unaffected by failures and accessible to any other fail-stop processor.Fail-stop processors can simplify the construction of fault-tolerant computing systems.In this paper, the problem of approximating fail-stop processors is discussed.Use of fail-stop processors is compared with the state machine approach, another general paradigm for constructing fault-tolerant systems.