LINUX.ORG.RU
ФорумTalks

Софт на ракетах

 , ,


0

1

Я тут загуглил, и оказалось, что внутри Falcon9 стоит Linux. Так что внезапно все эти скучнейшие жонглирования «туда и обратно» оказались онтопиком. И даже больше:

“We use C++ for all vehicle control systems, Python for tools, testing and automation, and Javascript/HTML/CSS for our displays.”

А еще все это работает на паре x86 процессоров.

https://thenewstack.io/the-hardware-and-software-used-in-space/

И вот, представьте, что выйдет очередная ракета, и на ней полетят на Марс люди. Вы бы доверили доставку своей ценной персоны на 54млн км системе, которую любой драйвер может ввести в состояние комы, в которой используются, с одной стороны, технологии монолитного ядра времен юности вашей матери/бабушки/прабабушки, а с другой - те же технологии, что в компе балбеса-игруна, который в крайнем случае может перезагрузить систему или переустановить виндоус? И софту на самых небезопасных ЯП? К тому же, наверняка там кодовая база с бородой, и более безопасные фичи новых стандартов просто не используются.

Как можно на таком ширпотребе что-то серьезное делать…

★★★★★

помимо софта там есть еще множество физических устройств, которые и определяют надежность в первую очередь

vaddd ★★ ()

Я думаю надеется на надежность модуля – это глупость. Главное чтобы было дублирование и отказ одного модуля не вызывал сбой всей системы.

Im_not_a_robot ★★★★★ ()
Ответ на: комментарий от quickquest

Вот у тебя резервированная система, и вот у тебя софт сбоит в определенных условиях (софт, а не резервированное железо). Переключился ты на резервную копию железа, а условия-то те же самые, и на копии произойдет тот же облом.

seiken ★★★★★ ()
Ответ на: комментарий от seiken

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

(стандартный глюк программистов, связанный с ограниченным восприятием мира - уверенность, что все в основном зависит от софта)

vaddd ★★ ()
Ответ на: комментарий от vaddd

отлаженный софт в узкой задаче проработает бесконечно долго

ну да, и закончит сессию в кернел панике :)

seiken ★★★★★ ()
Ответ на: комментарий от quickquest
  1. Сообщить второму пилоту о возникновении проблемы
  1. Найти в руководстве описание возникшей ситуации и произнести Checked
  1. Выполнить инструкцию

fixed

Shulman ()
Ответ на: комментарий от seiken

откуда взяться кернел панику если на этом компе крутятся полторы задачи и на нем никто не экспериментирует, не обновляет, не серфит в интернете, не играет в игры? а вот из-за скачка электричества, остановки вентилятора, выхода из строя хардидска - запросто

vaddd ★★ ()
Ответ на: комментарий от quickquest

Сообщить: «Хьюстон, у нас проблемы!»

А у них тоже линукс перестал загружаться %)

MOPKOBKA ()

У тебя браузер не отваливается каждую секунду, нет? Ты весь день сидишь, пишешь на лорчик, смотришь ютуб, вместо того, чтобы работать, и ничего, браузер не подох, ядро не свалилось в панику. Вот и на ракете электроноподелка точно также будет выполнять свои функции и вызывать нативный код. А что ты там хотел? Поделку на руст, чтобы оутсорсеры обосрались в нём с unsafe?

crutch_master ★★★★★ ()
Последнее исправление: crutch_master (всего исправлений: 1)

Полностью согласен. Там должен быть RTOS QNX, а так это детские шалости. А вообще это попадает под «преступную халатность». Но в нашем мире, пока не упадёт по причине софта, не будут разбираться, к сожалению...

xwicked ★★ ()
Ответ на: комментарий от xwicked

еще один программист в шорах…. дажа самая широпотребовская ос на многие порядки надежнее миллионов греющихся, гнущихся, трущихся и трясущихся физически существующих деталек

vaddd ★★ ()
Ответ на: комментарий от vaddd

Официальное расследование Европейского космического агентства (ЕКА) показало, что марсианский лендер Schiaparelli упал из-за грубой ошибки в программном обеспечении.
Посадка лендера прошла неудачно – его ПО решило, что модуль уже приземлился.
Это заставило «Скиапарелли» отключить двигатели всего через 3-4 секунды после их включения. В результате он рухнул с высоты в 3-4 км ровно в ту точку, где он должен был сесть на Марс
В один момент в работе IMU произошел сбой...
Эта ошибка, как отмечают ученые, носит чисто программный характер и легко воспроизводится в компьютерных симуляциях приземления «Скиапарелли». Как отметил Дэвид Паркер, руководитель отдела пилотируемых полетов и роботизированного изучения космоса в ЕКА, эти данные и ошибка будут учтены при проектировании ПО для посадочной платформы марсохода «Пастер», которая разрабатывается в НПО Лавочкина.

Только за это их уже нужно всех пересажать.
Источник

xwicked ★★ ()
Ответ на: комментарий от xwicked

Даже в этом случае не ОС виновата, а тупейшая ошибка программиста, которую никто не проверял ) А физические детальки вы даже проверить не в состоянии, у них ресурс - вещь случайная

vaddd ★★ ()
Ответ на: комментарий от vaddd

физические детальки вы даже проверить не в состоянии, у них ресурс - вещь случайная

Логика у тебя вещь случайная. Если раньше всё делали «на века», значит это всё поддаётся контролю и проверке: марка стали, технология, формы, монтаж и т.д. Сиди не лечи, у меня полгорода сталеваров. :D:D

xwicked ★★ ()
Ответ на: комментарий от vaddd

Тебе как колонисту будет спокойнее, если ты будешь знать, что помрешь от «тупейшей ошибки программиста», а не аппаратной поломки?

seiken ★★★★★ ()
Ответ на: комментарий от seiken

Тебе как колонисту будет спокойнее, если ты будешь знать, что помрешь от «тупейшей ошибки программиста», а не аппаратной поломки?

+1 :D

xwicked ★★ ()
Ответ на: комментарий от crutch_master

У тебя браузер не отваливается

Круто ты сравнил полет на другую планету с будничным серфингом в инетике… Одинаково mission critical задачи, да?

seiken ★★★★★ ()
Ответ на: комментарий от xwicked

Никто и никогда не делал на века. Спросите у полгорода сталеваров, как достигается запас прочности.

utanho ★★ ()
Ответ на: комментарий от xwicked

Если раньше всё делали «на века», значит это всё поддаётся контролю и проверке: марка стали,

Узнаю программиста, уверенного, что булки растут на деревьях ) Никогда ничего не делали на века. Любое реальное устройство характеризуется износом и кривой отказов - она никогда не бывает равной нулю. И чем тяжелее режимы - тем она дальше от нуля. Когда у вас от времени начнет изнашиваться софт - приходите, поговорим )

vaddd ★★ ()

И вот, представьте, что выйдет очередная ракета, и на ней полетят на Марс люди.

Вообще, люди будут в очереди стоять, чтобы на этом ширпотребе на Марс лететь. И с радостью будут галки ставить, что никаких претензий к НАСА, в случае чего, не имеют. Всё равно найдутся тысячи добровольцев.

tiinn ★★★★ ()
Ответ на: комментарий от vaddd

Когда у вас от времени начнет изнашиваться софт - приходите, поговорим

уже начал изнашиваться

tiinn ★★★★ ()
Ответ на: комментарий от tiinn

скука, обеспеченность, нищета, отсутствие перспектив или интереса, потребность в адреналине - все это двигатели прогресса и неиссякаемые потенциальные источники героев-первопроходцев :)

уже начал изнашиваться

где вы там увидели износ, там обычный недосмотренный ляп )

vaddd ★★ ()
Последнее исправление: vaddd (всего исправлений: 1)

Предлагаешь разработчикам софта под ракету полностью самим ос писать, компиляторы, чтобы взять всю ответственность на себя в полном объёме?

grem ★★★★★ ()
Ответ на: комментарий от grem

Есть же Windows 10 for IoT, всяко надежнее этих ваших линуксов.

MOPKOBKA ()
Ответ на: комментарий от vaddd

где вы там увидели износ, там обычный недосмотренный ляп )

Это так называемое «протухание» софта. Когда на новом hardware используется тот же самый софт, вместо переписывания.

tiinn ★★★★ ()

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

ЗЫ: Если кто-то думает что какой-нибудь QNX не впадает в ступор - то этот кто-то полный идиот. Впадает и ещё как, особенно из-за проблем с железом. Вот только в отличие от линуксов QNX так просто не пофиксишь и воркэраунд удалённо не зальёшь.

Stanson ★★★★★ ()
Ответ на: комментарий от tiinn

Это так называемое «протухание» софта. Когда на новом hardware используется тот же самый софт, вместо переписывания.

Не выдумывайте протуханий софта там, где кто-то полез с гаечным ключом )

vaddd ★★ ()
Ответ на: комментарий от Stanson

ну насчет удаленно не зальешь очень спорно, прецеденты были

а деград софта легко, привет нейросетям, описано многими фантастами, ждем ебилдов)))) увы внедряется очень бурно и очень не осторожно

Morin ★★★ ()

Javascript

Давно было известно. Поэтому хрен мы до Марса долетим.

Lordwind ★★★★★ ()
Ответ на: комментарий от vaddd

Когда у вас от времени начнет изнашиваться софт - приходите, поговорим )

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

thunar ★★★★★ ()
Последнее исправление: thunar (всего исправлений: 1)
Ответ на: комментарий от vaddd

Когда у вас от времени начнет изнашиваться софт - приходите, поговорим )

Лехко. Пишешь такой софтину, проверил хеппи-патх один раз и успокоился

TooPar ()
Ответ на: комментарий от xwicked

Чувак, я и тебя посчитал.

надеюсь, хоть это вам поможет

vaddd ★★ ()

На самолетах c эксплуатацией до сих пор на авионике есть и pentium 3, а тут даже крутые dual-core x86 processor

One ★★★★★ ()
Ответ на: комментарий от TooPar

Пишешь такой софтину, проверил хеппи-патх один раз и успокоился

а потом оно сразу летит в космос.

vaddd ★★ ()

Линукс, C++, Питон и прочие работают на миллиардах устройств ежедневно без перерыва так что их надёжность доказана практикой. Она может быть даже выше, чем специализированное ПО для космических аппаратов потому что спец. ПО меньше протестировано. По крайней мере если специально не пытаться ломать ПО.

X512 ★★ ()
Последнее исправление: X512 (всего исправлений: 1)
Ответ на: комментарий от MOPKOBKA

Почему?

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

Stanson ★★★★★ ()
Ответ на: комментарий от X512

работают на миллиардах устройств ежедневно без перерыва так что их надёжность доказана практикой

надежность для чего? Обслуживания клиентов-игрунов и заказа билетов?

Она может быть даже выше, чем специализированное ПО для космических аппаратов потому что спец. ПО меньше протестировано.

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

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

seiken ★★★★★ ()
Ответ на: комментарий от seiken

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

vaddd ★★ ()
Ответ на: комментарий от seiken

Обслуживания клиентов-игрунов

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

X512 ★★ ()

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

imul ★★★★★ ()
Закрыто добавление комментариев для недавно зарегистрированных пользователей (со score < 50)