Исходное сообщение
"SpaceX использует Linux и обычные x86-процессоры в Falcon 9" Отправлено Совершенно другой аноним, 04-Июн-20 12:12
> Проблема в том, что три копии программы с багом выдадут три одинаковых результата и все ок. Ну, как-бы, не обязательно, что там три одинаковых копии программы. Есть такая вещь, как диверсность - можно поручить написать одну и ту-же программу нескольким коллективам программистов - вероятность того, что у них совпадут ошибки в одном и том-же месте, всё-таки очень мала. Соответственно на одном компьютере запускается версия от одного коллектива, на втором - от второго, ну а на третьем - от третьего. > А от железных отказов это слегка спасает (при условии, что мажоритарная логика сама не сломается). Мажоритарная логика обычно на порядок проще всей верхней логики. Так-что там, обычно, и ломаться нечему. Например, какой-нибудь 2 из 3. > Но вот вероятность отказа железа нынче несколько меньше, вероятности ошибок в коде. Если учесть, что внутри железа уже давно есть разные там микроконтроллеры со своим встроенным ПО, то всё уже выглядит не так однозначно.