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

SpaceX использует Linux и обычные x86-процессоры в Falcon 9, opennews (??), 03-Июн-20, (0) [смотреть все] +1 И никакого Rust, Ada и подобных , Аноним (1), 21:38 , 03-Июн-20, (1) +44 // Программист на аде уже в аду, классно шкварчит А на хрусте еще просто не успели, пох. (?), 21:50 , 03-Июн-20, (4) +3 // Судя по описанию системы им тупо не хотелось отвечать за дохлых космонавтов Тро, Аноним (-), 23:05 , 03-Июн-20, (40) +3   // Проблема в том, что три копии программы с багом выдадут три одинаковых результат, anonimous (?), 01:20 , 04-Июн-20, (83) +3   Ну так использование питона только ухудшает ситуацию, поскольку помимо багов в с, Аноним (104), 03:12 , 04-Июн-20, (104) +1   Так ведь рантайм сейчас везде В целом то это вопрос статистики По ощущениям ра, anonymous (??), 04:14 , 04-Июн-20, (112)   То есть было доказано соответствие софта алгоритму , Карабьян (?), 04:59 , 04-Июн-20, (118)   Сначала правильность алгоритма докажите А дальше - пойдут нежданчики со стороны, Аноним (148), 09:14 , 04-Июн-20, (148) –1   Как раз ниже был приведен пример с переполнением в Аде, Карабьян (?), 09:25 , 04-Июн-20, (154) +1   Вообще-то, любой мал-мальско серьезный formal verification различает между пон, Аноним84701 (ok), 18:35 , 04-Июн-20, (321)   Вообще, хорошо разжевано на https space stackexchange com posts 9446 revisions, Аноним (454), 14:00 , 05-Июн-20, (454)   Это совершенно другой уровень тестирования, никаким боком к формальной верификац, Аноним84701 (ok), 15:00 , 05-Июн-20, (464)   Однако их тестовый сетап судя по описанию поймал бы факап ариана 5 В проекте ар, Аноним (-), 22:12 , 06-Июн-20, (533) +1   На сях в микроконтроллере можно и совсем без рантайма И собственно в last line , Аноним (-), 15:10 , 04-Июн-20, (282) +1   С таким же успехом можно говорить и про C C , потому что там может случиться UB, ананас (?), 07:53 , 04-Июн-20, (135) +2   Так это просто язык назван, может там использованы с ними либы или фреймворке дл, Аноним (252), 13:59 , 04-Июн-20, (252) –1   Когда вы уже чешете на орбиту, runtime error по поводу плохого указателя ничем н, Аноним (455), 14:15 , 05-Июн-20, (455)   Думаете, они не смогли прогнать ubsan Да, на _вашем_ космическом корабле я бы т, Аноним (279), 15:01 , 04-Июн-20, (279)   Системы управления, которые участвуют в схеме резервирования, разрабатываются ра, dannix (?), 08:49 , 04-Июн-20, (141) +2   Да, да, да, да Это - во всём мире заявляется и - везде же - на это и или, Аноним (148), 09:20 , 04-Июн-20, (150) +1   это может спасти и от отдельных программных ошибок, полагая что все эти блоки ра, Анан (?), 19:07 , 04-Июн-20, (335)   Очевидно, что вы не можете знать, как делается везде Дело не книжках , а в р, dannix (?), 21:18 , 05-Июн-20, (493)   Ну, как-бы, не обязательно, что там три одинаковых копии программы Есть такая в, Совершенно другой аноним (?), 12:12 , 04-Июн-20, (197)   на космических кораблях отказ железа происходит чаще чем отказ софта , Я (??), 13:23 , 04-Июн-20, (233) +2   В космосе атмосфера не защищает от частиц И магнитное поле слабее Радиации бол, Аноним (279), 14:59 , 04-Июн-20, (278)   Как по мне - то ничего удивительного, когда тебе важна каждая микросекунда и так, ALex_hha (ok), 09:10 , 04-Июн-20, (147) +2 Можно было и баш скриптами обойтись Тогда бы приземление на орбиту было бы успе, expert (??), 11:36 , 04-Июн-20, (189) // Хорошо сказано приземление на орбиту , Аноним (423), 10:30 , 05-Июн-20, (423) +2 Насчёт Ады действительно странно Вот что отладка и резервирование животворящие , Аноним (-), 22:00 , 03-Июн-20, (9) +2 А ничего что вторая часть предложения Тебя это не смущает ни капельки Или ты то, Нонон (?), 22:12 , 03-Июн-20, (11) +14 // и тут же приписка но на случай сбоя имеется и кнопочная панель для управления , заминированный тапок (ok), 23:09 , 03-Июн-20, (43) +7 // Видимо Маск и его чуваки в курсе качества кода вебмакак, так что вот вам гламурн, Аноним (-), 23:23 , 03-Июн-20, (50) +4 Может на случай поломки кнопок и специальная отвертка имеется, Карабьян (?), 05:00 , 04-Июн-20, (119) А на случай ее утери монетка и прямые шлицы на болтах, а на случай если и монетк, с (?), 06:29 , 04-Июн-20, (128) +1 Не стригут и красят токопроводящим лаком, Карабьян (?), 08:47 , 04-Июн-20, (139) +1 Скорее просто поставили 2-3 комплекта Как в самолетах , Аноним (342), 19:35 , 04-Июн-20, (342) Ничего, жизнь заставит - , Anonymoustus (ok), 22:39 , 03-Июн-20, (23) // Arian-V приветы любителям серебряных пуль передавал , Аноним (-), 22:53 , 03-Июн-20, (33) // Что за бред Мейер именно то и описал, что человек - ленивая скотинка В случае с , Аноним (148), 09:26 , 04-Июн-20, (155) Не мешайте молодёжи верить в своё всемогущество и в городские легенды Пока сам , Anonymoustus (ok), 12:19 , 04-Июн-20, (199) Авиационный софт имеет такие темпы релизов хоть там на чем Видите ли его тестир, Аноним (285), 15:20 , 04-Июн-20, (285) +1 Ада-то тут при чём, аноним https ru wikipedia org wiki Авария_ракеты-носителя_, Anonymoustus (ok), 12:21 , 04-Июн-20, (200) При том что адовики-затейники посадили годный баг в ее софте и ракета превратила, Аноним (285), 15:22 , 04-Июн-20, (286) Повторяю вопрос при чём тут Ада Это в чистом, чистейшем виде человеческий факт, Anonymoustus (ok), 16:53 , 04-Июн-20, (301) +2 Ну, подожди, я могу то же самое сказать и про другой любой ЯП Например, си , Аноним (313), 18:18 , 04-Июн-20, (313) Именно Потому что ЯП здесь совсем-совсем ни при чём Человек и затупил и , уро, Anonymoustus (ok), 18:45 , 04-Июн-20, (326) Попался Теперь посмотрим на весь пойнт Ада - там как раз рассказывали мантры чт, Аноним (330), 18:52 , 04-Июн-20, (330) –1 Не, ты не прав Пойнт Ады в том, что в ней нет или минимум таких мест, где что, Anonymoustus (ok), 19:20 , 04-Июн-20, (339) А тут в результате все видимо приходит к вопросу что проще, взять обычных темат, Аноним (344), 19:49 , 04-Июн-20, (344) –1 А потом падают самолёты Ибо всякому инструменту своё место приложения Аду специ, Anonymoustus (ok), 20:33 , 04-Июн-20, (367) А много самолетов упало из-за именно багов, именно в сишном коде Если в случае , Аноним (385), 22:20 , 04-Июн-20, (385) +1 Не знаю, сколько упало именно по этой причине Но ты же не станешь отрицать, что, Anonymoustus (ok), 20:08 , 05-Июн-20, (490) А мне вот интересно Если кто-то говорит что из-за whatever случается somethi, Аноним (-), 00:34 , 06-Июн-20, (500) В Сях и Плюсах сделать это особенно просто в силу множества причин, ибо языки за, Anonymoustus (ok), 20:00 , 06-Июн-20, (528) 1 Си был сделан системщиками У ни надежность выше среднего по роду деятельнос, Аноним (537), 20:11 , 07-Июн-20, (537) Чувак, давай договоримся ты не будешь больше писать огромные простыни банальных, Anonymoustus (ok), 21:07 , 08-Июн-20, (560) Ты назвал себя гуманитарием с виндой Ну я и объяснил на уровне где даже кто-то , Аноним (566), 11:20 , 13-Июн-20, (566) И что с того У тебя нет чувства юмора или ты хочешь сказать, что гуманитариям-в, Anonymoustus (ok), 11:33 , 13-Июн-20, (569) Я хочу сказать что если нечто выглядит как гуманитарий и ведет себя как гуманита, Аноним (-), 07:31 , 20-Июн-20, (573) Правильно Закрой дискуссию и не пиши мне больше Смирись с тем, что гуманитарий, Anonymoustus (ok), 12:14 , 20-Июн-20, (576) Скорее то что наоборот , Аноним (56), 23:29 , 03-Июн-20, (56) Достичь надежности можно многими способами Один из которых тут и описан На сях, Аноним (-), 22:39 , 03-Июн-20, (24) +7 // Но только не тот софт, который должен сработать один раз в жизни устройства А т, Фотошоп лучше (?), 23:27 , 03-Июн-20, (53) // У маска его добро еще и многоразовым задумано Очень большие проекты на чем угодн, Аноним (-), 00:04 , 04-Июн-20, (67) Там все прикольно Вроде обычное переполнение The internal SRI software exceptio, anonimous (?), 02:02 , 04-Июн-20, (97) +1 // А на самом деле, если подумать, то как минимум1 Общий долбоклюизм - безбашенно , Аноним (-), 23:59 , 07-Июн-20, (546) +1 Чукча не читатель Там же в самом низу написано , Аноним (151), 09:20 , 04-Июн-20, (151) +1 Чукча не читатель Там же в самом низу написано , Аноним (151), 09:24 , 04-Июн-20, (153) Тот софт на сях пишут по особым методикам, а не по вашему отраслевому новому ста, Anonymoustus (ok), 12:25 , 04-Июн-20, (201) // Логично Только там и сроки и стоимость разработки под стать На любом ЯП Ну воо, Аноним (-), 15:30 , 04-Июн-20, (288) Там так все урезано, что от с остается что-то более-менее управляемоеУ НАСА на, anonimous (?), 01:50 , 04-Июн-20, (96) // Смотрите-ка, не только стырили, но и перевели А я читал на английском - , Anonymoustus (ok), 12:30 , 04-Июн-20, (203) // Линку дай На русском там такая терминология местами что без поллитры не разбере, Аноним (344), 19:51 , 04-Июн-20, (345) Ты хочешь купить или украсть Купить 8212 там https www misra org uk Buyonl, Anonymoustus (ok), 20:40 , 04-Июн-20, (369) На самом деле всего лишь почитать Чтобы это вот именно кражей стало - я должен , Аноним (376), 20:54 , 04-Июн-20, (376) Мне, собственно, не жаль, это не моё http libgen is search php req Motor Indus, Anonymoustus (ok), 21:40 , 04-Июн-20, (383) Зато есть JavaScript и Chromium Откроют несколько вкладок и память закончится в , Аномсис (?), 05:06 , 04-Июн-20, (121) +2 // Простите, а несколько вкладок чего , Аноним (151), 09:33 , 04-Июн-20, (160) +1 // Несколько приложений, какая разница Хоть калькулятор, хоть IDE, FF (?), 19:01 , 02-Июл-23, (581) Есть там растишка https sergio bz , Анонимъ (?), 08:44 , 04-Июн-20, (138) –1 Стабильный Rust появился после того, как значительная часть кода уже была написа, Аноним (143), 09:06 , 04-Июн-20, (143) +1 // и прожил пару месяцев, после чего опять все перефигачили во имя бобра , Аноним (313), 18:20 , 04-Июн-20, (314) Rust - в программах требующих предсказуемого поведения языки с автоматическим уп, КО (?), 09:16 , 04-Июн-20, (149) –2 // И что же в Rust непредсказуемого относительно управления памятью Это тебе не Ja, Аноним (143), 10:34 , 04-Июн-20, (185) // Например MISRA C запрещает динамическое выделение памяти в HEAP И правильно дел, Аноним (313), 18:22 , 04-Июн-20, (315) –2 Какой штуки Rust в heap память выделяет явно, через хреновины типа Box Не надо , Forth (ok), 19:07 , 04-Июн-20, (334) Я так понимаю, что уважаемый тёзка, а может и родственник, хотел указать, что па, Совершенно другой аноним (?), 15:37 , 05-Июн-20, (468) А вы не выделяйте В расте пока Box new не скажешь heap трогать не будет Для та, Forth (ok), 20:00 , 05-Июн-20, (489) И тем не менее, раст какой-то сложный и его все время перефигачивают Вон новая , Аноним (-), 16:45 , 06-Июн-20, (511) Все эти изменения с обратной совместимостью, старый код никак не пострадает С че, Forth (ok), 22:03 , 07-Июн-20, (545) Это в целом выглядит высокорискованно - на уровне парсинга, генерации кода, стан, Аноним (547), 00:17 , 08-Июн-20, (547) +1 Я не доверяю ни gcc, ни расту ни любому другому софту Я проверяю В основном мод, Forth (ok), 01:17 , 08-Июн-20, (551) Я тоже И имею заметить что понимание заскоков тулчейна может потребовать нескол, Аноним (-), 07:54 , 08-Июн-20, (553) Только после того, как клиент согласится провести опломбирование не только издел, Forth (ok), 21:02 , 08-Июн-20, (559) Еще надо к питанию не подключать, чтобы уж наверняка Если говорить об этом - вы , Аноним (566), 11:14 , 13-Июн-20, (565) Для полного детерминизма надо как можно проще и без библиотек А это явно не про, Аноним (537), 20:13 , 07-Июн-20, (538) Опять двадцать пять Пишите проще и без библиотек Никто же не обязывает , Forth (ok), 21:58 , 07-Июн-20, (543) А зачем Сейчас при обилии инструментов анализа и автоматического выявления ошиб, None (??), 05:06 , 05-Июн-20, (402) мало кто знает, но в первых редакциях ПО для Falcon 9 было написано на javascrip, Аноним (2), 21:41 , 03-Июн-20, (2) +144 // вы не правы, у ноды что ни проект, на логотипе ракета нарисована Это как бы гов, Аноним (7), 21:52 , 03-Июн-20, (7) –11 // Жаваскрипт не тормозит, он солидно исполняется , НяшМяш (ok), 22:14 , 03-Июн-20, (12) +71 // зачет, mos87 (ok), 22:30 , 03-Июн-20, (19) +5 Зануда, Нонон (?), 22:15 , 03-Июн-20, (13) +2 Я пожелаю написать тебе flight control software на JS А потом, чувак, ты как ра, Аноним (-), 23:08 , 03-Июн-20, (42) +2 Да хотя бы Кинопоиск Яндекса откройте Тупит на довольно мощном железе, что на к, Аноним (144), 09:06 , 04-Июн-20, (144) +1 // Кинопоиск не пример Они там в Яндексе в этот раз такого наворотили, что не вери, Kuromi (ok), 17:41 , 04-Июн-20, (311) +1 Ждем когда Маск поймет что в космосе рулит OpenBSD, expert (??), 11:33 , 04-Июн-20, (188) +4 // Чем рулит , Аноним (313), 18:25 , 04-Июн-20, (316) А веслами гребет FreeBSD , Zulu (?), 23:41 , 06-Июн-20, (534) А из линукса почту там запрещено читать , village_coder (ok), 21:50 , 03-Июн-20, (5) +9 // А в Линуксе уже завезли ускорение видео для ютуба хотя бы Нет, не для альфа-вер, Аноним (10), 22:12 , 03-Июн-20, (10) –17 // Завезли, mpv youtube-dl , Аноним (15), 22:23 , 03-Июн-20, (15) +4 // Только вот юзабилити такого решения нapкомaнское Сравни клик в браузере - смот, Аноним (131), 06:52 , 04-Июн-20, (131) +5 Скопировать урл, нажать хоткей, ничего, кроме запуска mpv 05 секунды , не ждать , Oxyd76 (?), 09:09 , 04-Июн-20, (145) –2 А вот youtube завтра специфику раздачи видео поменяет, разработчик youtub-dl пой, Аноним (252), 14:01 , 04-Июн-20, (253) –3 Закончат миссию досрочно, Карабьян (?), 14:42 , 04-Июн-20, (275) +1 Что, все разрабы ytdl уйдут в отпуск Все 733 контрибутора с правами на запись в, Oxyd76 (?), 17:38 , 16-Июн-20, (572) в линуксе ускорение видео мной использовалось еще для просмотра ЧМЮАР те 10 ле, mos87 (ok), 22:30 , 03-Июн-20, (18) +12 // Гоморобот-бот все время трёт с ка вопрос Что будет, если во время спуска, при , злой админ (?), 12:54 , 05-Июн-20, (443) –1 для опенета завезли, чтобы твои жирные комменты читатьа то без хардверной поддер, заминированный тапок (ok), 23:12 , 03-Июн-20, (45) Черт, какой же космический корабль без ютуба , Аноним (-), 23:25 , 03-Июн-20, (51) +4 // А МКС без пронхаба , Аноним (423), 10:35 , 05-Июн-20, (426) Есть интернет - есть и порнохаб а интернет есть , злой админ (?), 12:42 , 05-Июн-20, (441) Судя по трансляции, есть шанс что на самом интересном месте все обломается Линк, Аноним (458), 14:29 , 05-Июн-20, (458) Откуда такое массовое поверие, что аппаратный декодинг видео есть только в Wayla, Аноним (61), 23:35 , 03-Июн-20, (61) +8 // Это не массовое поверие, а человек отрабатывает А Вы ему бизнес ломаете , Аноним (129), 06:44 , 04-Июн-20, (129) +1 Документацией поделись как прикрутить, Аноним (193), 11:58 , 04-Июн-20, (193) в хромиуме уже давно собирается, в федоре уже год как по умолчанию все патчи для, Я (??), 13:27 , 04-Июн-20, (236) Думаю, у них нет проблем и c ускорением видео на 32-ядерных CPU , Аноним (423), 10:33 , 05-Июн-20, (425) а еще они ракеты запускают Не удивлюсь что там пока еще рулят маргиналы вроде Ш, Агл (?), 21:52 , 03-Июн-20, (6) –5 // Маск достаточно авторитарен как Генри Форд в своё время , условия труда жёсткие, Аноним (35), 22:54 , 03-Июн-20, (35) +3 // Man конфликт интересов И да, иногда имеет смысл и самому уйти на улицу, если , Аноним (-), 23:11 , 03-Июн-20, (44) –1 То-то пользовательский интерфейс пришлось на жабаскрипте кодить - кто ещё пойдёт, YetAnotherOnanym (ok), 10:26 , 04-Июн-20, (183) –5 Интересно а сколько людей занимается у нас тем же под не имеющую аналогов архети, Аноним (8), 21:58 , 03-Июн-20, (8) +7 // ДЕВЕЛОПЕРС ДЕВЕЛОПЕРС ДЕВЕЛОПЕРС, mos87 (ok), 22:28 , 03-Июн-20, (17) +4 Если брать именно работников, а не начальство с прихлебателями цифры будут того , Аноним (37), 22:58 , 03-Июн-20, (37) +2 // К сожалению сроки и объем прожраных средств и особенно как все это соотносится с, Аноним (317), 18:28 , 04-Июн-20, (317) –2 смотрю, миша уже вышел на вахту миша, ты пушто безобидное шутливое сообщение уда, Аноним (95), 01:48 , 04-Июн-20, (95) +24 // Бдитъ Иначе враги прорвутся из-под кровати , Anonymoustus (ok), 12:37 , 04-Июн-20, (206) // В B5 был такой чувак Последний из Кибер-органический Защищал свою планету от , Аноним (317), 18:33 , 04-Июн-20, (319) +1 Нуу, не очень надёжно Радиация, высокоэнергетические частицы, вот это вот всё , Аноним (20), 22:30 , 03-Июн-20, (20) +2 // Нанопневмоника, Аноним (8), 22:44 , 03-Июн-20, (25) там речь о первой ступени - она отваливается вроде на 30 км, и сразу же отправля, пох. (?), 22:48 , 03-Июн-20, (27) –2 // Почитайте, интересный тред https tjournal ru internet 174517-tred-o-problemah-, Аноним (30), 22:50 , 03-Июн-20, (30) +4 // Если хочется чего-то негативного, лучше почитайте varlamov ru Одуван хоть про , Аноним (70), 00:19 , 04-Июн-20, (70) –5 Ну, тем не менее всё по делу , Аноним (30), 11:01 , 04-Июн-20, (187) +3 Чего по делу этот чудак на букву М врет вообще на каждом слове В 2003-м я как , Аноним (70), 23:53 , 04-Июн-20, (394) Над этими зарплатами будет смеяться любая вебмакака, а то и свободная касса У, Аноним (486), 18:19 , 05-Июн-20, (486) В 2003м году Тогда средняя зарплата по стране баксов сто была , Аноним (562), 13:41 , 09-Июн-20, (562) Ну вот гражданин утверждает что в макдональдсе напротив предлагали в 2 раза боль, Аноним (570), 11:35 , 13-Июн-20, (570) А вот это https pbs twimg com media EZXtMbnWkAUTdWn format png name large - он, Аноним (542), 21:01 , 07-Июн-20, (542) Да вы батенька оппозиционер Эдак к вам зайдет через цать лет киборг модели Ш, , Аноним (342), 19:32 , 04-Июн-20, (341) Нафиг форсить этот бред от очередного клоуна-всепропальщика , AleksK (ok), 15:15 , 05-Июн-20, (465) –1 Может, потому что он выдает - похоже на наблюдаемую реальность Может, потому чт, Аноним (-), 20:44 , 07-Июн-20, (541) Роскосмос никогда прибыль в бюджет и не приносил, как и НАСА не приносит прибыли, AleksK (ok), 22:01 , 07-Июн-20, (544) Он вроде одно время показывал довольно непозорные результаты, с коммерческими за, Аноним (-), 00:53 , 08-Июн-20, (548) Открой википедию и погляди запуски Большая часть нагрузки именно российская при, AleksK (ok), 08:35 , 08-Июн-20, (554) Посмотрел Большая часть космических аппаратов в этом году - масковский спам ста, Аноним (555), 18:56 , 08-Июн-20, (555) Что же ты такой упоротый, а по местам о развале Роскосмоса сразу видно свидомого, AleksK (ok), 21:31 , 08-Июн-20, (561) И я после этого упоротый На том основании что список запусков вместо пропаганды, Аноним (570), 11:32 , 13-Июн-20, (568) Вот только НАСА все равно закупило места на сюзах на этот и следующий год И ещ, AleksK (ok), 12:07 , 13-Июн-20, (571) Да Однако там у них на подходе еще космические корабли, так что очень скоро это, Аноним (-), 07:42 , 20-Июн-20, (574) IMHO, чем лучше понимание ситуации - тем меньше попыток заложить десятикратную н, Crazy Alex (ok), 00:20 , 04-Июн-20, (71) +3 // В смысле тоже с полным непониманием предметной области , Michael Shigorin (ok), 01:00 , 04-Июн-20, (77) –15 А, ну да, куда уж команде инженеров SpaceX до вac , Timoteo Cirkla (ok), 01:29 , 04-Июн-20, (87) +7 Справедливости ради, в своей Михаил понимает поболее многих, а права на мнение т, Карабьян (?), 05:23 , 04-Июн-20, (123) –3 Это в какой Даже на в вики альта нипасано что он в каждой бочке затычка SMM от, Анончик (?), 06:57 , 04-Июн-20, (132) +2 Хоть кому-то в мире линукса платят за это , Карабьян (?), 08:48 , 04-Июн-20, (140) –3 Именно что лишают Сейчас, похоже, вахтёры лютуют не так оголтело, а раньше стир, Anonymoustus (ok), 12:47 , 04-Июн-20, (212) Интересно, а на к0смонавта он все еще обижается , Аноним (344), 19:57 , 04-Июн-20, (346) Помню эффективные подрядчики сували на Протоны вместо защищенных микросхем в кер, Я не злопамятный (?), 01:28 , 04-Июн-20, (86) // Там как бы написано, где и по какой причине x86-процессоры , Timoteo Cirkla (ok), 01:30 , 04-Июн-20, (88) Вроде бы в одной из аварий причиной был забитый кверху ногами датчик И при чем , Аноним (344), 19:58 , 04-Июн-20, (348) +1 Но причина тех аварий была не в микросхемах, может не тех посадили , Аноним (380), 21:04 , 04-Июн-20, (380) +1 Видимо по старой российской традиции случилось наказание невиновных и награждени, Аноним (342), 13:45 , 05-Июн-20, (451) Там не только на солнечных батареях экономили А например, еще, на теплоизоляции, Аноним (70), 01:39 , 04-Июн-20, (91) // Так в чём проблема , Аноним (104), 03:27 , 04-Июн-20, (106) +1 дык, это - нежданчик может и не на заправке случиться И спасательный механизм на, пох. (?), 12:36 , 04-Июн-20, (205) –2 Экий ты шутник Но надо отметить, что пингвинятник даже с RT-патчами не умеет быт, Anonymoustus (ok), 12:50 , 04-Июн-20, (214) А московское метро согласно с этим смелым утверждением А то оно там у них поезд, Аноним (349), 20:00 , 04-Июн-20, (349) –1 А пруф будет Или как обычно , Аноним (352), 20:09 , 04-Июн-20, (352) Чего - как обычно У яндекса на конфе презентаха была как там и что сделано Пат, Аноним (454), 13:54 , 05-Июн-20, (452) Учитывая вашу любовь к весьма альтернативному восприятию и интерпретации фактов,, Аноним (-), 14:56 , 05-Июн-20, (463) Так с наскока нашел https www opennet ru opennews art shtml num 40094и http , Аноним (531), 20:08 , 06-Июн-20, (531) А 12309 в этом реалтаймовом линухе прилетает - , Anonymoustus (ok), 20:20 , 05-Июн-20, (491) Врядли Те кто это получают и не могут устранить - вообще не должны с сколь-нибу, Аноним (547), 19:56 , 06-Июн-20, (527) Ну а серьёзно что произойдёт в пингвинятнике с РТ-патчами при недостатке памяти, Anonymoustus (ok), 20:03 , 06-Июн-20, (530) Расстрел разработчика без суда и следствия, имхо За что что вообще такая ситуац, Аноним (532), 20:15 , 06-Июн-20, (532) Должно быть всё хорошее и не должно быть ничего плохого, согласен Предлагаю эксп, Anonymoustus (ok), 00:07 , 07-Июн-20, (535) Может стать лучше, но не факт что полностью RT ядро всего лишь может убавить ла, Аноним (537), 20:20 , 07-Июн-20, (539) Короче говоря, ты не знаешь, а просто балаболишь , Anonymoustus (ok), 20:52 , 08-Июн-20, (556) Да, я не знаю дохрена факторов в твоей системе, чтобы расписываться за то что бу, Аноним (570), 11:30 , 13-Июн-20, (567) ШТА, Михрютка (ok), 19:16 , 04-Июн-20, (338) Надо было на Raspberry Pi делать -D, Аноним (144), 09:09 , 04-Июн-20, (146) // Это - в следующей итерации понижения стоимости , Аноним (148), 09:55 , 04-Июн-20, (171) Дублирование парафиновых свечей не спасает от высокой температуры Все дубли пре, antonimus (?), 22:52 , 03-Июн-20, (32) +3 // Космонавты при такой температуре тоже, видите ли, превращаются в тыкву , Аноним (62), 23:36 , 03-Июн-20, (62) +1 // Рекомендуют использовать дублирование , antonimus (?), 01:03 , 04-Июн-20, (80) +2 Для некоторых систем может и спасти -- например, если время восстановления избыт, Michael Shigorin (ok), 01:02 , 04-Июн-20, (79) –7 // ВСЕ участки критичные Все узлы ОБЯЗАНЫ работать и КОНТРОЛИРОВАТЬ местоположение, antonimus (?), 01:13 , 04-Июн-20, (81) Он постоянно в лужи газует, не обращайте внимания 128516 , Аноним (179), 10:18 , 04-Июн-20, (179) +3 Работа такая Как в песне наша служба и опасна, и трудна , Anonymoustus (ok), 12:53 , 04-Июн-20, (216) +2 А если новость почитать - там однако про ширпотреб, обычные ЯП, работу с отказам, Аноним (-), 01:06 , 08-Июн-20, (549) БРАВО , Аноним (148), 09:57 , 04-Июн-20, (172) Это сильнее всего актуально для спутников и проч, которые атмосферой не защищены, Аноним (-), 23:21 , 03-Июн-20, (48) Даже если там что-то и деградирует заменить серийный процессор ничего не стоит , Аноним (49), 23:22 , 03-Июн-20, (49) +1 // Прямо между сбросами ступней 129303 , Фотошоп лучше (?), 23:32 , 03-Июн-20, (59) +1 // А ты думал, для чего робота Федора на орбиту посылали , Аноним (70), 01:21 , 04-Июн-20, (84) Чтобы послать на орбиту Михалыча, который будет спасать робота от конфуза , Аноним (104), 03:31 , 04-Июн-20, (108) +2 На низких орбитах мало и радиации и частиц, там вон люди живут, и наноспутники н, anonymous (??), 04:25 , 04-Июн-20, (114) // Спасибо, интересно В статье рассматриваются процессоры с техпроцессом 20 летней , Аноним (20), 07:06 , 04-Июн-20, (133) // Нет там никаких 3, 5 и так далее И даже 14 8212 не 14 Это маркетинговая шел, Anonymoustus (ok), 12:57 , 04-Июн-20, (220) Да это понятно, что срезают углы Я когда-то читал, что 5 с нынешними уже новым, Аноним (20), 17:59 , 04-Июн-20, (312) Сходи на Хобот, почитай тамошних гуру о том, что 14 нм это антиквариат и старьё,, Anonymoustus (ok), 18:57 , 04-Июн-20, (332) +1 Почему же не имеют Вон на гитхабе лежит офигенный экспонат прямой синтез RF пу, Аноним (-), 14:41 , 05-Июн-20, (459) для начал должны пробить металлический корпус А что эффективнее - защищать кажд, КО (?), 09:24 , 04-Июн-20, (152) // Ходят слухи, что одна такая частица попавшая в металлический корпус т е не из , Аноним (20), 18:43 , 04-Июн-20, (324) // Его совершенно не обязательно выносит фатальным образом В СССР как обычно делал, Аноним (-), 14:43 , 05-Июн-20, (460) И что удивительного Топовые камни для потребления же У самого полуторогерцовый, Anton (??), 22:35 , 03-Июн-20, (21) –2 // Просто поизучай, что такое i80186https books google com ua books id IUMCAAAAIA, antonimus (?), 22:58 , 03-Июн-20, (36) // Что там изучать Есть видео на YouTube У Бачило КПК на таком проце Работает от, Аноним (61), 23:37 , 03-Июн-20, (63) // У кого Я только про 286 слышал и то в начале 2000 х, Карабьян (?), 05:27 , 04-Июн-20, (124) 80186 это была у интела такая попытка сделать что-то вроде жирного на то время м, Cradle (?), 14:49 , 04-Июн-20, (276) А щас их выпускают Про процессор отдельно этот тоже интересно в начале 2000 во, Карабьян (?), 16:58 , 04-Июн-20, (303) даже выпускают, на digikey есть, порядка 16 за штуку https www digikey com pr, Cradle (?), 17:09 , 04-Июн-20, (305) Если сравнить с core i9 D Хотя навернрое просто забыли уже что это такое , Аноним (349), 20:02 , 04-Июн-20, (350) Может доживем, когда код откроют и можно будет собрать из исходников ПО для свое, Вы забыли заполнить поле Name (?), 22:38 , 03-Июн-20, (22) +6 // Прикупаем 6 соток на Марсе Одна проблема, там инет еще не завезли, Аноним (52), 23:26 , 03-Июн-20, (52) +1 // IPFS же, ну , Аноним (-), 23:28 , 03-Июн-20, (55) +1 как это не завезли А как тогда марсоходы свои фотки постят , aa (?), 07:38 , 04-Июн-20, (134) +7 // Через весьма специфичный дальнобойный линк, разумеется Не слишком похожий на ин, Аноним (-), 14:45 , 05-Июн-20, (461) Какие марсоходы Те, что на рендере , Имя (?), 21:36 , 05-Июн-20, (494) А таки Marcus FXJ Oberhumer известный алгоритмами сжатия тоже рендер А то понту, Аноним (-), 01:08 , 08-Июн-20, (550) А саму ракету собрать не надо И если да то как это выглядит Я знаю несколько с, Аноним (-), 23:27 , 03-Июн-20, (54) // Если пользуешься Linux BSD, то собрать ракету не так уж и сложно , Аноним (151), 09:29 , 04-Июн-20, (157) +1 // Пока нанороботов способных запустить на себе Linux нету А так да, взял полведра, Аноним (349), 20:03 , 04-Июн-20, (351) На 3д-принтере распечатать, Аноним (161), 09:35 , 04-Июн-20, (161) Куда , antonimus (?), 23:31 , 03-Июн-20, (57) Кстати, кому интересно про FSD чип в Теслах - https en wikichip org wiki tesla, Аноним (30), 22:46 , 03-Июн-20, (26) +5 // Судя по описанию чипа скоро живые космические корабли перестанут быть фантастико, Аноним (62), 23:32 , 03-Июн-20, (58) // Пошёл докачивать lexx в честь космонавта В 98 он был круче правда, сегодня уже , Аноним (20), 02:55 , 04-Июн-20, (103) // Маск довольно любопытный тип Если посмотреть откуда он имена барж взял, мало не, Аноним (-), 20:39 , 07-Июн-20, (540) А годами работающие решения на форте Используют килобайты и килогерцы Патамушт, antonimus (?), 22:49 , 03-Июн-20, (28) +1 // Си прекрасно живет на фигне с килобайтами С килогерцами тоже можно, просто медл, Аноним (62), 23:34 , 03-Июн-20, (60) +3 // Жить и работать - это две большие разницы Но для форума лишний хайп - это таки п, antonimus (?), 01:01 , 04-Июн-20, (78) // У меня есть парочка тривиальных фириварин весом в 1-2 кило, с использованием пар, Аноним (349), 20:10 , 04-Июн-20, (353) +1 С этим они погорячились, я считаю Сенсорные интерфейсы хороши для девочек с ног, Anonymoustus (ok), 20:58 , 04-Июн-20, (378) Планшеты были для суровых условий на винде году эдак в 94, Карабьян (?), 04:37 , 05-Июн-20, (397) Там на стэкэксчанже комент что мол, не нервничайте, это всего лишь морда, незави, Аноним (-), 14:49 , 05-Июн-20, (462) А, понятно покормите собак и ничего не трогайте руками , Anonymoustus (ok), 20:36 , 05-Июн-20, (492) В идеале как-то так Человек медленный, мануально жать все кнопочки вовремя вмес, Аноним (512), 17:54 , 06-Июн-20, (512) Ох, камрад, не старайтесь Нонешние, которые кончают от Маска, - настолько невеже, Аноним (148), 10:08 , 04-Июн-20, (176) –1 кстати, байки про радстойкость в 70-х появились из тогдашнего хайпа вокруг техно, Cradle (?), 14:32 , 04-Июн-20, (271) Форт скриптота же Да и читаемость не оч , Сишник (?), 16:06 , 04-Июн-20, (293) // это скорее такой ассемблер для двухстэковой виртуальной машины даже если автор , Cradle (?), 16:29 , 04-Июн-20, (296) // Вообще прикольно с виртуальной машиной на скорость нативного си быковать , Аноним (-), 20:12 , 04-Июн-20, (354) у форта виртуалка действительно довольно шустрая, по причине примитивности В св, Cradle (?), 23:48 , 04-Июн-20, (393) +1 gt оверквотинг удален Было бы интересно с теми же структ и юнион на современны, Карабьян (?), 04:40 , 05-Июн-20, (398) тогдашние тесты не сохранились конечно, да и машинка была 286, вряд ли это было , Cradle (?), 10:29 , 05-Июн-20, (422) Хотя Вы немножечко о другом, но субъективно кажется, что турбоси даже не O0 у со, Карабьян (?), 11:13 , 05-Июн-20, (433) А, понимаю, сравнить прогресс в компайлерах, от тогдашнего борланда к современны, Cradle (?), 12:29 , 05-Июн-20, (438) Борланд точнее, та смесь бульдога с носорогом, которую они наспех выпустили как, Michael Shigorin (ok), 12:50 , 05-Июн-20, (442) может быть конечно что я его с паскалем путаю, сколько воды утекло уже С другой, Cradle (?), 13:56 , 05-Июн-20, (453) Да, я имел в виду именно так сравнивать относительно соответствующего асм-кода,, Карабьян (?), 14:23 , 05-Июн-20, (457) только тогда уж не с вручную написанным ассемблером сравнивать, а просто проанал, Cradle (?), 15:22 , 05-Июн-20, (466) Там есть еще довольно неопределенный фактор квалификации ассемблерщика И в случ, Аноним (512), 17:56 , 06-Июн-20, (513) Это да, что подразумевает наличие нескольких эталонных версий на ассемблере, каж, Карабьян (?), 18:17 , 06-Июн-20, (518) Фокус ситуации в том что софт и железо как бы это сказать, эволюционируют вместе, Аноним (531), 20:02 , 06-Июн-20, (529) Дохрена и больше , Аноним (-), 16:10 , 05-Июн-20, (469) Это очередной наброс что на 100 многоразовых ракет использует линукс , Аноним (49), 22:49 , 03-Июн-20, (29) // Это просто очередной наброс , antonimus (?), 22:54 , 03-Июн-20, (34) +3 Многоразовых ракет не существует Инфа 100 Гуглить ракета многоразовая , antonimus (?), 00:58 , 04-Июн-20, (76) –4 sed s The trampoline Linux is working, Аноним (31), 22:51 , 03-Июн-20, (31) +8 // Он - НЕ работает Он - функционирует , Аноним (148), 10:26 , 04-Июн-20, (184) // функционирует, если тумана и ветра нет , Аноним (241), 13:32 , 04-Июн-20, (241) // А чего с Linux случается в туман и ветер , Аноним (-), 02:34 , 08-Июн-20, (552) Писали же еще Powerpc там еще есть, как раз где-то в районе микроконтроллеров, Аноним (38), 23:02 , 03-Июн-20, (38) +2 Я видел там Экран с Windows 10 , srgazh (?), 23:02 , 03-Июн-20, (39) –1 // Секта свидетелей винды, не иначе, Карабьян (?), 09:40 , 04-Июн-20, (164) А могли бы FreeBSD использовать Тогда бы полетели сразу без отложения запуска , Аноним (41), 23:06 , 03-Июн-20, (41) // Да, сразу отложили бы в спуск , antonimus (?), 23:19 , 03-Июн-20, (47) +2 Запускать FreeBSD на эмбедовке желающих нынче немного Потому что есть некая раз, Аноним (62), 23:38 , 03-Июн-20, (64) +2 // Именно первые домучали-таки линух до вливаний от грандов отрасли и так и не смог, Аноним (148), 10:12 , 04-Июн-20, (177) // И как видим - все это оказалось к лучшему Для пингвина, конечно Так что теперь, Аноним (-), 16:18 , 05-Июн-20, (470) Они могли бы много чего использовать Но не использовали, потому что незачем , burjui (ok), 00:05 , 04-Июн-20, (68) +2 // незачем - обычно у тех, кто с ограниченным кругозором Один, вот, всё спорил с , Аноним (148), 10:23 , 04-Июн-20, (182) –2 // Ну хорошо, допустим, прогеры Маска заменят Linux на FreeBSD Что это даст , burjui (ok), 17:32 , 04-Июн-20, (310) Много долботни на ровном месте , Аноним (-), 16:18 , 05-Июн-20, (471) –1 ЧСХ - микроядром того самого профессора , Аноним (-), 18:40 , 04-Июн-20, (322) +2 Походу аноним в курсе ME, зачот , Аноним (-), 20:13 , 04-Июн-20, (355) +1 Кстати говоря, микроведро того самого профессора в состоянии установленной и кое, Anonymoustus (ok), 21:03 , 04-Июн-20, (379) О, привет они там вроде бы файрфокс браузер в прошлом году портировали на сист, Карабьян (?), 04:42 , 05-Июн-20, (399) Теперь весь мир использует гибридные ядра, Карабьян (?), 04:43 , 05-Июн-20, (400) А был бы роллинг дистр, пришлось бы за полёт пару раз апгрейд сделать, Аноним (52), 00:00 , 04-Июн-20, (66) +5 // взлетают звездонавты, а на сенсорных экранах ваш браузер устарел , Аноним (241), 13:34 , 04-Июн-20, (242) +2 // Извините, производится пересборка вашей панели Please stand by , Аноним (-), 20:14 , 04-Июн-20, (356) +1 У меня вчера на VDSке Stretch после обновления стал выкатывать ошибку initramfs-, Аноним (273), 14:38 , 04-Июн-20, (273) –1 Маску надо свой дистр запилить Типа SpaceX-Linux С его пробивными возможностя, Аноним (69), 00:19 , 04-Июн-20, (69) +1 // Чтобы очередной пакетный мененджер выдавал Failed при обновлении из-за того, что, Аноним (104), 03:34 , 04-Июн-20, (109) +2 // Там будет все из ракеты зачеркнуто из коробки, Карабьян (?), 05:32 , 04-Июн-20, (125) +1 // Скорее из ступени, которая отваливается, Аноним (151), 09:30 , 04-Июн-20, (158) +2 SpaceD-Linux , Аноним (387), 22:56 , 04-Июн-20, (387) Раньше на FORTH писали, даже для атомных станций, вспомните книгу Семенова Тепе, Аноним (73), 00:43 , 04-Июн-20, (73) +3 // Не удивительно, что у него все старшыпы взрываются, Аноним (241), 03:24 , 04-Июн-20, (105) +1 // А чо, с фортом криогенные клапаны не клинят и датчики кверхногами не мешают , Аноним (-), 16:21 , 05-Июн-20, (472) На атомных тот же си теперь, Карабьян (?), 05:33 , 04-Июн-20, (127) в той книге вообще странные для советского читателя девайсы упоминались, вроде м, Cradle (?), 12:07 , 04-Июн-20, (196) +3 // Наоборот, CAMAC для СССР стандартная вещь была Работали не помню, уже в импортн, Vanych (?), 20:52 , 04-Июн-20, (375) +2 // вот кстати да, правда не знал что они там были, вот тут о них есть немного в се, Cradle (?), 22:46 , 04-Июн-20, (386) +1 Спасибо, интересно вспомнить Мы CAMAC модули конечно разбирали, ремонтировали Н, Vanych (?), 23:02 , 04-Июн-20, (388) +1 Только один вопрос какие функции в команде выполняют 34 человека Одного менедж, antonimus (?), 00:54 , 04-Июн-20, (74) +3 // Для стендапера с дипломом ВШЭ - 10 10 , Аноним (148), 09:48 , 04-Июн-20, (168) Главное - чтобы он был эффективным , YetAnotherOnanym (ok), 10:21 , 04-Июн-20, (181) +1 // Судя по коментам Рогозина в твиттере с этим у него полный порядок , Аноним (-), 20:15 , 04-Июн-20, (357) Например, встреча с синими человечками и разбор полётов, кто, кому и сколько дол, antonimus (?), 01:20 , 04-Июн-20, (82) Вот, спрашивается, нахрена Они ж там наверняка не играют в ААА-игры , Timoteo Cirkla (ok), 01:24 , 04-Июн-20, (85) // Может им так привычнее Типа чувствуешь себя как дома предполагается, что у них, Вы забыли заполнить поле Name (?), 01:47 , 04-Июн-20, (94) // если брать критерий привычки, то почему не iOS думается, что все-таки дело в спе, Аноним (162), 09:35 , 04-Июн-20, (162) Видимо просто притащили ноут на МКС И там оставили Он работает, ну и не будут , Аноним (-), 20:16 , 04-Июн-20, (360) // Не блюдет Маск гигиену, сколько вирусни на орбиту за пределы Земли вывезли А ес, Vanych (?), 20:56 , 04-Июн-20, (377) +2 This content is not available in your country , antonimus (?), 01:32 , 04-Июн-20, (89) –1 SpaceX использует Вас Всех Введите код, изображенный на картинке 65532 , antonimus (?), 01:39 , 04-Июн-20, (90) на орбите раньше вполне нормально работали 580 и 176 кмоп серияна радиолюбительс, 0ffh (??), 01:41 , 04-Июн-20, (92) +1 // Работало-то оно нормально на них, потому, что их конструктивное исполнение было , Аноним (148), 09:46 , 04-Июн-20, (167) +1 // обычное исполнениерадиолюбители на то и радиолюбители что их поделки в климатиче, 0ffh (??), 15:09 , 04-Июн-20, (281) +1 // Может они просто почитали про радиоактивные пояса и попросили орбиту без этого с, Аноним (575), 07:48 , 20-Июн-20, (575) 580 n-моп, они тиристорному эффекту не подвержены скорее всего в отличие от кмоп, Сишник (?), 16:10 , 04-Июн-20, (294) +2 // там похоже не столько тиристорный эффект мешает сколько накопление статических з, Cradle (?), 17:27 , 04-Июн-20, (308) +2 // А правда ли, что сейчас гамма-фон растет , Карабьян (?), 05:30 , 05-Июн-20, (404) да кто его знает, я то софт для наземных девайсов разрабатываю, просто в девянос, Cradle (?), 15:29 , 05-Июн-20, (467) +1 Когда думаешь, что космический софт пишут на какой-нибудь функциональной лабуде , Аноним (100), 02:07 , 04-Июн-20, (100) –1 // На многоразовых Шаттлах тоже летали некоторое время Но потом что-то случилос, Аноним (241), 03:27 , 04-Июн-20, (107) +2 // На КК Союз на примерно 150 полетов экипаж погибал дважды бывало когда повезло , anonymous (??), 04:36 , 04-Июн-20, (115) –4 // Трое погибших на заре становления космонавтики vs 14 в конце 20 века и в на, Аноним (241), 05:06 , 04-Июн-20, (120) +4 И вот к чему это Союз это эволюционное 3 поколение Восток,Восход,Союз простейш, anonymous (??), 05:33 , 04-Июн-20, (126) Это - к тому, что есть нормальное объективное обсуждение технических вопросов, , Аноним (148), 09:44 , 04-Июн-20, (166) +4 буквально вчера читал - боинг возобновил производство мах, 0ffh (??), 23:43 , 04-Июн-20, (392) А теперь смотрим на задачи, автономно выполненные Бураном , и сложнейший шатл, Michael Shigorin (ok), 10:15 , 05-Июн-20, (413) –2 Стоять аттракционом для туристов Это походу была самая полезная из задач Никогд, Аноним (-), 16:30 , 05-Июн-20, (473) –2 Хохол - это судьба - Соболезнования Ну да - он смог то же что и Буран Всего т, _ (??), 22:03 , 05-Июн-20, (497) +1 У хохлов таких аттракционов не было вроде бы Ну так и задачи он решает в других , Аноним (512), 18:00 , 06-Июн-20, (514) –1 Зато они умудрились как минимум один раз Зенит 3SL в 2012 или 13 году геометриче, FF (?), 19:03 , 02-Июл-23, (582) какие задачи мог выполнить буран в первом испытательном полете, кроме программы , Михрютка (ok), 00:41 , 06-Июн-20, (501) А представляете себе как круто было с статистикой авиапроисшествий в эпоху брать, Аноним (-), 20:20 , 04-Июн-20, (363) тем не менее, катапульты изначальным дизайном были предусмотрены Как и возможно, пох. (?), 13:23 , 04-Июн-20, (234) Что самое интересное - кабина одного из шаттлов после бабаха осталась относитель, Аноним (-), 20:23 , 04-Июн-20, (364) никогда не предусматривались их применение в такой системе неоправданно на эта, Михрютка (ok), 21:07 , 04-Июн-20, (381) +1 Возможно, количество за килограмм выводимого груза тогда сильно уступало росси, Аноним (423), 13:02 , 05-Июн-20, (446) В авианосце GB используют Windows XP и не планируют менять Не юмор Новость вро, Аноним (116), 04:52 , 04-Июн-20, (116) +1 // Тоесть как я понял авианосец под управлением XP , Аноним (116), 04:53 , 04-Июн-20, (117) // Возможно, там карты, штурманское оборудование и проч , Карабьян (?), 09:40 , 04-Июн-20, (163) // угу, орудия в 94м заклинило - из-за карт, конечно персонал проинструктирован н, пох. (?), 12:58 , 04-Июн-20, (222) +1 Существовал ХР для Intel Itanium, Аноним (8), 13:15 , 04-Июн-20, (227) значит, инструкцию просто сохранили , пох. (?), 13:17 , 04-Июн-20, (229) Titainic Edidtion, Сишник (?), 18:50 , 04-Июн-20, (329) +1 Меня всегда интересовал ответ на вопрос прикладной софт для этой винды надо ком, Anonymoustus (ok), 19:06 , 04-Июн-20, (333) Я бы не надеялся Последнияя машина запускавшая XP Itanium более 15 лет назад вы, Аноним (70), 19:38 , 04-Июн-20, (343) да Эмулятором оно не оборудовано Было что там в 2008 не в курсе, может уже и , пох. (?), 20:37 , 04-Июн-20, (368) У нас в коллекции есть живой итаник с ВМК, заходите в гости при случае контачит, Michael Shigorin (ok), 10:19 , 05-Июн-20, (414) теперь он наконец-то может безнаказанно поделить на ноль , пох. (?), 12:59 , 04-Июн-20, (223) +4 да, анекдот времен виндовс95, идут двое программистов - слыхал, в самолете с тех, Аноним (266), 14:25 , 04-Июн-20, (266) +3 А уничтожение целей противника выполняется посредством помещения цели в корзину , Аноним (423), 13:05 , 05-Июн-20, (447) когда то я работал на станке чпу с виндой хпно при загрузке мелькало - винд рива, 0ffh (??), 15:12 , 04-Июн-20, (283) // в банальной экшн-камере или еще более банальном китайском модеме твой линyпс исп, пох. (?), 20:40 , 04-Июн-20, (371) // Самое поразительное, что я на эту тему видел лет десять назад -- это какой-то , Michael Shigorin (ok), 10:21 , 05-Июн-20, (415) 1 vxworks - частный случай RTOS а2 сейчас модно фирмвару сотового модема с эти, Аноним (-), 16:49 , 05-Июн-20, (479) Насколько помню, смысл одночиповой оптимизации шёл от другого -- физически разде, Michael Shigorin (ok), 16:53 , 05-Июн-20, (480) А сейчас нет никаких проблем утолкать 2 логически разных и относительно независи, Аноним (-), 18:09 , 06-Июн-20, (516) rtos в данном случае имя собственное и принадлежит expresslogic На vxworks не, пох. (?), 17:33 , 05-Июн-20, (485) +1 Сейчас RTOS - имя нарицательное Означающее Real Time Operating System И то что, Аноним (517), 18:17 , 06-Июн-20, (517) на дворе 2020 год, если вы подхватили линукс, то vxworks будет тупо сожран бо д, Михрютка (ok), 00:14 , 06-Июн-20, (499) говорят тебе - в банальном китайском модеме - vxworks и шаринг одного процессора, пох. (?), 12:39 , 06-Июн-20, (507) В сотовом модеме видите ли жесткий реалтайм надо Линух никогда не делался для т, Аноним (517), 18:20 , 06-Июн-20, (519) Если мне не изменяет склероз, добиться от линуха жёсткого реалтайма проблематичн, Anonymoustus (ok), 18:33 , 06-Июн-20, (522) 1 Потому что в модеме для начала не x86 а как правило ARM Его можно видите ли , Аноним (-), 02:07 , 07-Июн-20, (536) Раньше на каждом углу писали, что у космонавтов исключительно ThinkPad ы Теперь, Nuzhny (?), 06:48 , 04-Июн-20, (130) +3 // Это было ещё до продажи бренда китайцам , Аноним (148), 10:20 , 04-Июн-20, (180) +3 Теперь совсем не те ThinkPad ы Одно название осталось , Anonymoustus (ok), 13:21 , 04-Июн-20, (232) +2 640 кб хватит всем 386 -- вечен , Аноним (137), 08:11 , 04-Июн-20, (137) –1 Не, не SX 80386EX 40 MHz, их потому что закупили целый ж д состав, очень много , Аноним (142), 08:59 , 04-Июн-20, (142) +1 // а вот не поверите, эланы не только 520 были, там серия от довольно маленьких 386, Cradle (?), 12:16 , 04-Июн-20, (198) +1 и не слово про iOS, Аноним (162), 09:28 , 04-Июн-20, (156) –3 // Они пока допрогрессировались только до отправки истеричек на орбиту, если что , Michael Shigorin (ok), 10:23 , 05-Июн-20, (417) // Эк вы жестко про мадам обнуление , Аноним (-), 16:32 , 05-Июн-20, (474) –1 // Ну обнулить себя той дыркой вполне могла, это да , Michael Shigorin (ok), 17:01 , 05-Июн-20, (483) Что вы имеет против iOS Вполне решает свои задачи https tehnot com wp-content, Hck3r (?), 18:35 , 05-Июн-20, (487) А какие у нее там задачи Развлекать космонавта пока они летят к МКС По менюхе , Аноним (-), 18:32 , 06-Июн-20, (521) Истерикой на орбите Да, это дыра в биографии, но благодарные почитатели нашли п, Аноним (-), 18:31 , 06-Июн-20, (520) Интересно, кто-то из обсуждателей, хотя бы видел платы для работы в условиях саб, Аноним (148), 09:41 , 04-Июн-20, (165) +6 // A что платы, их только на вибрацию правильно тестировать нужно Да и вся комплек, Cradle (?), 12:28 , 04-Июн-20, (202) +1 Устанавливаешь линукс в дуалбут с виндой Тормозит Пишешь в чат Несколько разн, Zenitur (ok), 10:00 , 04-Июн-20, (173) +3 // Решение простое использовать не уже почти совсем уже скоро чуть-чуть подождать , Anonymoustus (ok), 14:04 , 04-Июн-20, (255) +1 // У меня чуть другое -- особенно с учётом того, что Патрик на Эльбрус пока не восх, Michael Shigorin (ok), 10:26 , 05-Июн-20, (419) знаете, это потому что мы сейчас в состоянии ранних средневековых городов, строи, Cradle (?), 14:04 , 04-Июн-20, (256) +2 // Хорошо сказано , Michael Shigorin (ok), 10:27 , 05-Июн-20, (420) Какая прелесть, особенно насчёт повторного запуска Народ, неужели непонятно, что, YetAnotherOnanym (ok), 10:03 , 04-Июн-20, (175) +2 // Вы раньше успели Я на этом абзаце тоже споткнулся Несколько раз перечитал Бо, Аноним (148), 10:17 , 04-Июн-20, (178) +4 // Угу очень странно , YetAnotherOnanym (ok), 12:41 , 04-Июн-20, (209) каков научпоп, таков и приход , Cradle (?), 12:49 , 04-Июн-20, (213) +6 // Это был даже не научпоп http img montazne-kuce info img fakt-2019 ilon-mask-, Michael Shigorin (ok), 10:29 , 05-Июн-20, (421) Теперь роскосмосу только и остается что сдохнуть от е го стыда полным составом, Аноним (-), 18:37 , 06-Июн-20, (523) Тут важно сампроцессор сбросить перезапустить, особенно при повышенной радиации , Карабьян (?), 10:41 , 04-Июн-20, (186) +1 // Насколько я понимаю, если ядро бэкапит снапшот процесса, а потом восстанавливает, YetAnotherOnanym (ok), 12:39 , 04-Июн-20, (207) +1 // gt оверквотинг удален В описанной в новости системе данные потом поступабт на , Карабьян (?), 16:35 , 04-Июн-20, (297) а может просто с датчиков заново считывается - все равно, пока он там рестартилс, пох. (?), 12:56 , 04-Июн-20, (219) +1 // Главное, штоп датчики у Маска не вверх ногами были , Anonymoustus (ok), 14:05 , 04-Июн-20, (257) Хорошо бы, конечно, уметь остановить ракету мир на это время, но пока даже Маску, Карабьян (?), 16:36 , 04-Июн-20, (298) А зачем Если нужен актуальный state - взять его с исправного соседа, например , Аноним (-), 16:43 , 05-Июн-20, (476) Я это понял так повторяют последнюю команду пока результаты не совпадут, Иван (??), 11:49 , 04-Июн-20, (190) // а ракета всё это время будет на месте висеть и ждать Нет, это работает не , Аноним (241), 12:58 , 04-Июн-20, (221) +1 Нет, это не так Три железки считают и в конечном итоге присылают свое мнение а, Аноним (-), 20:30 , 04-Июн-20, (366) // а если постопило 3 разных сигнала причем все три правильных , Аноним (577), 14:23 , 02-Июл-20, (577) там systemd, оно очень быстро перезагружается - На самом деле, конечно, можно , пох. (?), 12:45 , 04-Июн-20, (211) // Прям взлетает М б там на все ожидаемые комбинации параметров полёта скорост, YetAnotherOnanym (ok), 18:57 , 04-Июн-20, (331) в 1969 году перезапуск управляющего ПО во время посадки вполне себе представляли, Михрютка (ok), 19:58 , 04-Июн-20, (347) +2 Скрыто модератором, Wolfy (?), 12:00 , 04-Июн-20, (194) +2 // Скрыто модератором, Аноним (241), 12:52 , 04-Июн-20, (215) Скрыто модератором, пох. (?), 12:54 , 04-Июн-20, (218) +1 // Скрыто модератором, Wolfy (?), 13:09 , 04-Июн-20, (225) // Скрыто модератором, пох. (?), 13:57 , 04-Июн-20, (251) Скрыто модератором, Wolfy (?), 14:13 , 04-Июн-20, (260) +1 Скрыто модератором, пох. (?), 14:19 , 04-Июн-20, (264) Скрыто модератором, Wolfy (?), 14:26 , 04-Июн-20, (267) Скрыто модератором, злой админ (?), 20:16 , 04-Июн-20, (359) Скрыто модератором, злой админ (?), 20:17 , 04-Июн-20, (361) Скрыто модератором, пох. (?), 20:43 , 04-Июн-20, (372) Скрыто модератором, злой админ (?), 23:04 , 04-Июн-20, (389) Скрыто модератором, YetAnotherOnanym (ok), 20:46 , 04-Июн-20, (374) –1 Скрыто модератором, злой админ (?), 23:14 , 04-Июн-20, (391) Скрыто модератором, YetAnotherOnanym (ok), 13:05 , 05-Июн-20, (448) –1 Скрыто модератором, InuYasha (?), 15:14 , 04-Июн-20, (284) // Скрыто модератором, Wolfy (?), 16:12 , 04-Июн-20, (295) // Скрыто модератором, Аноним (373), 20:44 , 04-Июн-20, (373) Скрыто модератором, Wolfy (?), 22:13 , 04-Июн-20, (384) Скрыто модератором, Аноним (217), 12:53 , 04-Июн-20, (217) +1 // Скрыто модератором, Аноним (241), 13:24 , 04-Июн-20, (235) +1 // Скрыто модератором, Аноним (217), 13:35 , 04-Июн-20, (243) // Скрыто модератором, Аноним (217), 13:37 , 04-Июн-20, (244) +1 Скрыто модератором, Аноним (241), 14:20 , 04-Июн-20, (265) Скрыто модератором, пох. (?), 13:39 , 04-Июн-20, (246) –1 // Скрыто модератором, Anonymoustus (ok), 14:08 , 04-Июн-20, (258) Скрыто модератором, пох. (?), 14:14 , 04-Июн-20, (261) +1 Скрыто модератором, Anonymoustus (ok), 17:05 , 04-Июн-20, (304) Скрыто модератором, Аноним (563), 15:57 , 09-Июн-20, (563) Скрыто модератором, Аноним (241), 14:12 , 04-Июн-20, (259) +2 Скрыто модератором, пох. (?), 14:27 , 04-Июн-20, (268) Скрыто модератором, Аноним (241), 14:53 , 04-Июн-20, (277) +1 Скрыто модератором, пох. (?), 16:42 , 04-Июн-20, (300) Скрыто модератором, Аноним (241), 14:15 , 04-Июн-20, (262) +1 Скрыто модератором, Аноним (217), 13:18 , 04-Июн-20, (230) // Скрыто модератором, Аноним (241), 13:27 , 04-Июн-20, (237) –1 // Скрыто модератором, пох. (?), 13:30 , 04-Июн-20, (239) +2 // Скрыто модератором, Аноним (217), 13:32 , 04-Июн-20, (240) +1 Скрыто модератором, пох. (?), 13:42 , 04-Июн-20, (250) Скрыто модератором, Михрютка (ok), 18:48 , 04-Июн-20, (328) Скрыто модератором, пох. (?), 13:28 , 04-Июн-20, (238) // Скрыто модератором, Аноним (254), 14:04 , 04-Июн-20, (254) // Скрыто модератором, пох. (?), 14:29 , 04-Июн-20, (270) да не стесняйтесь, признавайтесь уже что на электроне , Аноним (248), 13:39 , 04-Июн-20, (248) +3 // не будут, это же понаписывают везде, электрон это круто, его даже Маск использу, Аноним (266), 14:29 , 04-Июн-20, (269) +1 // Да один комп в проекте на миллиард то можно прокачать до 16 Гб ОЗУ , Аноним (273), 14:41 , 04-Июн-20, (274) А как контроллер узнаёт что команда с одного компьютера ошибочная Что считать пр, Аноним (280), 15:02 , 04-Июн-20, (280) // в смысле Там банальная мажоритарная схема Два из трех совпали - значит, третий, пох. (?), 15:40 , 04-Июн-20, (290) // а falcon в это время летит и думает Щас ведь епнусь , Михрютка (ok), 18:43 , 04-Июн-20, (325) +1 Если тебе три компа прислали разные хотелки, кто-то из них определенно гонит Ес, Аноним (373), 20:40 , 04-Июн-20, (370) // Это простой кейс Когда осталось 2 компа что выбирать будем , Аноним (484), 17:09 , 05-Июн-20, (484) +1 // Происходит аномалия с , Аноним (241), 03:00 , 06-Июн-20, (505) Houston, we have a problem , Аноним (-), 18:40 , 06-Июн-20, (524) Хоспаде, код js и хромо макак просочился в космос Ну тут вссе, не видать нам ма, microsoft (?), 15:30 , 04-Июн-20, (287) // вам, шелопортянщикам локалхоста - да, не видать, Аноним (307), 17:23 , 04-Июн-20, (307) –2 // А если локалхост 386-й, есть шансы , Карабьян (?), 08:41 , 05-Июн-20, (408) +2 JS был написал за две недели ещё при недосыпе, его автор уже раскаялся, FF (?), 19:09 , 02-Июл-23, (583) Может кто знает, что обозначает написаное вот тут https en wikipedia org wiki , Аноним (302), 16:56 , 04-Июн-20, (302) // judge источник командactor исполнительконтроллер на ppc исполняет команду, выдан, Михрютка (ok), 18:35 , 04-Июн-20, (320) // Объясните мне ,кто знает, что там за контроллер, новый или старый, из 80х И он , Карабьян (?), 08:43 , 05-Июн-20, (409) // если ppc, то фрискейл какой-нибудь, наверное кто еще ядра на ppc клепает с вмен, Михрютка (ok), 10:01 , 05-Июн-20, (411) Спасибо, Карабьян (?), 11:27 , 05-Июн-20, (434) Судья и палач , YetAnotherOnanym (ok), 21:16 , 04-Июн-20, (382) +1 Кстати, на Аполлоне-11 не было сартира Звездонавтам приходилось пользоваться сп, злой админ (?), 10:30 , 05-Июн-20, (424) +1 // Первое, что найдут братья по разуму, посетившие нас с перевалочной базой на Лун, злой админ (?), 10:39 , 05-Июн-20, (427) +1 Нахрена сортир в несуществующий полёт Или, ты тоже веришь байкам, что козьменот, Имя (?), 21:46 , 05-Июн-20, (496) –1 // Ага, ща они еще настроят несуществующих баз - про которые однако российское прав, Аноним (525), 18:42 , 06-Июн-20, (525) –1 немного не так там три компьютера струны на первой ступени, три на второй , Михрютка (ok), 18:30 , 04-Июн-20, (318) Не хватило денег на QNX или VxWorks , Аноним (395), 01:56 , 05-Июн-20, (395) –1 // на qnx даже у циски денег не хватило , Михрютка (ok), 10:02 , 05-Июн-20, (412) +2 Мозгов не хватило, Аноним (241), 12:23 , 05-Июн-20, (437) // Можете как самый гроссмейстер показать этому выскочке мастеркласс Смогете на Ма, Аноним (-), 16:39 , 05-Июн-20, (475) –1 Так на C или на C Это разные языки , None (??), 04:55 , 05-Июн-20, (401) // Думаешь, они что ли разбираются, на чём пишут , Аноним (241), 12:22 , 05-Июн-20, (436) +1 Часть исходников на C, часть на C Чего непонятного , Аноним (423), 13:25 , 05-Июн-20, (449) эт вам не аналоговый вычислитель на 3-х лампах, который лу ноход сажал, Аноним (410), 09:44 , 05-Июн-20, (410) +2 // Он надёжнее , злой админ (?), 10:50 , 05-Июн-20, (430) Выложил бы кто-нибудь от Бурана исходники На чём вот у нас писали Он говорят , None (??), 12:59 , 05-Июн-20, (445) +2 // Кое-что есть http drakon su у меня на e2k собралось и работает , Michael Shigorin (ok), 13:45 , 05-Июн-20, (450) +1 // каким боком это фричество к исходникам бурана , что бы это ни означало господи,, Михрютка (ok), 00:00 , 06-Июн-20, (498) –2 // Дракон - потомок трёх языков ПРОЛ2, ДИПОЛЬ, ЛАКС , на которых ПО Бурана писали , Аноним (241), 02:53 , 06-Июн-20, (503) +1 а си - потомок ассемблера, фортрана и алгола и кобола, чтоб два раза не встават, Михрютка (ok), 10:34 , 06-Июн-20, (506) Ждём когда наши современные КК начнут на Байкалах да Эльбрусах летать , Hck3r (?), 18:39 , 05-Июн-20, (488) // А на чём они сейчас летают , Аноним (241), 02:58 , 06-Июн-20, (504) // Не знаю, скорее всего на основе микроконтроллеров что-то Беглый поиск дал такую, Hck3r (?), 14:21 , 06-Июн-20, (509) +1 Вот что ещё нашлосьhttps www npoa ru catalog katalog-produkcii-npoa raketno-ko, Hck3r (?), 14:31 , 06-Июн-20, (510) +1 // Это какая-то воронежская специфика, хотя буквосочетание Малахит попадалось на , Michael Shigorin (ok), 21:01 , 08-Июн-20, (558) А теперь сравните пиндосовские поделия с нет, не с Роскосмосом - с Китайскими, Имя (?), 21:42 , 05-Июн-20, (495) +2 // 1108 то ты сейчас про твердотопливные ракеты на которых китайцы в основном все, Аноним (502), 02:19 , 06-Июн-20, (502) // мы тоже так делали - а потом уп-с, прогорел корпус ускорителя Знаете, с жидкот, nasa (??), 12:43 , 06-Июн-20, (508) +2 // Это потому, что вы вместо цельной трубы брали 3 сегмента и стыковали их резиновы, Аноним (241), 18:05 , 06-Июн-20, (515) пока на систему подачи топлива и окислителя не посмотришь , Аноним (525), 18:45 , 06-Июн-20, (526) Оставлю-ка здесь и у себя в архиве ссылочку для любителей порассуждать о дёше, Michael Shigorin (ok), 20:58 , 08-Июн-20, (557) +1 // На рогозина грешат не за это, имхо, а 1 За жесткий застой отрасли и отсутствие , Аноним (-), 10:40 , 13-Июн-20, (564) 1,2,5,6,8,20,21,22,26,28,29,31,38,39,41,66,69,73,74,82,85,89,90,92,100,116,130,137,142,156,165,173,175,248,280,287,302,318,395,401,410,445,488,495,557

Сообщения

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

	40. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+3 +/–
	Сообщение от Аноним (-), 03-Июн-20, 23:05
	> Больше изумляет полное отсутствие хоть пары модулей на пихоне. Наверное, нам просто > забыли об этом рассказать. Судя по описанию системы им тупо не хотелось отвечать за дохлых космонавтов. Тройное резервирование + МК на последней линии вполне нормальное сочетание, имхо. Я бы ему свою тушку доверил. А на пихоне трабла в том что статического анализа нет. А узнать о том что у тебя баг в runtime на комическом корабле... "уже не то".
	Ответить | Правка | Наверх | Cообщить модератору

	83. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+3 +/–
	Сообщение от anonimous (?), 04-Июн-20, 01:20
	>Тройное резервирование + МК на последней линии вполне нормальное сочетание, имхо. Я бы ему свою тушку доверил. Проблема в том, что три копии программы с багом выдадут три одинаковых результата и все ок. Т.е. тушка все равно доверяется одной точке отказа. А от железных отказов это слегка спасает (при условии, что мажоритарная логика сама не сломается). Но вот вероятность отказа железа нынче несколько меньше, вероятности ошибок в коде. Или даже в логике заложенной в сам алгоритм. Например логику бобика 737 можно было хоть троировать, хоть десятирить и писать на расте+++, она бы все равно вогнала самолет в землю.
	Ответить | Правка | Наверх | Cообщить модератору

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

	112. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+/–
	Сообщение от anonymous (??), 04-Июн-20, 04:14
	>Ну так использование питона только ухудшает ситуацию, поскольку помимо багов в скрипте появляется риск получения багов рантайма Так ведь рантайм сейчас везде. В целом то это вопрос статистики. По ощущениям рантайм надежнее, чем самописный код, а железо надежнее всего. Вот только это все мимо, поскольку в реальности никто из них обычно и не виноват. И в случае с ариан-5, и в случае с Б737, и во многих других известных случаях, софт делал именно, то что задумывалось и как задумывалось. А проблема была в самом исходном алгоритме.
	Ответить | Правка | Наверх | Cообщить модератору

	118. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+/–
	Сообщение от Карабьян (?), 04-Июн-20, 04:59
	То есть было доказано соответствие софта алгоритму?
	Ответить | Правка | Наверх | Cообщить модератору

	148. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	–1 +/–
	Сообщение от Аноним (148), 04-Июн-20, 09:14
	Сначала правильность алгоритма докажите. А дальше  - пойдут нежданчики со стороны форматов представления данных, их выравнивания, округлений, точностей... И, даже с доказанным "соответствием алгоритму", вы не застрахованы от "фейерверков"...
	Ответить | Правка | Наверх | Cообщить модератору

	154. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+1 +/–
	Сообщение от Карабьян (?), 04-Июн-20, 09:25
	> Сначала правильность алгоритма докажите. > А дальше  - пойдут нежданчики со стороны форматов представления данных, их > выравнивания, округлений, точностей... > И, даже с доказанным "соответствием алгоритму", вы не застрахованы от "фейерверков"... Как раз ниже был приведен пример с переполнением в Аде
	Ответить | Правка | Наверх | Cообщить модератору

	321. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+/–
	Сообщение от Аноним84701 (ok), 04-Июн-20, 18:35
	> Сначала правильность алгоритма докажите. > А дальше  - пойдут нежданчики со стороны форматов представления данных, их выравнивания, округлений, точностей... Вообще-то, любой мал-мальско серьезный "formal verification" различает между понятиями "логика" и "реализация". И в нормальное доказательство соотв. конкретной реализации алгоритму, вот это все вышеупомянутое вполне входит. Классика: https://web1.cs.columbia.edu/~junfeng/09fa-e6998/papers/sel4... > Formal Verification of an OS Kernel > The most detailed layer in our verification is the C implementation. The translation from C into Isabelle is correctness-critical and we take great care to model the semantics of our C subset precisely and foundationally. Precisely means that we treat C semantics, types, and memory model ... > As kernel programmers do, we make assumptions about the compiler (GCC) that go beyond the standard, and about the architecture used (ARMv6). These are explicit in the model, and we can therefore detect violations. Foundationally means that we do not just axiomatise the behaviour of C on a high level, but we derive it from first principles as far as possible. For example, in our model of C, memory is a primitive function from addresses to bytes without type information or restrictions. On top of that, we specify how types like unsigned int are encoded, how structures are laid out, and how implicit and explicit type casts behave. We managed to lift this low-level memory model to a high-level calculus that allows efficient, ... > 4.4 Machine model > Programming in C is not sufficient for implementing a kernel. There are places where the programmer has to go outside the semantics of C to manipulate hardware directly. In the easiest case, this is achieved Недостаток (помимо требования нехилой такой квалификации): > seL4, a third-generation microkernel of L4 provenance, comprises 8,700 lines of C code and 600 lines of assembler. ... > The cost of the proof is higher, in total about 20 py. .
	Ответить | Правка | К родителю #148 | Наверх | Cообщить модератору

	454. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+/–
	Сообщение от Аноним (454), 05-Июн-20, 14:00
	Вообще, хорошо разжевано на https://space.stackexchange.com/posts/9446/revisions И как делают, и кто такой string и judge, и как это работает. И как они тестируют что это работает ("table rocket"). А что, они симулируют различные сбои и смотрят чего их система будет делать. Неплохо придумано.
	Ответить | Правка | Наверх | Cообщить модератору

	464. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+/–
	Сообщение от Аноним84701 (ok), 05-Июн-20, 15:00
	> Вообще, хорошо разжевано на https://space.stackexchange.com/posts/9446/revisions > И как делают, и кто такой string и judge, и как это Это совершенно другой уровень тестирования, никаким боком к формальной верификации "доказательства правильности алгоритмов" не относящийся.
	Ответить | Правка | Наверх | Cообщить модератору

	533. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+1 +/–
	Сообщение от Аноним (-), 06-Июн-20, 22:12
	Однако их тестовый сетап судя по описанию поймал бы факап ариана 5. В проекте ариана проблеяли нечто о том что это "сложно протестировать". А у Маска его "table rocket" должен такое поймать, раз реалистичную симуляцию прогоняют, с параметрами как в полете и случайными отказами. А о том что проц может хардварным эксепшном в тыкву дать адовики-затейники небось вообще забыли и всеми забытый обработчик сделал хрен его знает что, не специфичное для задачи, после чего стройная абстракция рассыпалась на квадратики, а плана B на этот случай вообще не было. Там же кстати и сказ о том как теоретики развели блабла про контракты и написали пример. И только одна рожа - разработчик локхидмартина занимающийся этими вещами - нашел в контракте :) баг, и довольно едко постебал все эти теоретизмы. Где-то тут и виден наглядный пример чем умозрительные подходы отличаются от инженерных, имхо.
	Ответить | Правка | Наверх | Cообщить модератору

	282. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+1 +/–
	Сообщение от Аноним (-), 04-Июн-20, 15:10
	> Так ведь рантайм сейчас везде На сях в микроконтроллере можно и совсем без рантайма. И собственно в last line of defence это не такая уж и глупая идея - когда все остальное вас уже подвело, будет очень кстати если хотя-бы это все-таки не лажанется. Поскольку это было последним что отделяет вас от бабаха. Может еще совсем хардварные защиты. Но если на Земле вырубить вон тот агрегат совсем может и нормально, то будучи на полпути к орбите вы можете и не испытать оптимизм от такого парирования проблемы. Врядли вам понравится в мертвом куске металла на полпути к звездам. Поскольку в этом случае вы таки умрете.
	Ответить | Правка | К родителю #112 | Наверх | Cообщить модератору

	135. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+2 +/–
	Сообщение от ананас (?), 04-Июн-20, 07:53
	С таким же успехом можно говорить и про C/C++, потому что там может случиться UB.
	Ответить | Правка | К родителю #104 | Наверх | Cообщить модератору

	252. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	–1 +/–
	Сообщение от Аноним (252), 04-Июн-20, 13:59
	Так это просто язык назван, может там использованы с ними либы или фреймворке для безопасной работы с указателями и прочее, пусть работу оно и замедлит, зато надежнее.
	Ответить | Правка | Наверх | Cообщить модератору

	455. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+/–
	Сообщение от Аноним (455), 05-Июн-20, 14:15
	> Так это просто язык назван, может там использованы с ними либы или > фреймворке для безопасной работы с указателями и прочее, пусть работу оно > и замедлит, зато надежнее. Когда вы уже чешете на орбиту, runtime error по поводу плохого указателя ничем не лучше плохого указателя.
	Ответить | Правка | Наверх | Cообщить модератору

	279. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+/–
	Сообщение от Аноним (279), 04-Июн-20, 15:01
	> потому что там может случиться UB. Думаете, они не смогли прогнать ubsan? Да, на _вашем_ космическом корабле я бы таки не полетел...
	Ответить | Правка | К родителю #135 | Наверх | Cообщить модератору

	141. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+2 +/–
	Сообщение от dannix (?), 04-Июн-20, 08:49
	Системы управления, которые участвуют в схеме резервирования, разрабатываются различными группами программистов, которым даже запрещено взаимодействовать друг с другом (во всяком случае так поступают в авиационной отрасли). К тому же эти системы исполняются на различных аппаратных конфигурациях.
	Ответить | Правка | К родителю #83 | Наверх | Cообщить модератору

	150. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+1 +/–
	Сообщение от Аноним (148), 04-Июн-20, 09:20
	Да, да, да, да.... :) Это - во всём мире заявляется.. и - везде же - на это и или кладётся, или - выдаётся, что это - именно так сделано. ОЧЕНЬ редка, где "по книжкам" делается. Да, и - потом, часто прикладная область настолько специализирована, что решения имеются в единственном подходе или методе и на всех дублирующих блоках "крутятся одни и те же реализации. И это может спасти только от аппаратных сбоев или ошибок на линиях связи.
	Ответить | Правка | Наверх | Cообщить модератору

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

	493. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+/–
	Сообщение от dannix (?), 05-Июн-20, 21:18
	Очевидно, что вы не можете знать, как делается "везде". Дело не "книжках", а в реальных требованиях, которые предъявляются к системам такого рода.
	Ответить | Правка | К родителю #150 | Наверх | Cообщить модератору

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

	233. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+2 +/–
	Сообщение от Я (??), 04-Июн-20, 13:23
	на космических кораблях отказ железа происходит чаще чем отказ софта..
	Ответить | Правка | К родителю #83 | Наверх | Cообщить модератору

	278. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"	+/–
	Сообщение от Аноним (279), 04-Июн-20, 14:59
	> Но вот вероятность отказа железа нынче несколько меньше, вероятности ошибок в коде. В космосе атмосфера не защищает от частиц. И магнитное поле слабее. Радиации больше чем на поверхности, сбои железа чаще. Особенно если годами, на высокой орбите, спутник или длительные путешествия в Марсу. Для ступеней которые едва высовываются из атмосферы и сразу назад не так критично, но все же фактор. > Т.е. тушка все равно доверяется одной точке отказа Можно и проинвертировать: если есть 3 разные программы, на 3 разных ЯП, логично ожидать минимум в 3 раза больше багов по их площади. И закидоны в интерфейсах, вероятно, квадратично. Так что логика 2-из-3 нервничать будет, видимо, в 9 раз чаще, когда результат счета разойдется. И чем больше тот механизм тыкать палочкой, да еще с разным кодом, тем выше вероятность что все три начнут хотеть разного. И тогда чего?! А чем больше рантайм и сложность ЯП - тем выше вероятность бага не только в ЯП, но и в окружении вокруг. Для питона вон вообще нет статического анализа - а рантайм еррор в космическом корабле - картинка "Your trial period is over" неплохо отражает общую идею. > Или даже в логике заложенной в сам алгоритм. И это тот случай, когда у людей должен быть override и желательно иметь какие-то иные алгоритмы, кросс-чекающие друг друга. И если уж об этом - бортовые системы самолетов это до некоторой степени делают. Понятно что все не предусмотришь. Но все-таки.
	Ответить | Правка | К родителю #83 | Наверх | Cообщить модератору

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

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