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.

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

В асинхронной модели не обнаружены неполадки аварии с полной уверенностью, так как нет ни Нижняя граница скорости, на которой процесс может выполнять свои действия. Проектирование систем, терпят крах сбоев бы были значительно упрощены если процессы могли правильно определить, ли другой процесс вышел из строя. В синхронной системе, где ограниченной скорости процессора и канала задержки сбоя сбоя могут быть обнаружены с помощью времени ожидания. Одна из таких реализаций требует процессы, периодически транслировать удар сердца сигнал, что означает, что я жив. Когда другие правильные процессы не могут получить сигнал пульса в течение предопределенного времени ожидания периода, они заключают, что процесс вышел из строя.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-стоп свойства с высокой вероятностью , когда к или меньше из-за неисправности, и система может обнаружить , когда другой сбой-стоп процессор останавливается. Аварийный останов простая абстракция предназначена для упрощения конструкции отказоустойчивых алгоритмов. Если система не может терпеть неудачу-стоп неудачи, то нет никакого способа , которым он может терпеть неудачи аварии.