История изменений
Исправление future_anonymous, (текущая версия) :
Интересно, архитектурно у них все три машины для резервирования разные, или же все одного производителя? Логично было бы брать разные, на случай если есть аппаратная ошибка в одной из них которая будет давать неверные вычисления. Потому как если брать одного, то они просто будут совпадать в своей ложности, проходить эту тройную проверку просто все выдавая неверный результат и очередная ракета упадет.
Вот это очень правильный вопрос. Обычно в таких случаях стараются брать элементную базу от разных производителей. Если производитель уникален по каким-то причинам, то хотя бы из разных партий. Чтобы одну и ту же гайку закручивали разные рабочие в разное время суток в разном расположении духа.
И даже более того. Софт, реализующий алгоритмы управления, на всех резервированных вычислителях должен быть писан разными людьми. Чтобы в этом софте были разные баги, срабатывающие в разных ситуациях.
Без проработки вопросов независимости отказов глупо умножать вероятности и верить, что эти 10^{-11} имеют хоть какое-то отношение к реальности.
P.S. Милый лор. Этот тред полон необоснованной агрессии, low-effort discussion и просто желчи. Не, лор в этом никогда не являлся примером ещё со времён ВСЛ. Но конкретно тут просто жесть какая-то.
Исправление future_anonymous, :
Интересно, архитектурно у них все три машины для резервирования разные, или же все одного производителя? Логично было бы брать разные, на случай если есть аппаратная ошибка в одной из них которая будет давать неверные вычисления. Потому как если брать одного, то они просто будут совпадать в своей ложности, проходить эту тройную проверку просто все выдавая неверный результат и очередная ракета упадет.
Вот это очень правильный вопрос. Обычно в таких случаях стараются брать элементную базу от разных производителей. Если производитель уникален по каким-то причинам, то хотя бы из разных партий. Чтобы одну и ту же гайку закручивали разные рабочие в разное время суток в разном расположении духа.
И даже более того. Софт, реализующий алгоритмы управления, на всех резервированных вычислителях должен быть писан разными людьми. Чтобы в этом софте были разные баги, работающие в разное время.
Без проработки вопросов независимости отказов глупо умножать вероятности и верить, что эти 10^{-11} имеют хоть какое-то отношение к реальности.
P.S. Милый лор. Этот тред полон необоснованной агрессии, low-effort discussion и просто желчи. Не, лор в этом никогда не являлся примером ещё со времён ВСЛ. Но конкретно тут просто жесть какая-то.
Исходная версия future_anonymous, :
Интересно, архитектурно у них все три машины для резервирования разные, или же все одного производителя? Логично было бы брать разные, на случай если есть аппаратная ошибка в одной из них которая будет давать неверные вычисления. Потому как если брать одного, то они просто будут совпадать в своей ложности, проходить эту тройную проверку просто все выдавая неверный результат и очередная ракета упадет.
Вот это очень правильный вопрос. Обычно в таких случаях стараются брать элементную базу от разных производителей. Если производитель уникален по каким-то причинам, то хотя бы из разных партий. Чтобы одну и ту же гайку закручивали разные рабочие в разное время суток в разном расположении духа.
И даже более того. Софт, реализующий алгоритмы управления, на всех резервированных вычислителях должен быть писан разными людьми. Чтобы в этом софте были разные баги, работающие в разное время.
Без проработки вопросов независимости отказов глупо умножать вероятности и верить, что эти 10^{-11} имеют хоть какое-то отношение к реальности.
P.S. Милый лор. Этот тред полон необоснованной агрессии, low-effort discussion и просто желчи. Не, лор в этом никогда не являлся примером ещё во времён ВСЛ. Но конкретно тут просто жесть какая-то.