In an asynchronous model, crash fai

In an asynchronous model, crash failures cannot be detected with total certainty, since there is no lower bound of the speed at which a process can execute its actions. The design of systems tolerating crash failures would have been greatly simplified if processes could correctly detect whether another process has crashed. In a synchronous system where processor speeds and channel delays are bounded, crash failure can be detected using timeout. One such implementation requires processes to periodically broadcast a heart- beat signal that signifies I am alive. When other correct processes fail to receive the heartbeat signal within a predefined timeout period, they conclude that the process has crashed.
In general, internal failures within a processor may not lead to a nice version of a faulty behavior—it can sometimes be quite messy. Since most fault-tolerant algorithms are designed to handle crash failures only, it would have been nice if any arbitrary internal fault within a processor could be transformed to a crash failure (by incorporating extra hardware and/or software in the processor box). This is the motivation behind the more benign model of fail-stop processors. A fail-stop processor has two properties: (1) it halts program execution when a failure occurs, and (2) the internal state of the volatile storage is irretrievably lost. Schlichting and Schneider [SS83] described an implementation of a k-fail- stop processor—it satisfies the fail-stop properties with high probability when k or fewer faults occur, and the system can detect when another fail-stop processor halts. Fail-stop is a simple abstraction meant for simplifying the design of fault-tolerant algorithms. If a system cannot tolerate fail-stop failures, then there is no way that it can tolerate crash failures.

Результаты (русский) 2:

В асинхронной модели, краш неудачи не могут быть обнаружены с полной уверенностью, так как не существует нижняя граница скорости , с которой процесс может выполнять свои действия. Конструкция неудач краш - систем терпимо бы значительно упростить , если процессы могли правильно определить ли разбился другой процесс. В синхронной системе , в которой скорость процессора и задержки канала ограничены, авария неисправность может быть обнаружена с помощью тайм - аута. Одним из таких процессов реализация требует , чтобы периодически транслировать Heart- сигнал биений , что означает , я жив. Когда другие правильные процессы не в состоянии получить сигнал пульса в течение заданного периода времени, они приходят к выводу , что процесс вышел из строя.
В целом, внутренние сбои в процессоре не может привести к хорошей версии ошибочного поведения, иногда это может быть довольно грязно , Так как большинство алгоритмов отказоустойчивые предназначены для обработки только неудачи аварии, было бы хорошо , если любая произвольная внутренняя ошибка в процессоре может быть преобразована к провалу аварии (путем включения дополнительных аппаратных средств и / или программного обеспечения в окне процессора). Это обстоятельство нашло отражение в более доброкачественной модели терпят неудачу-стоп процессоров. Неисправностью-стоп процессор имеет два свойства: (1) она останавливает выполнение программы , когда происходит сбой, и (2) внутреннее состояние энергонезависимой памяти безвозвратно утеряны. Шлихтинга и Шнайдер [SS83] описали реализацию к-fail- остановки процессора он удовлетворяет Fail-стоп свойства с высокой вероятностью , когда к или меньше из-за неисправности, и система может обнаружить , когда другой сбой-стоп процессор останавливается. Аварийный останов простая абстракция предназначена для упрощения конструкции отказоустойчивых алгоритмов. Если система не может терпеть неудачу-стоп неудачи, то нет никакого способа , которым он может терпеть неудачи аварии.