The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

SpaceX использует Linux и обычные x86-процессоры в Falcon 9, opennews (??), 03-Июн-20, (0) [смотреть все] +1

Сообщения [Сортировка по времени | RSS]


24. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +7 +/
Сообщение от Аноним (-), 03-Июн-20, 22:39 
> И никакого Rust, Ada и подобных...

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

А прогеры на ada между прочим угробили Arian-V. И это был самый дорогой баг в ПО в истории человечества.

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

53. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от Фотошоп лучше (?), 03-Июн-20, 23:27 
Но только не тот софт, который должен сработать один раз в жизни устройства. А тысячу раз проверить код на плюсах - это, конечно, самый надёжный способ (да и единственный), потому что на он очень на большом проекте становится хрупким.
Ответить | Правка | Наверх | Cообщить модератору

67. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от Аноним (-), 04-Июн-20, 00:04 
> Но только не тот софт, который должен сработать один раз в жизни устройства.

У маска его добро еще и многоразовым задумано.

> на он очень на большом проекте становится хрупким.

Очень большие проекты на чем угодно становятся хрупкими. Арифметика проста: больше кодов = больше багов.

Ответить | Правка | Наверх | Cообщить модератору

97. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +1 +/
Сообщение от anonimous (?), 04-Июн-20, 02:02 
>А прогеры на ada между прочим угробили Arian-V.

Там все прикольно. Вроде обычное переполнение.

The internal SRI software exception was caused during execution of a data conversion from 64-bit floating point to 16-bit signed integer value. The floating point number which was converted had a value greater than what could be represented by a 16-bit signed integer. This resulted in an Operand Error. The data conversion instructions (in Ada code) were not protected from causing an Operand Error, although other conversions of comparable variables in the same place in the code were protected.

При этом решение не проверять именно это место на переполнение было совершенно осознанным (т.к. комп был слабосильный и надо было экономить) и 100 раз проверялось моделированием что такой ситуации не будет. Вот только этот кусок кода был скопирован из софта для другой ракеты, с другой траекторией и совсем другими числами

The value of BH was much higher than expected because the early part of the trajectory of Ariane 5 differs from that of Ariane 4 and results in considerably higher horizontal velocity values.

Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

546. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +1 +/
Сообщение от Аноним (-), 07-Июн-20, 23:59 
> Там все прикольно. Вроде обычное переполнение.

А на самом деле, если подумать, то как минимум
1) Общий долбоклюизм - безбашенно скопировать код от системы с другими параметрами, с аргументом "вроде работает", не прочекав что и правда катит в системе с новыми параметрами.
2) На тестирование системы в целом - забить, с аргументом "это слишком сложно". Серьезная заявка на успех.
3) Подобные выходки с плавучкой прямым текстом запрещает даже тот же MISRA C. Потому что конверсия плавучки в интегер это вообще в принципе грабли. Особенно если время жмет и хочется пооптимальнее. Технически, это 2 разных мира. И горе тому кто это не осознал.
4) Офигенная обработка исключений - явно не специфичная для задачи, поэтому как только оно случилось, абстракция рассыпалась и эта штука вообще не имела никаких шансов сделать что-то вменяемое.

Ответить | Правка | Наверх | Cообщить модератору

151. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +1 +/
Сообщение от Аноним (151), 04-Июн-20, 09:20 
> пока вебмакаки понтуются и набивают себе цену

Чукча не читатель? Там же в самом низу написано:


> Интерфейс, с которым работают космонавты, реализован на базе web-приложения на JavaScript, открываемого в Chromium

Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

153. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от Аноним (151), 04-Июн-20, 09:24 
> пока вебмакаки понтуются и набивают себе цену

Чукча не читатель? Там же в самом низу написано:


> Интерфейс, с которым работают космонавты, реализован на базе web-приложения на JavaScript, открываемого в Chromium

Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

201. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от Anonymoustus (ok), 04-Июн-20, 12:25 
>> И никакого Rust, Ada и подобных...
> Достичь надежности можно многими способами. Один из которых тут и описан. На
> сях написана адская куча требовательного к надежности софта под жесткий реалтайм.
> И это просто держит на себе половину вашего глобуса, пока вебмакаки
> понтуются и набивают себе цену.

Тот софт на сях пишут по особым методикам, а не по вашему отраслевому новому стандарту (ляп-ляп и в продакшын). Ты, надеюсь, знаешь об этом? Тогда зачем передёргиваешь и врёшь? Вебмакаки этот софт не пишут никогда.


> А прогеры на ada между прочим угробили Arian-V. И это был самый
> дорогой баг в ПО в истории человечества.

Ещё один пересказывает ОБС. Иди хоть почитай википедию, чтоб не позориться.


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

Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

288. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от Аноним (-), 04-Июн-20, 15:30 
> Тот софт на сях пишут по особым методикам

Логично. Только там и сроки и стоимость разработки под стать. На любом ЯП.

>  Вебмакаки этот софт не пишут никогда.

Ну вообще гламурную морду написали. Правда ее подперли кнопками, зная повадки вебмакак.

> дают понять, что сделана она вполне надёжно.

Однако achievement все-таки unlocked. И вообще совсем не тот который задуман в изначальном описании.

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру