ПО для SpaceX разработано на С++

и только при совпадении на всех трёх узлах команда принимается микроконтроллером, управляющим двигателями и решётчатыми рулями.

Т.е. если один компьютер из трех начал дурковать, то вся система уходит в отказ, т.к. микроконтроллер перестает принимать команды?

Надежненько. :)

… и все крики о его скорой смерти - пузыри в лужу.

Вежливо /«Гусарам молчать»/.

В очередной раз оказалось, что С++ активно используется в новейших перспективных разработках и все крики о его скорой смерти - пузыри в лужу.

Новейших? Я подозреваю, что это ПО начало писаться задолго до выхода раста, например. Думаю мы еще услышим новость о переписывании на него.

А свистоперделки на js и chromium. Это вам не платежные терминалы, а космические технологии

и только при совпадении на всех трёх узлах команда принимается микроконтроллером

Ты точно ничего не напутал? Надежность такой системы ещё меньше, чем надежность системы с одним узлом. Обычно при троировании результат выбирается по мажоритарному принципу, и тогда система выдерживает выход из строя одного дублирующего узла.

По теме, что C++ - боян. Лет 5 назад было то ли интервью, то ли какие-то ответы в инете, и тема плюсов в SpaceX была обозначена.

До первого падения ракеты. Потом вертухай с флаконом все перепишут на руст вместе с электроноподелкой.

Почитайте https://ru.wikipedia.org/wiki/Controller_Area_Network#Контроль_ошибок

А ещё там электрон.

Ага! Вот почему они так часто бахают:)

… бахают:)

… бухают?

Где там про дублирование? Как арбитраж в CAN происходит и так ясно.

там система мажорирования «два из трех»

Не, бухают в роскосмосе, тут видимо больше всё же курят.

Еще бы не на плюсах. А то вместо запуска двигателя, запустится мусоросборник :D

Где там про дублирование?

Lzzz знает.
Раз открыла тред - должна знать.

Это поэтому столько неудачных стартов? )))

Ну что, рацонализм поставил на место продажных забюрократизированных космических авиаторов на место.

по теме, ничего удивительного, можно было конечно вообще на ассемблере бахнуть, но чет лениво. 3 раза вычислять это надо шобы побыстрее делалось, тут не место каким-то другим языкам.

Даже я, непрогроммист ни разу, знаю, что С++ это академически и индустриально выверенный ужос, который, по заветам Страустурпа, можно поддерживать десятилетиями.

раст

Тогда придется все ступени на Землю возвращать, иначе борроу чекер не пропустит.

Интересно, архитектурно у них все три машины для резервирования разные, или же все одного производителя? Логично было бы брать разные, на случай если есть аппаратная ошибка в одной из них которая будет давать неверные вычисления. Потому как если брать одного, то они просто будут совпадать в своей ложности, проходить эту тройную проверку просто все выдавая неверный результат и очередная ракета упадет.

Три дублирующих

Три

дублирующих

А если по делу, то про смерть плюсов орут только поехавшие растофанбои.

Ракета упадёт скорее не из-за компов, а по другим причинам.

А если по делу, то про смерть плюсов орут только поехавшие растофанбои.

Это уже свершившийся факт! Вы ничего не понимаите. Сейчас на русте перепишут v8 с graalvm и они будет работать быстрее си, жрать памяти меньше в 3 раза, а главное всё safe.

3 раза вычислять это надо шобы побыстрее делалось

Ты думаешь что три компьютера работают последовательно?

все крики о его скорой смерти - пузыри в лужу

да это любому адекватному человеку понятно, не новость нисколько...

А если по делу, то про смерть плюсов орут только поехавшие растофанбои.

Они все дураки.
@metaprog разработка безошибочна.
Один только изъян - плохо решает квадратное уравнение.

про смерть плюсов орут только поехавшие растофанбои

Не только, в нулевые это было ясно почти всем. Потом всё поменялось, но некоторые так и остались в танке.

А если по делу, то про смерть плюсов орут только поехавшие растофанбои.

Зато питонщики плюсы в обиду не дадут.

С++ это академически и индустриально выверенный ужос

Академически это был ещё не ужас. А вот когда начиная с C++11 туда начали пихать элементы функциональщины, он просто в полнейшую кашу превратился, в которой нет никакого резона даже разбираться.

Я думаю что три вычисления это еще три вычисления, в любом случае. Ну и скорее всего идеальной синхронизации и завершения вычислений там нет, а выдавать результат надо выдавать чем быстрее тем лучше, это все-таки ракета, а не какие-то вялотекущие расчеты результаты которых нужны когда-то потом. Хотя спорить на счет последнего не буду, из ОП поста непонятно что это за вычисления.

надо шобы побыстрее делалось

Поэтому для скорости используют процессоры из прошлого века - 386sx.

Есть пруфы?

Я пользуюсь самоподписанными сертификатами.

Про NASA что-то похожее слышал, но это же не NASA не уж то тоже с гаража поприносили свои вычислительные мощности?

вот когда начиная с C++11 туда начали пихать элементы функциональщины, он просто в полнейшую кашу превратился, в которой нет никакого резона даже разбираться.

Только вот код стал компактнее и понятнее.

Поэтому для скорости используют процессоры из прошлого века - 386sx.

три дублирующие друг друга компьютера на базе обычных двухъядерных процессоров семейства x86.

Жгутик порвался

Передовая технология запуска ракет - батут.
Можно еще в рогатку зарядить.

А рогатку сделать из жгутиков метапрога?

Странно, что не Common Lisp.

двухъядерные семейства x86 это уже получше, но все еще не пруф от spacex. Вообще почему такая уверенность что вычисления производятся исключительно на cpu, но например не на gpu?

При несовпадении результата пересчитывается всеми по новой.

Летела ракета Упала в болото Жгутик порвался Во время полета

Девочка в клуб играться пошла,
В клубе она Метапрог нашла
"дерни жгутик" - ей компьютер сказал...
Долго над клубом бантик летал.

тогда бы пришлось как завещал лавсан делать ублюбочные вставки на С или ассемблере в божественный общелисп.

Вообще почему такая уверенность что вычисления производятся исключительно на cpu, но например не на gpu?

А что там на gpu то считать?! Там все просто как табуретка, основная проблема не в производительности а в надежности.

Странно, что не Common Lisp.

Странно, что не Ada

так это на применимость в принципе никак не влияет, главное что способно считать.

При несовпадении результата пересчитывается всеми по новой.

Нафиг тут троирование? Берешь один процессор, и на нем пересчитываешь до усрачки.

как раз на случай того что какая-то из трех систем может оказаться подверженной ошибкам. На одной и той же оно просто будет получать из раза в раз один и тот же неверный результат.