12.5.1 Double and triple modular re

12.5.1 Double and triple modular redundancy
Consider a process B that receives an input value x, computes the function y = f(x), and sends it to process C. If B crashes, then C does not receive the value of y. To mask the effect of B’s crash, replace process B by a pair of replicas B0 and B1 (Figure 12.2a)—such a system can tolerate a single crash. With n such replicas (n > 1) of B, it is possible to tolerate the crash of m replicas, where m ≤ n − 1.
Extending this idea, if there are three replicas of B (Figure 12.2b) and any one of them malfunctions (this includes not only crash but also arbitrary failures), then process C will receive the correct value of y = f(x) since the majority voting unit V will vote out the bad value. This is the basic idea of TMR. A generalization of this approach is n-modular redundancy that masks m arbitrary failures, where n ≥ 2m + 1.
Can the unit that computes the majority vote also fail? Yes. However, the voting unit is considered to be a logical part of C. If C fails, then the result of the vote does not matter.

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

12.5.1 двойной и тройной Модульная избыточностьРассмотрим процесс B, который получает входное значение x, вычисляет функцию y = / (х) и отправляет его в процесс C. Если B, C не получает значение y. Чтобы замаскировать эффект B аварии, заменить процесс B пара реплик B0 и B1 (рис. 12.2a) — такая система может мириться с одной аварии. С n таких реплик (n > 1) B, это можно терпеть аварии реплики m, где m ≤ n − 1.Расширяя эту идею, если есть три реплики B (рис. 12.2b) и любой из них неисправностей (это включает не только аварии, но и произвольные сбои), то процесс C получит правильное значение y = / (х), поскольку большинство голосов группа V будет голосовать, недопустимое значение. Это основная идея TMR. Обобщение этого подхода является n Модульная избыточность, что маски m произвольные сбои, где n ≥ 2 m + 1.Подразделение, которое вычисляет большинство голосов также может завершаться неудачей? Да. Однако Группа голосования считается логической части с. Если C не удается, то результат голосования не имеет значения.

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

12.5.1 Двойная и тройная модульная избыточность
Рассмотрим процесс B , который принимает входное значение х, вычисляет функцию у = Р (х), и посылает его для обработки C. Если B происходит сбой, то C не получает значение у. Для маскирования эффекта аварии Б, заменяя строку B парой реплик B0 и B1 (рис 12.2a) -such система может допустить ни одного аварии. С п такие точные копии (п> 1) В, можно терпеть крах м репликах, где т ≤ п - 1.
Развивая эту идею, если есть три точные копии B (рис 12.2b) , и любой из их неисправности (это включает в себя не только аварии , но и произвольные отказы), то процесс C получит правильное значение у = f (х) , так как большинство участвующих в голосовании единицы V будет голосовать за плохое значение. Это основная идея TMR. Обобщение этого подхода является то, н-модульную избыточность, маскирующий м произвольные отказы, где N ≥ 2m + 1.
Может ли блок , который вычисляет большинство голосов также терпят неудачу? Да. Тем не менее, устройство для голосования считается логической частью C. Если C не удается, то результат голосования не имеет значения.

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

12.5.1 двойной и тройной модульный.рассмотреть процесс B, которая получает материалы стоимостью X, рассчитывает функция y = f (x), и направляет его в процесс с. если б дорожно - транспортных происшествий, то с, не получают стоимость и, чтобы скрыть последствия в аварии, заменить процесс в паре модели B0 и в1 (рис. 12.2a) - такая система может быть одной аварии.n такие модели (n > 1) b, можно терпеть крах м модели, где м и ≤ n - 1.распространение этой идеей, если есть три модели B (рис. 12.2b) и любого из них неисправностей (это включает в себя не только аварии, но и произвольных неудачи), то процесс с получит правильное значение y = f (x), поскольку большинство голосов группа V будет голосовать за плохой ценности.это основная идея пмр.обобщение такого подхода заключается в n-modular резервирования, что маски м произвольных неудачи, где n ≥ 2 + 1.может, группа, что вычисляет голосов также не?да.однако голосование группы считается неотъемлемой частью с. если с неудачным, то результаты голосования не имеет.