| 1.2, Аноним (2), 10:19, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –9 +/– |
Проблемы сертификации, хаотичности и культуры разработки решаются созданием отдельного специального дистрибутива, к чему нет никаких препятствий.
| | |
| |
| 2.7, Аноним (7), 10:29, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
А железо - не проблема?
Если все действия доверять софту, то вообще можно тогда и не пытаться в надежность.
| | |
| |
| 3.27, Аноним (-), 11:05, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> А железо - не проблема?
Многие проблемы на самом деле решаемы. В том числе и учетом что железо может быть и не идеально надежное.
> Если все действия доверять софту, то вообще можно тогда и не пытаться в надежность.
Железо может отказать так же как и софт. Там где это важно на этот случай должен быть какой-то план. Скажем резервирование систем. И какая разница, железо откажет или софт? При transient можно попытаться восстановить работу системы. При permanent - ну, упс, продолжаем уже без этой системы с пониженной надежностью.
| | |
| |
| 4.145, Аноним (145), 19:09, 02/07/2023 [^] [^^] [^^^] [ответить]
| +3 +/– |
 >Железо может отказать так же как и софт.
Относительно недавний случай: Самолёт спроектирован так, что без ассистента им управлять невозможно, благодаря этому удалось снизить расход топлива. Софт глюкнул из за проблем с датчиком и тянул триммер вниз, пока пилот тянул штурвал вверх. Итог понятен, самолёт влетел носом в землю. Я уверен, что там этих ассистентов было 2(резервирование выполнено) и оба уверенно желали пробурить планету насквозь.
| | |
| |
| 5.149, Аноним (149), 19:57, 02/07/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
И чего? Хренова куча самолетов убились по причинам от отпавших тросиков и проводочков этого паучьего месива до пилотов которые в том месиве приборов не смогли вообще понять в чем проблема, кто из кучи разных показаний врет - и тоже пробурили планету. Про небезопасные маневры и превышения параметров даже упоминать неудобно, этого вооооон там длинный список в той же википедии. И вообще, более 50% инцидентов это human factor. Человек самый проблемный и ненадежный элемент технических систем.
| | |
|
|
| 3.42, Аноним (42), 11:28, 02/07/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
Если ты думаешь, что железячники делают всё тип-топ и надёжно, то я тебя разочарую, но они такие же говноделы, которые ещё и любят скинуть проблемы с результатом их работы на программистов со словами "да они просто в коде в коде это поправят и всё".
| | |
|
| 2.9, tty0 (?), 10:31, 02/07/2023 [^] [^^] [^^^] [ответить]
| +4 +/– |
Они про ядро и его модули говорят. Не хотят они ничего создавать с нуля, хотят брать готовое или портировать уже имеющееся и тут возникают проблемы.
| | |
| |
| 3.106, Аноним (106), 15:55, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Мне тоже первое что в гоолову пришло - не нравится Линукс, напишите своё, удовлетворяющее всем потребностям.
| | |
| |
| |
| 5.236, Аноним (149), 17:11, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Зачем писать свое можно купить QNX там есть все что они хотят.
Если посмотреть фичи линуха и qnx то можно заметить что в qnx их "несколько" меньше. Ну скажем в qnx есть реализация эзернета с 0-м временем рекавери путем закольцовки систем с 2-я интерфейсов? При том зачем эйрбасу такая конструкция нужна бывает - несложно догадаться. И в линухе нанять ядерных кодеров да допрогать - вариант. А в qnx - ну попробуйте это.
| | |
| |
| 6.270, Аноним (169), 02:01, 04/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Ну это можно дописать, а вот что с верифицируемостью,надежностью, модульностью и всем прочим в линуксе? За сколько можно дописать?
| | |
| |
| 7.271, Аноним (149), 04:19, 04/07/2023 [^] [^^] [^^^] [ответить] | +/– | Да Ну покажите это Может еще за разумные сроки и деньги А то еще и с адекватн... большой текст свёрнут, показать | | |
|
|
|
|
| 3.141, Аноним (141), 18:20, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Если чего то хочешь , то вложись деньгами или наими кодеров. А то хотят плюшки и притом что бы кто то это сделал за них. Халявщики. Многие компаний это поняли и пилят нужные им фичи сами. Google, Facebook , Amazon и другие.
| | |
|
| |
| 3.21, Аноним (21), 10:52, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Оформляешь ядро тарболом и вот уже ядро -- дистрибутив. Магия какая-то, не иначе.
| | |
| |
| 4.29, n00by (ok), 11:06, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
 Перефразирую: в докладе говорилось о проблемах разработки ядра, а не собранного из исходников пакетика.
| | |
| |
| 5.48, Аноним (21), 11:39, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Автор утверждает, что это всё вопрос создания отдельного специального "пакетика", не более.
| | |
| |
| |
| 7.53, Аноним (21), 11:47, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
>Проблемы сертификации, хаотичности и культуры разработки решаются созданием отдельного специального дистрибутива, к чему нет никаких препятствий. | | |
| |
| 8.58, n00by (ok), 11:52, 02/07/2023 [^] [^^] [^^^] [ответить] | +2 +/– | Так это автор комментария утверждает нет чёткого плана развития, заранее опред... текст свёрнут, показать | | |
| |
| |
| 10.65, n00by (ok), 12:09, 02/07/2023 [^] [^^] [^^^] [ответить] | +1 +/– | Оформляешь свой вопрос тарболом и вот уже он -- дистрибутив Магия какая-то, не ... текст свёрнут, показать | | |
| 10.69, Абра (?), 12:13, 02/07/2023 [^] [^^] [^^^] [ответить] | +1 +/– | Система развивается Пару лет назад был свежий релиз Или Вы что то другое имели... текст свёрнут, показать | | |
|
|
|
|
|
| 5.81, Аноним (81), 12:45, 02/07/2023 [^] [^^] [^^^] [ответить] | +/– | Проблемы высосаны из одного места RTOS проходят специальную сертификацию, созд... большой текст свёрнут, показать | | |
| |
| 6.82, Аноним (81), 12:46, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
>[оверквотинг удален]
> не имели?
> Я не в защиту linux и его применения, мне пофиг, но предъявы
> какие-то попсовые, дутые, рассчитанные на гумунтиратиев.
> А вот это ещё что такое: "...хаотичность (нет чёткого плана развития, заранее
> определённой архитектуры и требований к системе), отсутствие должной культуры разработки..."?
> Им не нравится открытая система разработки выходит, и что это за отсутствие
> должной культуры, корпоративной-соборной, когда всё в руках одного "вождя"? Или тансгендерных
> негров недостаточно?
> Звучит так, будто ребята совершенно ошиблись адресом и теперь хотят из змеи
> сделать жирафа, да ещё и с предъявой.
*рассчитанные на гумунитариев
| | |
| 6.107, Аноним (106), 15:58, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– | |
>А вот это ещё что такое: "...хаотичность (нет чёткого плана развития, заранее определённой архитектуры и требований к системе), отсутствие должной культуры разработки..."?
Им не нравится открытая система разработки выходит, и что это за отсутствие должной культуры, корпоративной-соборной, когда всё в руках одного "вождя"? Или тансгендерных негров недостаточно?
Они хотят чтобы весь Линукс писали исключительно только для них одна единственная контора.
| | |
| |
| 7.154, Аноним (149), 20:30, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Вообще называя вещи своими именами у них и правда нет некоторых элементов той культуры. Скажем они antibug coding практикуют далеко не в самом жестком стиле и нет хорошо формализованых критериев описывающих чайникам DOS и DONTS. Поэтому зашивающийся корейский кодер на которого спихнули F2FS и ksmbd в одну рылу - гребет 2 галерами как умеет, при том даже не имеючи какого-то гайдлайна на тему откровенно провальных действий. Ну и получается как вон тут гражданин ссылочку на CVE прислал, что как бы не айс.
| | |
|
| 6.189, n00by (ok), 10:06, 03/07/2023 [^] [^^] [^^^] [ответить] | +/– | Они обозначили проблему Следующим шагом предложат способы её решения При этом ... большой текст свёрнут, показать | | |
|
|
|
| 3.25, Аноним (7), 11:00, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Сборки?
Может еще использовать SteamDeck для этого
Отсылка в сторону батискафа если что
| | |
| |
| 4.49, n00by (ok), 11:40, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Батискаф, это Титан? Виноват оказался Линукс, что ли? Если так, примите поздравления. Конспирологи утверждают, что его утопили намеренно.
| | |
| |
| 5.64, Аноним (21), 12:06, 02/07/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
В линуксах геймпады нормально не поддерживаются, это всё враки.
| | |
| 5.108, Аноним (106), 16:00, 02/07/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
Я бы продолжил делать "батискафы" из консервных банок, сажать туба представителей мировой элиты.
На самом деле просто людям-рыбам не нравятся туристы.
| | |
| 5.115, Аноним (115), 16:38, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
А что бы и нет? Может на нем к северным потокам ныряли,а теперь следы замели.
| | |
| |
| 6.187, n00by (ok), 09:56, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Так давайте развивать конспирологию.
Допустим, ныряли, заметают.
То есть утопили ненужное и заодно Линукс.
| | |
|
|
| 4.112, Аноним (112), 16:19, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Может еще использовать SteamDeck для этого
Для управления атомными субмаринами контроллеры от иксбокса используют, так что почему бы и не стимдек? Да и самолёты современные давно не на тросиках летают, всё электронное, и джойстик в Аэрбасе куда ближе к логитеховскому, чем ты думаешь.
| | |
| |
| 5.188, n00by (ok), 09:58, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
На джойстике в Аирбасе стоят переменные резисторы, с которых гарантированно стачивается токопроводящий слой?
| | |
| |
| 6.197, Аноним (197), 11:59, 03/07/2023 [^] [^^] [^^^] [ответить] | +/– | Они могут и в сервисный регламент прописать - менять каждые X часов Без этого... большой текст свёрнут, показать | | |
|
|
| 4.118, Аноним (149), 17:03, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Отсылка в сторону батискафа если что
По-моему у батискафа были проблемы по линии сопромата или катастрофического отказа. Простите, но допустим корпус не способный выдержать давление никакой линукс не скомпенсирует при всем желании. Более того - с пафосным QNX он развалится ничем не хуже. А как показал пример боинга и FAA, можно иной раз и откровенно глюкавый софт сертифицировать - и потом приложить 2 самолета о землю. Тогда, конечно, сертификат отзовут взад а баг придется чинить...
| | |
|
|
| 2.248, dannyD (?), 17:33, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
>>Проблемы сертификации, ....... решаются созданием отдельного специального дистрибутива...
НЕ решаются в принципе, от слова "никак".
в презенташке (третья ссылка) упомнается DO-178, почитайте на досуге.
| | |
|
| |
| 2.15, Аноним (15), 10:44, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Попробуй, расскажешь как оно. Если чо, я тоже поюзываю. И потому, никому бы рекомендовать бзд не стал.
| | |
| |
| 3.302, Аноньимъ (ok), 13:42, 05/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
 Несколько лет назад словил баг с сетевой картой челсио, при создании виртуальной карты вылетает ошибка, после чего операционная система вовсе не паникует, а начинает случайные данные записывать в случайные файлы.
| | |
|
| 2.31, Аноним (31), 11:11, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Надо юзать BSD
И это будет лучше - ну вот конкретно чем и по каким пунктам?
Можно сказать чем это будет хуже. Непопулярные системы, с мизером разработчиков, меньше фич, жесткому реалтайму даже не пытаются соответствовать (под линух есть патчи RT_LINUX и их большая часть уже замайнлайнили, но еще несколько - таки осталось). Тестовой инфраструктуры вообще толком нету, а о качестве кода говорит например попытка комитнуть кривой вайргад в фрибсд, или шоу с безопасностью виртуалок в OpenBSD где VM могла патчить кернелмод хоста нахаляву. А если этот софт по авиационным стандартам на лажу прозвонить... ух ну и трындец же там будет имхо.
| | |
| |
| |
| 4.116, Аноним (149), 16:47, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Зато можно будет хвастаться я пропатчил самолет на FreeBSD.
Только чур вы и будете тестовым манекеном для своих патчей...
| | |
|
| 3.91, Аноним (91), 14:07, 02/07/2023 [^] [^^] [^^^] [ответить] | +/– |  Классическое Уже почти да, но еще нет, но вот уже совсем скоро Т е то ч... большой текст свёрнут, показать | | |
| |
| 4.117, Аноним (149), 16:59, 02/07/2023 [^] [^^] [^^^] [ответить] | +/– | Скоро сказки сказываются, да не скоро дело делается У бсдей хотя-бы шедулеры с ... большой текст свёрнут, показать | | |
| |
| 5.139, Аноним (91), 18:17, 02/07/2023 [^] [^^] [^^^] [ответить] | +/– | Какая очередная многословная вариация почти да, но еще нет и рен его знает, ... большой текст свёрнут, показать | | |
| |
| 6.152, Аноним (149), 20:26, 02/07/2023 [^] [^^] [^^^] [ответить] | –1 +/– | Судя по тому что я вижу - с приличной вероятностью будет А вы имели предложить ... большой текст свёрнут, показать | | |
| |
| 7.159, Аноним (91), 21:46, 02/07/2023 [^] [^^] [^^^] [ответить] | +/– | В общем, опять много пафоса и попытка заболтать реальность в которой тот код та... большой текст свёрнут, показать | | |
| |
| 8.201, Аноним (197), 12:16, 03/07/2023 [^] [^^] [^^^] [ответить] | +/– | В которой ваши бсды никому на фих не нужны, но вы аж кюшать не можете и все вр... большой текст свёрнут, показать | | |
|
|
|
|
|
| 3.95, sergeyb (ok), 14:28, 02/07/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
 > Тестовой инфраструктуры вообще толком нету
Для OpenBSD - http://bluhm.genua.de/.
К слову открытое полноценное тестирование для Linux ядра начали делать не так уж и давно и это при их бюджетах.
| | |
| |
| 4.207, Аноним (207), 12:39, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
>К слову открытое полноценное тестирование для Linux ядра начали делать не так уж и давно и это при их бюджетах.
Э, тестирование линукс ядра. У одного только оракела несколько тысяч часов тестов линукса исполняется ежесуточно. А там еще куча корпораций разрабов линукса.
| | |
| |
| 5.209, sergeyb (ok), 12:58, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
>>К слову открытое полноценное тестирование для Linux ядра начали делать не так уж и давно и это при их бюджетах.
> Э, тестирование линукс ядра. У одного только оракела несколько тысяч часов тестов
> линукса исполняется ежесуточно. А там еще куча корпораций разрабов линукса.
Они тестируют то, что нужно их клиентам. И Оракл, и Каноникал, и Редхат поверх ванильного ядра накладывают свои патчи и тестируют уже другое ядро. К тому же, это закрытое тестирование и ничего о нем детально неизвестно (какое железо, какое тестовое покрытие, какие виды тестов и т.д.).
Поэтому я все таки говорил про открытое тестирование (kernel-ci.org), которое появилось недавно. Результаты на kernel-ci предоставляют все необходимую информацию о тестировании.
| | |
| |
| 6.249, Аноним (207), 17:36, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
>Они тестируют то, что нужно их клиентам.
Оракел сейчас и есть сам клиент линукса. На линуксе крутят свое облако, для него линукс и пилят, собственно.
| | |
|
|
|
| 3.206, Аноним (207), 12:33, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
>И это будет лучше - ну вот конкретно чем и по каким пунктам?
Драверы в пространестве пользователя, например (netbsd)
>Можно сказать чем это будет хуже. Непопулярные системы
Непопулярные где? В IT-базаре? В этом случае, это скорее плюс, меньше бедлама, который творится вокруг разработки линукса.
> с мизером разработчиков, меньше фич, жесткому реалтайму
Это не проблема в лавочках, где *bsd юзают в качестве основы, разрабов там сколько хочешь.
| | |
| |
| 4.229, Аноним (229), 16:21, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Драверы в пространестве пользователя, например (netbsd)
А они вообще есть? Например, для WiFi ax. Ладно, хотя бы для ac.
| | |
| 4.255, Аноним (149), 17:51, 03/07/2023 [^] [^^] [^^^] [ответить] | +/– | 1 А что это дает Возможность перезапустить драйвер Ух, блин, а сбой драйвера ... большой текст свёрнут, показать | | |
|
|
| 2.59, Аноним (59), 11:57, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Вообще-то есть формально верифицированные ОС. Несколько лет назад китайцы такую сделали.
| | |
| |
| 3.202, Аноним (197), 12:18, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Вообще-то есть формально верифицированные ОС. Несколько лет назад китайцы такую сделали.
С ними есть 1 мелкая проблема. Это как правило примитивные тасксвичеры которые нихрена не умеют. Нечто более сложное формальной верификации не поддается. А то что ответственность просто перепихнули на других, кодящих вон то, недостающее - это круто, конечно, но делу не помогает.
| | |
|
|
| 1.4, Аноним (7), 10:24, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +22 +/– |
Там где нужна в крайней степени надежность, не должно быть никаких систем с Linux, Windows, MacOS и т.д. Это вообще на самом деле про другое. Проще говоря универсально решения в этом случае нет
| | |
| |
| 2.6, Аноним (6), 10:29, 02/07/2023 [^] [^^] [^^^] [ответить]
| +2 +/– | |
>не должно быть никаких систем с Linux, Windows, MacOS
А собственно почему не должно? Попробуйте аргументировать.
>Проще говоря универсально решения в этом случае нет
Наверное вы пробовали его найти, раз так утверждаете?
| | |
| |
| 3.13, Аноним (7), 10:40, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Это больше про большие объемы вычислений: выдриссированы под пользовательские системы с относительной низкой отзывчивостью. А значит в специфике среднее значение специалистов будет под сервера и клиент-серверные установки.
| | |
| |
| 4.19, Аноним (6), 10:51, 02/07/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
Про системы с высокой "отзывчивостью" вы видимо не в курсе? Про специальные линуксы, используемые в промышленности тоже не в курсе? Тады ой. Судя по общим словам - вы не специалист. Зачем тогда в диалог лезете?
| | |
| |
| 5.23, Аноним (7), 10:56, 02/07/2023 [^] [^^] [^^^] [ответить]
| +7 +/– |
Специальные линуксы не подходят под требования в авионике. Новость читали?
| | |
| |
| 6.30, Аноним (6), 11:10, 02/07/2023 [^] [^^] [^^^] [ответить]
| +5 +/– |
Ну так и обсуждайте новость в чем проблема! Я же не лезу на форум лингвистов или рыбаков со своим ценным мнением. Почему тут то всегда какие-то мамины попросëнки вылезают и рассказывают общими словами что в индустрии должно быть, а чего нет?
| | |
| 6.89, Аноним (89), 13:59, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
В новости сказано, что теорию о ненадехности линукса высказали специалисты фирмы Боинг. На минуточку, это те самые люди, которые до сих пор борются с проблемами ПО в космическом корабле Старлайнер, а еще есть такой самолет Боинг737МАХ у которого вообще нет проблем с ПО, но пара самолетов упала
| | |
| |
| 7.113, Аноним (112), 16:23, 02/07/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
А твои самолёты как летают не похвастаешься? Боинг немного отличается в мелочах от твоей фанерки склееной в клубе авиамоделистов.
| | |
| |
| 8.212, Аноним (197), 14:12, 03/07/2023 [^] [^^] [^^^] [ответить] | +/– | Да вот есть у боинга чудная подсистемка, MCAS - https en wikipedia org wiki Ma... большой текст свёрнут, показать | | |
|
|
|
|
|
| 3.32, Аноним (32), 11:15, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Совершенно внезапно хардверные вопросы должны решаться в первую очередь с хардверной стороны, инженерные с инженерной. А дистрибутивчики - это больше про медиасистемы и картинки показывать. А то народ уже хочет прокладку между креслом и монитором использовать чуть ли не для решения проблем с загоревшимся двигателем
| | |
| |
| 4.126, Аноним (149), 17:34, 02/07/2023 [^] [^^] [^^^] [ответить] | +/– | Картинки разные бывают Glass cockpit - тоже как бы картинки показывает А вот е... большой текст свёрнут, показать | | |
|
| 3.146, Аноним (145), 19:19, 02/07/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
>>не должно быть никаких систем с Linux, Windows, MacOS
>А собственно почему не должно? Попробуйте аргументировать.
Вы можете математически доказать, что они будут делать только то, что от них ожидают? То есть доказать, что код не содержит ошибок и уязвимостей? Конечно нет, поэтому в таких системах должно быть как можно меньше кода. Любая ошибка может стоить жизни сотням людей и принести ущерб в сотни миллионов $. Никакая экономия на программистах не сможет окупить и одну ошибку в коде. Ну и пишут надёжный код не на Си и даже не на Rust, пишут на языке Ada.
| | |
| |
| 4.170, Бывалый смузихлёб (?), 02:44, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
Как и зачем можно математически доказать что-то для исходников, учитывая, что они потом компиляюццо и в самом железе могут происходить всякие внезапности ?
Всякие ОСРВ в т.ч для медицинского и иного с повышенными требованиями применения аккурат на сишке обычно и написаны
А аду ту мало того что на чем-то запускать надо, так нет никаких гарантий что обработчик прерываний отработает за определенное небольшое количество тактов
А по поводу окупаемости ошибок в коде, так тот самый боинг наглядно показал что вертел он последствия тех ошибок
| | |
| |
| 5.233, U202204161753 (?), 16:55, 03/07/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
 (
" Читал SMS -ку, много думал "
А потом решил уточнить
)
Интересно, что именно неожиданного в мажоритарном вычислителе 3 плюс один, памяти с ECC и коррекцией ошибок и всём во этом на сапфире с золотыми контактами и керамической платой может произойти?
Всё что только можно придумать - уже ожидаемо.
Далее - возможно, несвязанное:
Ada SPARK , шведы, сертифицированное для управления сердцем - читали?
P.S.
У пишущих на Си, скорее всего, не хватает базового образования.
Или чувства самосохранения.
Или всякие коррупционные схемы, т.е ложная уверенность, что их-то не посадят
| | |
| |
| 6.238, Аноним (149), 17:17, 03/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– | |
> P.S. У пишущих на Си, скорее всего, не хватает базового образования.
Учитывая что на сях написано большая часть фирмвар в том числе на транспорте, например, automotive и последние линии защит в упрвлении опасными процессами то? Конечно "тойота" иногда случается, особенно как раз у любителей ртосов понавороченнее которые использование стека оценить не могут и выносят блок переменных за ним. Ну так и ариан5 случается. А общего у них то что и те и другие забили на best practices.
| | |
| |
| |
| 8.260, Аноним (149), 18:13, 03/07/2023 [^] [^^] [^^^] [ответить] | +/– | Я расследователям верю несколько больше чем случайным фэйсам с опеннета В любом... большой текст свёрнут, показать | | |
| |
| |
| 10.284, Аноним (197), 17:05, 04/07/2023 [^] [^^] [^^^] [ответить] | +/– | На мой вкус - в целом примерно то же самое что и у арианщиков, т к трэш в орган... большой текст свёрнут, показать | | |
|
|
|
|
|
|
| 4.190, Игорь (??), 10:09, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
>> Ну и пишут надёжный код не на Си и даже не на Rust, пишут на языке Ada.
Про надежный код на Аде - смешно. Про взрыв ракеты Ариан-5 слышали? "Ракета разрушилась на 40-й секунде полёта из-за неверной работы бортового программного обеспечения". "Этот неудачный запуск стал одной из самых дорогостоящих компьютерных ошибок в истории." "центральный полетный модуль - 60 тысяч строк кода на языке Ада"
| | |
| |
| 5.193, Аноним (145), 10:25, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Про надежный код на Аде - смешно. Про взрыв ракеты Ариан-5 слышали?
> "Ракета разрушилась на 40-й секунде полёта из-за неверной работы бортового программного
> обеспечения". "Этот неудачный запуск стал одной из самых дорогостоящих компьютерных ошибок
> в истории." "центральный полетный модуль - 60 тысяч строк кода на
> языке Ада"
А теперь представь, что их не 60 тысяч, а 30 миллионов и без какого либо статического анализа. Будет лучше?
| | |
| |
| 6.204, Аноним (197), 12:26, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> А теперь представь, что их не 60 тысяч, а 30 миллионов и
> без какого либо статического анализа. Будет лучше?
Ну вообще, корабли Маска вроде на МКС вроде летают, вот как раз с линухом. И почему без анализа? Линух много кто на автомате сканит, тестит, и много чего еще. Знаете что такое syzkaller? А есть такая вещь как syzbot, это пачка syzcaller'ов fuzz'ит кернел, а словив какой-то факап авто-бисектит до проблемного комита и даже ругается в рассылку и показывает на редиску пальцем.
| | |
| |
| 7.234, U202204161753 (?), 17:03, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> пачка syzcaller'ов fuzz'ит кернел
А я вот то ли у Э. Дейкстра, то ли у Хоара читал, что тестирование не показатель отсутствия ошибок.
Т.е. ошиблись классики ?
( что-то "нутром чую - литр будет" и не ошиблись. И не зря с полсотни докторов наук Гриса переводили.
Причём вышло лучше, чем в оригинале на Globish)
| | |
| |
| 8.252, Аноним (149), 17:44, 03/07/2023 [^] [^^] [^^^] [ответить] | +/– | Для себя я предпочитаю верить своим глазам и думать своим мозгом И я вижу что в... большой текст свёрнут, показать | | |
| |
| |
| 10.280, Аноним (197), 12:04, 04/07/2023 [^] [^^] [^^^] [ответить] | +/– | По всей длине В том нагромождении С каким-то более-менее гарантированным вывод... большой текст свёрнут, показать | | |
|
|
|
|
|
| 5.227, U202204161753 (?), 16:16, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Про надежный код на Аде - смешно. Про взрыв ракеты Ариан-5 слышали?
Вот только Ada там ни при чём.
Т.е. код, конечно же, на ней, а вот причина организационная.
Материалы - общедоступны
| | |
|
|
|
| 2.43, Аноним (43), 11:29, 02/07/2023 [^] [^^] [^^^] [ответить] | +/– | Эти системы некорректно ставить в 1 ряд Первое вполне годится для автоматически... большой текст свёрнут, показать | | |
| |
| |
| 4.51, Аноним (51), 11:44, 02/07/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
Так вот почему с ними вечно какие-то проблемы. То двигатель не заведется, то панели не раскроются, то еще что-то. Теперь то всё встало на свои места
| | |
| |
| 5.71, Аноним (44), 12:14, 02/07/2023 [^] [^^] [^^^] [ответить]
| +4 +/– |
Теперь то стало понятно как они так умудряются работать с превышением срока службы и приносить пользу человечеству.
| | |
|
| 4.119, Аноним (149), 17:09, 02/07/2023 [^] [^^] [^^^] [ответить]
| –1 +/– | |
> Windows NT 4.0 Embedded летает на спутниках.
Given enough thrust pigs fly just fine...
| | |
| |
| 5.136, U202204161753 (?), 18:11, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Windows NT 4.0 Embedded летает на спутниках.
>Given enough thrust pigs fly just fine...
Allow me to remind you of a phrase from a classic work of Russian literature:
"No Russian words, no Russian face."
| | |
| |
| |
| 7.232, U202204161753 (?), 16:37, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
Разве что 149-ый аноним, тот закончил если не МГИМО, то школу с английским уклоном.
Но нынче эпоха ИИ / GPT.
Так что знание про правильный перевод на Globish фраз типа
"При достаточном тяготении свиньи летают вполне нормально", несколько обесценилось Ж-)
| | |
|
|
|
|
| 3.83, Аноним (83), 12:50, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Ну ты сравнил фундаментальную отрасль с тысячами жизней на кону и пет проект Илончика.
| | |
| |
| 4.122, Аноним (149), 17:14, 02/07/2023 [^] [^^] [^^^] [ответить] | –1 +/– | Пет проекты Илончика пускают чертову кучу недешевых спутников на орбиту и даже в... большой текст свёрнут, показать | | |
| |
| 5.143, beck (??), 18:43, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> когда у вас вместо 1 шины дикое месиво тросиков, контактов и проч
Гораздо более дикое месиво (на порядки) тросиков, контактов и проч закопано в процессорах и софте.
| | |
| |
| 6.208, Аноним (197), 12:40, 03/07/2023 [^] [^^] [^^^] [ответить] | +/– | Оно не отваливается и не перетирается от тряски и вибрации, в отличие от того ба... большой текст свёрнут, показать | | |
| |
| 7.240, U202204161753 (?), 17:20, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> если пилот не выспался или ситуация нервная/нестандартная. А компьютеру похрен, он циферки сравнит и выводы о датчиках сделает.
"Не очеловечивайте компьютеры - они этого страсть как не любят".
Т.е. как там у Э.Дейкстра ?
Про признак чего-там при использовании антропоморфной лексики в отношении ЭВМ?
(
Заодно и советский полу-учебник "Простое и сложное в программировании" будет повод перечитать Ж-)
)
| | |
| |
| |
| |
| 10.282, Аноним (197), 13:27, 04/07/2023 [^] [^^] [^^^] [ответить] | +/– | Не факт, но ряд идей достаточно распостранен в sci-fi и у продвинутых спецов Ко... большой текст свёрнут, показать | | |
|
|
|
| 7.257, U202204161753 (?), 17:59, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
P.S.
Пока не забыл:
> если вон там прицеплено 3-4 одинаковых датчика, можно проблемный заигнорить на автомате.
Только их почему-то 2 ( два) датчика.
И есть тумблер, которым надо вручную выбрать исправный.
P.S. У французов - больше двух.
Но, если постараться, то можно:
-- в мороз
-- сразу после полива на датчики антиоблединителя, т.е. со льдом в трубках
-- взлетев метром на 300 .. 700, сказать дружбанам, а "зацените как автопилот нас спасёт" спикировать к земле.
И много датчиков не поможет.
P.P.S.
Пилотам же с "базовым образованием"- помогает
| | |
| |
| 8.265, Аноним (149), 19:12, 03/07/2023 [^] [^^] [^^^] [ответить] | +/– | Это плохое инженерное решение чтобы понять какой датчик врет очень желательно ч... большой текст свёрнут, показать | | |
|
|
|
| 5.196, Аноним (196), 11:59, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> и даже возят астронавтов на мкс
Поревозят десятки тысяч людей ежегодно, как тот же боинг?
> И пока вроде достаточно успешно.
Пока у пет проекта Илончика летных часов за всю жизнь спейсов меньше, чем у самолетов боинга в день. Что как бы намекает, у кого точней статистика отказоустойчивости, не?
| | |
|
|
|
|
| 1.8, n00by (ok), 10:30, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– |
> хаотичность
> отсутствие должной культуры разработки
Надо понимать, что это смягчённые и соответствующие CoC-ам формулировки.
И ведь говорится про ядро, где собраны лучшие специалисты, архитекторы, кодеры, а не просто майнтайнеры и сборщики пакетиков.
Интересно, зачем компании с двухбуквенным доменом в зоне com всё это надо.
"1 января 2012 года Underwriters Laboratories преобразовалась из некоммерческой организации в коммерческую компанию в США. Новая дочерняя компания, названная просто UL LLC, корпорация с ограниченной ответственностью, взяла на себя бизнес по тестированию и сертификации продуктов Underwriters Laboratories."
"Underwriters Laboratories (UL) — это глобальная некоммерческая научная компания по безопасности, в которой работает более 14 000 человек, которые живут в 40 странах."
| | |
| |
| 2.36, Шарп (ok), 11:19, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
 >где собраны лучшие специалисты
Вход в разработку ядра свободный. Буквально. Так что ваше заявление ни на чём не основано. Там проходной двор и слепая надежда, что майнтейнер подсистемы увидит проблему до принятия патча.
| | |
| |
| 3.46, n00by (ok), 11:37, 02/07/2023 [^] [^^] [^^^] [ответить]
| –1 +/– | |
Моё заявление основано на собственном опыте:
Коммит в ядро как минимум проходит формальное ревью, и проверяющий подписывается. Без этого код так и останется в рассылке.
Коммит в дистрибутивы - это башпрограммист, не способный сам добавить (в смысле - написать) требуемый функционал, находит что-то похожее где попало и пихает в пакетик.
То есть "лучшие" означает не "вообще лучшие", а из "мира Линукс". И в других подсистемах всё куда хуже.
| | |
| |
| |
| 5.77, n00by (ok), 12:22, 02/07/2023 [^] [^^] [^^^] [ответить]
| +4 +/– |
Никто толком не знает, что такое свобода. Требуется целый Ричард Столлман, что бы объяснить, что это не про бесплатное пыво. Зато если Underwriter Laboratorie обяжет коммитеров проходить сертификацию, можно и свободу не трогать, и заодно китайцев отшить.
| | |
|
|
|
| |
| 3.76, n00by (ok), 12:20, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Хотел сначала написать "из мира СПО", не не стал. Все знают™, что СПО - это самое лучшее. ;)
| | |
|
| 2.123, Аноним (149), 17:20, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Интересно, зачем компании с двухбуквенным доменом в зоне com всё это надо.
Можно угадать с 1 попытки: будут тестировать это и сертифицировать. Чем еще UL заниматься может?! А чтобы вон то делать надо как минимум нефиговое понимание предметной области. Логично вроде.
| | |
| |
| 3.185, n00by (ok), 09:46, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
>> Интересно, зачем компании с двухбуквенным доменом в зоне com всё это надо.
> Можно угадать с 1 попытки: будут тестировать это и сертифицировать. Чем еще
> UL заниматься может?!
Это, как говорится, понятно и ежу.
Вопрос в том, какая цель у столь недешевой деятельности, и к чему приведёт: полетит ли Линукс в космос или мусорную корзину.
| | |
| |
| 4.266, Аноним (149), 19:33, 03/07/2023 [^] [^^] [^^^] [ответить] | +/– | ИМХО, 1 Послать негибкие проприетарные решения и жесткий вендорлок в пень, как... большой текст свёрнут, показать | | |
|
|
| 2.137, Аноним (137), 18:14, 02/07/2023 [^] [^^] [^^^] [ответить]
| +2 +/– | |
> И ведь говорится про ядро, где собраны лучшие специалисты, архитекторы, кодеры, а не просто майнтайнеры и сборщики пакетиков.
Лучшие?? Это поэтому в ядре так много тупейших ошибок, быдлокодинга и мягко говоря сомнительных архитектурных решений?
| | |
| |
| 3.186, n00by (ok), 09:51, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
>> И ведь говорится про ядро, где собраны лучшие специалисты, архитекторы, кодеры, а не просто майнтайнеры и сборщики пакетиков.
> Лучшие?? Это поэтому в ядре так много тупейших ошибок, быдлокодинга и мягко
> говоря сомнительных архитектурных решений?
Ну да. Если бы ядро писали башпрограммисты дистрибутивов и майнтайнеры CoC-ов, ошибки были бы исключительно умные - грамматические и пунктуационные.
| | |
|
| 2.246, Аноним (112), 17:29, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> И ведь говорится про ядро, где собраны средние специалисты, архитекторы, кодеры […]
Поправил, не благодари. Большая часть кода любого проекта написана самыми обычными, средними по скиллам и когнитивным способностям людьми. В айти существует миф о том, что надо быть восьми и более пядей во лбу, чтобы создать что-то стоящее. Но в реальности гении способные создать вообще хоть что-нибудь встречаются крайне редко.
> Интересно, зачем компании с двухбуквенным доменом в зоне com всё это надо.
Там написано в конце зачем: «доступность специалистов (проще найти компетентных разработчиков и людей, понимающих код)».
| | |
| |
| 3.274, n00by (ok), 08:18, 04/07/2023 [^] [^^] [^^^] [ответить] | +/– | Это заявление для публики Не всегда цели декларируемые и реальные совпадают Са... большой текст свёрнут, показать | | |
| 3.283, Аноним (197), 13:55, 04/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Большая часть кода любого проекта написана самыми обычными, средними
> по скиллам и когнитивным способностям людьми.
В случае кернела с этим немного тухловато. Что самое плохое случится если вы в апликухе или сайтике налажаете? Ну, упадет может. Исправите код да перезапустите. А в ядре - кернелпаник весьма неприятный эвент на чем-то ценном. И таки заставит кодить значительно аккуратнее, обдуманнее и - в целом лучше чем вон те. А если вы так не могли, то скорее всего задолбаетесь, разочаруетесь и пойдете заниматься чем-то другим.
| | |
|
|
| 1.11, X (?), 10:36, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
Вроде спейсx летает на линуксах, у них правда что-то взрывается постоянно, и не так много полётов, как у Боинга, но интересно там везде Линукс или в критически важных системах своё
| | |
| |
| 2.22, Аноним (22), 10:54, 02/07/2023 [^] [^^] [^^^] [ответить]
| –1 +/– | |
> что-то взрывается постоянно
Да вроде пока ничего не уронили.
| | |
| |
| 3.84, Аноним (83), 12:53, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Да, один раз тупо взорвали спутники на старте, а в другой потеряли на не той орбите. Правда, это давно было.
| | |
| 3.203, Аноним (196), 12:22, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Да вроде пока ничего не уронили.
Все три первых фалкона взорвались вместе со спутниками.
SpaceX CRS-7 вместе с Dragon красиво фейерверком разлетелись в небе над Флоридой.
Orbcomm-G2 передает привет из состава подводной группировки спутников.
Странное у вас какое-то "пока ничего".
| | |
| |
| 4.299, Аноним (299), 04:51, 05/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
И сколько человек в том драгоне погибло? А, нисколько. Это, наверное, потому, что запуск тестовый был.
| | |
|
|
| 2.24, Аноним (21), 11:00, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
У них ещё нет никакой защиты от радиации, так что софт -- это меньшая из проблем. Ну а так линукс-то -- нереалтайм система с непредсказуемыми задержками, вряд ли везде.
| | |
| |
| 3.101, fuggy (ok), 15:16, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
 Существует Linux RT, но проблемы спецификации и драйверов это не решает.
| | |
| |
| 4.129, Аноним (149), 17:50, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Существует Linux RT, но проблемы спецификации и драйверов это не решает.
Патчи RT_LINUX уже почти втянули в майнлайн. Думаете чего вон те так активизировались?
| | |
|
|
| 2.26, Аноним (44), 11:01, 02/07/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
У них и процессоры не космического класса, а обычные бытовые. Только 3 штук и они считают всё параллельно и сравнивают.
| | |
| |
| |
| 4.38, Аноним (44), 11:22, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Задача тебе со звёздочкой подумать что будет. У вас у веб-разработчиков это задачи со звёздочкой считается.
| | |
| 4.191, Игорь (??), 10:20, 03/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– | |
> А если сравниватель откажет?
Так эта схема проверена на практике - первый полет Союза с системой автоматического причаливания к космической станции. Стыковку пришлось проводить вручную, т.к. система безопасности отключила по очереди все 3 модуля управления, как выдающие ложные команды. Причина - в систему безопасности заложили неправильные условия проверки команд от модулей управления.
| | |
| |
| 5.230, U202204161753 (?), 16:29, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Стыковку пришлось проводить вручную, т.к. система безопасности отключила по очереди все 3 модуля управления, как выдающие ложные команды.
Просто константа "начальная масса корабля" была внесена неправильная.
Подробнее - см. Черток "Ракеты и люди"
| | |
|
| 4.231, U202204161753 (?), 16:31, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> А если сравниватель откажет?
На "Шатле" был и пятый компьютер с независимо написаным ПО.
ПО обеспечивало посадку, но не выполнение всех целей полёта
| | |
|
|
| 2.85, Аноним (81), 12:59, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Вроде спейсx летает на линуксах, у них правда что-то взрывается постоянно, и
> не так много полётов, как у Боинга, но интересно там везде
> Линукс или в критически важных системах своё
Разгадка проста, Маск юзает бубунту в своих поделиях.
А вот у космонафтики здорового человека был Debian и ничего плохого не случилось:
"NASA использует систему Debian на рабочих местах космонавтов МКС[94]. Также NASA применяло систему Debian в экспериментах на шаттле Колумбия[95]."
| | |
| |
| |
| 4.285, Аноним (197), 17:29, 04/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> У наса люди гибли при полёте.
У боинга тоже гибли. И в CCCР гибли, просто про это в отличие от успехов не далдонили в каждой программе Время. Поэтому про мертвых космонавтов или какого-нибудь Неделина знает/помнит не так уж и много народа. Не означает что всего этого не было.
| | |
|
| 3.181, Гашпшпщм (?), 09:25, 03/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Нормальные Космо(астро)нафты на Арчике и все летает. Дебиан только и подходит, что для ретроградов из насы
| | |
|
| 2.291, Alladin (?), 18:58, 04/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
Обычно ничего не мешает компоновать контроллеры реального времени с более тупыми бытовыми контроллерами.
Можно хоть два контроллера одной версии, но с разным назначением (реалтайм rtos и нет на linux..).
Но и я думаю, что на одном контроллере двухядерном +- можно добиться результатов выше.
| | |
|
| 1.14, Аноним (44), 10:42, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –3 +/– |
Хаотичность и отсутствие культуры это то чего никогда не будет в Фуксии, которая скоро заменит все никсовые поделки.
| | |
| |
| 2.16, Аноним (15), 10:47, 02/07/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Пусть гулаг её хотя бы снова заопенсорсит, как это в начале было.
| | |
| |
| 3.17, Аноним (44), 10:48, 02/07/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
Чтобы что? Чтобы создать хаотичность и снизить культуру написания кода? Спасибо не надо.
| | |
|
| 2.37, Аноним (32), 11:19, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
А там что-то хоть собирается? Там что-то дорабатывается вообще или оно как какие-нибудь типичные окологосовские склады "стабильно" работающие на FoxPro for DOS десятки лет тупо потому что за миску риса и мутную идейку переделывать всю эту помойку никто не будет?
| | |
| |
| 3.40, Аноним (44), 11:25, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Все голосовые помощники нест хабы принудительно перевели на Фуксию. Потестят сделают хорошо, перейдут на другие устройства. И медленно покроют всё стадо. Даже в сабж новости почитай к ядру слишком много вопросов. Васяны не в состояние в стратегию.
| | |
| |
| 4.124, Аноним (149), 17:25, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Все голосовые помощники нест хабы принудительно перевели на Фуксию.
> Потестят сделают хорошо, перейдут на другие устройства. И медленно покроют всё стадо.
Или быстро закроют проект к хренам, может даже вместе с насестом. Как это бывает с более чем 90% проектов гугли. Особенно когда экономика проседает, так что 20% фуксиков уже как раз и ушло искать новую работу...
| | |
|
|
|
| |
| 2.28, Аноним (7), 11:05, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Хардвар - геймпад
Софтвер - стимОС
Ох уж эти черномемщики с батискафом
Сейчас существует реальная проблема - проф. деформации разрабов-коекакеров под такой способ производства, когда фактически работа над фичами важнее любой надежности
| | |
| 2.45, Анонус (?), 11:30, 02/07/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Врача ищет больной, а не здоровый. Именно им и надо рассуждать.
| | |
| 2.140, Анонин (?), 18:17, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
А вот представьте сколько катастроф было бы, если бы на боингах стоял линукс!
Там в драйвере переменная переполнилась и завалила ядро, тут оом убил ваш автопилот.
Ну, это при условии что оно вообще взлетело бы.
| | |
| 2.301, Аноним (301), 08:58, 05/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
На сегодняшний день Боинг обладает самой безопасной сертефицированной операционной системой в мире: Boeing's SNS Server. Так что их мнение стоит уважать.
| | |
| |
| 3.307, pashev.ru (?), 23:45, 05/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> На сегодняшний день Боинг обладает самой безопасной сертефицированной операционной системой
> в мире: Boeing's SNS Server. Так что их мнение стоит уважать.
Сколько А320 Нео разбилось? А сколько Б737 Макс?
| | |
| |
| 4.318, Аноним (318), 12:27, 08/07/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Самолёты сложная система, бортовое ПО далеко не единстенное место отказа. Там кажись с датчиками косяк был.
| | |
|
|
|
| 1.33, Аноним (33), 11:15, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +5 +/– |
"Если бы губы Никанора Ивановича да приставить к носу Ивана Кузьмича, да взять сколько-нибудь развязности, какая у Балтазара Балтазарыча, да, пожалуй, прибавить к этому еще дородности Ивана Павловича..."
(с) Н.В. Гоголь
| | |
| 1.39, Анониссимус (?), 11:24, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +16 +/– |
 Смысл новости непонятен. Многопользовательское, многозадачное ядро общего назначение ВНЕЗАПНО! не подходит для критически важных систем! Я вам каждый день могу такую экспертизу проводить, где мои гонорары?
| | |
| |
| 2.41, Аноним (44), 11:27, 02/07/2023 [^] [^^] [^^^] [ответить]
| +3 +/– |
Ты сначала должность какую-нибудь высокую займи, а потом да твоё капитанство будет каждый слушать открыв рот и бабосы будут.
| | |
| 2.56, Аноним (56), 11:52, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Смысл новости очевиден: заставить эту кучу народа бесплатно поработать и на авиацию, как они работают на жругих технологических гигантов за звездочки на гитхаб (зато не как у фрибзд, где лицензия неправильная)
| | |
| 2.60, n00by (ok), 12:01, 02/07/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Сейчас они обозначили проблему, следующим шагом могут захотеть её решать: введут Rust, очень нужную сертификацию или ещё что-то.
| | |
|
| 1.54, Аноним (54), 11:49, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +3 +/– |
Не надо нам в авиации инноваций и хаотичной культуры разработки. Продать лайнер за сотню миллионов долларов, но съэкономить на хорошей RTOS - это в духе современных дизайнеров.
| | |
| |
| 2.61, n00by (ok), 12:03, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Пользователей Intel пользует Minix, а про остальных бытуют противоречивые конспирологии.
| | |
| |
| 3.166, Аноним (166), 23:23, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Ты, конечно, с него пишешь?
Часть вопроса была «кто чем пользуется».
| | |
|
|
| 1.74, Liin (ok), 12:17, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +3 +/– |
 > вынос драйверов в пространство пользователя
Шли годы, десятилетия, а линуксоиды все продолжали выносить драйвера из ядра ).
Их кто-то туда обратно что-ли вносит? )
| | |
| |
| 2.92, Аноним (92), 14:13, 02/07/2023 [^] [^^] [^^^] [ответить]
| +3 +/– |
Единственная возможность чтобы твои драйвера хоть как-то собирались в новых выпусках ядра, это быть в ядре. Как только ты вынесешь в модуль, то специально для тебя ядро будет каждый выпуск ломать совместимость abi и api для модулей так, чтобы твои модули никогда не работали с новыми ядрами. А ты или забивал на свой модуль, или делал его совместимым лишь с некоторыми версиями ядра.
| | |
| |
| 3.183, Гашпшпщм (?), 09:33, 03/07/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
Это следствие монолитности, т.е. изначально ущербной модели и узколобости главного пингвина планеты. Ну и толпы баранов, которые вложили в курсовую работу лярды и закрепили идею.
| | |
|
| 2.104, fuggy (ok), 15:43, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Интересно какие такие драйвера в Linux понадобились боингу для мышек, видеокарт или геймпадов. Понятно что вынос драйверов из ядра мы никогда не дождёмся. Чтобы вынести драйвера из ядра проще написать своё ядро. А значит нет смысла рассматривать линукс дальше про соответствие спецификации, культуру разработки и обеспечение качества. Ясно что ядро предназначено для дестопов и серверов, не подходит для систем с повышенной надёжностью. Вот какие из последних изменений в линуксе так нужны в авионике? Патчи в сетевом стеке, исправления для btrfs, новые драйвера для wifi, поддержка LoongArch и Apple M2, улучшение в гипервизоре KVM.
| | |
| |
| 3.125, Аноним (149), 17:27, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> из ядра проще написать своё ядро.
Или посмотреть на всякие VFIO например и проч.
| | |
|
| 2.176, edo (ok), 06:47, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
 > Шли годы, десятилетия, а линуксоиды все продолжали выносить драйвера из ядра ).
разве? обсуждается такая идея — да, такое есть. но вот работы в этом направлении я что-то не помню (во всяком случае чтобы в ванильное ядро попало).
| | |
| |
| 3.225, Аноним (220), 16:03, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Попытки сделать фреймворк для этого были. И даже сделали - UIO. Вот только на нём основаны раз, два,... и всё, драйверов. В основном, на шине CAN.
| | |
|
| 2.292, Alladin (?), 19:03, 04/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– | |
оужас, уберите..
Вспомните ntfs драйвер в userspace. И какая там производительность? Аа наверное поэтому его обратно в kernelspace запихнули.
| | |
| |
| 3.298, Аноним (91), 23:23, 04/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> оужас, уберите..
> Вспомните ntfs драйвер в userspace. И какая там производительность?
Такая, что кое-кто в свое время, глядя на результаты бенчей, подломился искать и исправлять торомза в ядерном драйвере Ext?
| | |
|
| 2.313, Прыгающий Ленивец (?), 16:37, 07/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Продолжали? А когда начали-то? stable_api_nonsense.txt все еще в дереве исходников и пока это так никакого выноса драйверов из ядра не будет
| | |
| |
| 3.314, Liin (ok), 16:55, 07/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Продолжали? А когда начали-то? stable_api_nonsense.txt все еще в дереве исходников и пока
> это так никакого выноса драйверов из ядра не будет
Начали еще в 90-х. С тех пор регулярно этот вопрос поднимается.
| | |
|
|
| |
| 2.88, Аноним (88), 13:43, 02/07/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
Там и 98 винда летает (MARSIS, ищи по новостям), это не показатель.
| | |
|
| |
| 2.97, Аноним (97), 14:50, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– | |
Ядро не должно знать от железе и тем более управлять им напрямую. Оно должно быть диспетчером. А сейчас как. Вышла видеокарта от X. Добавляем код в само ядро Linux на тысячи строк (привет AMD). Далее добавляем код в Mesa. И так далее.
Да что уж там. Посмотри раздел keyboard ядра.
Вот в этом проблема монолитного ядра. И вишенка на торте - ядро и модули в одном пространстве работают.
| | |
| |
| 3.276, Аноним (-), 10:34, 04/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
Ты начтался Танебаума. Ядро Линукс оптимален.
>ядро и модули в одном пространстве работают.
Ты так и ничего не понял. Тебе мозг засрал Эндрю. Проектирование ОС как микросерверной только усложнит внутренюю структуру ядра.
| | |
|
|
| 1.90, dannyD (?), 14:07, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +/– | |
в переводе это называеся - не лезте со своим линуксом куда вас не просят.
последние несколько лет ( >5 ) появилась тенденция пытаться строить авионику на всяких чипах для телефонов с соответвующим софтом.
всё это очень интересно, но НЕ сертифицируемо впринципе.
| | |
| |
| |
| 3.94, dannyD (?), 14:23, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
только беспилотники не являются основной продукцией Боинга,
а так - пжалста ;)
| | |
| 3.135, Аноним (88), 18:10, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Отказ беспилотника - это не такая уж большая трагедия. В отличие от.
| | |
|
|
| 1.98, YetAnotherOnanym (ok), 14:53, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +4 +/– |
 > доступность специалистов
Этим, вообще-то, можно и ограничиться. Всё остальное о "достоинствах" линуха - словоблудие. Потому то "открытость для повсеместного рецензирования" есть много у кого, например, у RTEMS, которая создавалась специаьно для авионики, "более быстрое развитие, активное продвижение новшеств" - это вообще нихрена не достоинство там, где речь идёт о человеческих жизнях, а "хорошо известный API" - это та же "доступность специалистов", только с другого ракурса.
| | |
| |
| |
| 3.130, Аноним (149), 17:53, 02/07/2023 [^] [^^] [^^^] [ответить]
| –1 +/– | |
> Fuchsia
Давай тебе в авионику это поставим? Вот ты тестовым пилотом и поработаешь потом как раз. Пустить тебя полетать на этом. Гденить над океаном, подальше от населенных мест.
| | |
| |
| 4.151, Аноним (92), 20:08, 02/07/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
Давай ты не будешь больше здесь чушь писать? В авиации так никто не делает. Когда все нормально протестят в Fuchsia тогда и полетят. И всё будет ОК.
| | |
| |
| 5.213, Аноним (197), 14:22, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Когда все нормально протестят в Fuchsia тогда и полетят. И всё будет ОК.
Мне почему-то кажется что скорее всего это "когда" определено как "never". Нет к тому предпосылок. Ушибленный фанатизм марки - предпосылкой не является.
| | |
|
|
|
|
| 1.111, Аноним (106), 16:08, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
А надо всего лишь разрабатывать программно-аппаратный комплекс и оттачивать железо в связке с софтом.
Почему то у Apple хватило мозгов на такую простую идею а у производителей самолётов, не хватило.
| | |
| |
| 2.144, YetAnotherOnanym (ok), 18:55, 02/07/2023 [^] [^^] [^^^] [ответить]
| +4 +/– |
Подозреваю, производители самолётов именно так всегда и делали, и сейчас пока ещё делают, только - увы, эффективные манагеры и здесь хотят "доступных специалистов", умеющих в "хорошо известный API", причём, желательно - обитающих в какой-нибудь дыре мира, которых можно набрать пучок за пятачок.
| | |
|
| 1.114, Kuromi (ok), 16:37, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +3 +/– |
 Тут возникает один вопрос, а вот Линуксу оно, авионика, оно надо? Претензии "летунов" к Линуксу понятны, нужно "многое поменять" для их удобств, но ради чего? Потом выяснится что "Компания Х заменяет проприетарную RTOS на Линукс в своём дорогущем оборудовании, бла-бла, опенсорц, бла-бла, ценник не изменится, но акции уже пошли вверх на фоне прогноза роста прибыли из-за снижения издержек"?
| | |
| |
| 2.132, Аноним (149), 17:59, 02/07/2023 [^] [^^] [^^^] [ответить] | +/– | Линуксу надо то что делают участники процесса Если кто-то решил вписаться делат... большой текст свёрнут, показать | | |
| |
| 3.158, Kuromi (ok), 21:40, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Линуксу надо то что делают участники процесса. Если кто-то решил вписаться делать эти работы, никто им запрещать это не будет. Но и помогать - в меру возможностей.
Я что-то пока не вижу чтобы кто-то вписывался поработать, я скорее наблюдаю предложения и пожелания чтобы кто-то пришел и "сделал красиво" неким закулисным бенефициарам.
Мы прекрасно видели как оно проявляет себя когда кому-то реально "ННАДА" - и финансирование разработки начинается и патчи внезапные и подвижки навстречу. Пока ничего похожего.
| | |
| |
| 4.217, Аноним (197), 14:38, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
Ну как бы некоторые пожелания - вполне разумные и определенные идеи могут и другим понравиться. Код без багов и с предсказуемым поведением в ядре нужен не только в самолетах, мягко говоря.
А сертификации и проч - вон те как раз и будут как-нить сами. Ну и вон та конфа как я понимаю была о оценке и осознании проблематики направления и понимания в какую сторону двигаться вообще. Как это имплементить - второй вопрос, возникающий после понимания первой его части.
| | |
| |
| 5.254, Kuromi (ok), 17:50, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Ну как бы некоторые пожелания - вполне разумные и определенные идеи могут
> и другим понравиться. Код без багов и с предсказуемым поведением в
> ядре нужен не только в самолетах, мягко говоря.
Ну так против безбажного и стабильного кода никто и не выступает, правда когда начинаются реальные подвижки хотя бы в виде того же продвижени Rust мы слышим жуткий вой о том что "не тащите сюда эту ржавчину".
| | |
| |
| 6.272, Аноним (149), 04:53, 04/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Да знаете, какая-нить MISRA и без всякой ржавчины дело сильно улучшает. Но опять же это надо переубедить толпу "ятакпривык" что их разухабистый стиль кодинга - это на самом деле фи. Хрусту в этом смысле всего лишь несколько проще т.к. он новый яп и потому то что там нельзя или канительно так и сяк воспринимается спокойнее. И то, вот, ты сам сказал.
| | |
|
|
|
| 3.317, Прыгающий Ленивец (?), 21:48, 07/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Лекции это хорошо и нужно. Но продуктивнее все же тулинг пилить для этого, всякие анализаторы кода, чтобы подобные проблемы отлавливались еще на этапе отправки патча в рассылку
| | |
|
| 2.184, Гашпшпщм (?), 09:44, 03/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
А Линукс тут уже давно не решает, что ему надо. Кто больше донатмт, тот и одеяло перетягивает. Вот сделаю контору, стану платиновым спонсором, найму 100000 м0как и 3143дец твоему линуксу. Адаптируем там, и переделаем. И ты же назовешь меня корпорацией добра за нихреновый такой вклад в спо. Но есть один нюанс
| | |
| 2.192, n00by (ok), 10:22, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Boeing в серебряных спонсорах Linux Foundation. Если перейдёт в платиновые, станет надо.
| | |
|
| |
| 2.134, Аноним (149), 18:02, 02/07/2023 [^] [^^] [^^^] [ответить]
| –1 +/– | |
> Тогда им нужна Fuchsia с Zircon.
Мне всегда было интересно - а такие советчики зассали бы или нет если их натурально запихнуть, натурально в самолет, натурально с тем что они продвигали, тестовым пилотом - и посмотреть, угробит их тушку продвигаемый ими софт или нет? Ну правда, гугол, скинься на самолет, и посади в него самых рьяных фанов фуксии полетать, интересно же! А перед посадкой конечно же как в вон том батискафе - вы отказываетесь от претензий, блаблабла, даже если вас размажет в хлам, блаблабла :))
| | |
| |
| 3.138, dannyD (?), 18:16, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
вот видите - это отказ в штатной ситуации.
а если как во втором орешке?
пятдесят бортов кружат над ВПП и их надо разводить по эшелонам с точностью 20 метров.
| | |
| 3.150, Аноним (92), 20:07, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Ты считаешь что в авиации тестирование проходит так что ставят новую прошивку и сразу идут летать? Твои воззрения на ПО в авиации сильно ограничены. Когда допилят все допуски и сертификации в Fushsia тогда и полетят.
| | |
| |
| 4.215, Аноним (197), 14:29, 03/07/2023 [^] [^^] [^^^] [ответить] | –1 +/– | Т е скорее всего - никогда Эта хня делалась не для этого и даже не для general... большой текст свёрнут, показать | | |
|
|
|
| 1.142, Аноним (142), 18:37, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +3 +/– |
Если перевести с дипломатического, то инженеры Боинг просто рассказали почему они не будут использовать линукс в авионике. Видимо их таки достали этим вопросом. Если же посмотреть на указанные причины, то простыми словами линукс - монолитный копролит, разработанный мартышками без понимания, что они делают. Самым умным мартышках - кернел хакирам, кто смог понять троллинг было наверно обидно. Интересно Линус пошлёт боинг туда же куди нвидию?
| | |
| |
| 2.156, Аноним (156), 20:35, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Линукс послал невидию, потому что они криворучки, пишут самые упоротые дрова, просто чтобы были, с максимальными косяками и не стремятся это исправлять. По сути им главное галочка что дрова есть, чтобы можно было продавать свои серверные решения компаниям на линуксе (то есть 99% клиентов).
Боинг конечно КО, но повода посылать не появился.
| | |
| |
| 3.216, Аноним (197), 14:32, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Линукс послал невидию, потому что
...потому что они не часть процесса и не играют совместно, на самом то деле. Это обеспечило лэйбу "worst company ever". За дело.
| | |
|
| 2.160, Kuromi (ok), 21:48, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Если перевести с дипломатического, то инженеры Боинг просто рассказали почему они не
> будут использовать линукс в авионике. Видимо их таки достали этим вопросом.
> Если же посмотреть на указанные причины, то простыми словами линукс -
> монолитный копролит, разработанный мартышками без понимания, что они делают. Самым умным
> мартышках - кернел хакирам, кто смог понять троллинг было наверно обидно.
> Интересно Линус пошлёт боинг туда же куди нвидию?
Это не тот самый Боинк, который капитально обоср.. с Boeing 777-8? Такие иннноваторы, такие инноваторы - сделали люминдиевый (а не алюминиево-литиевый) с негабаритными крыльями (арабы попросили).
| | |
| 2.235, yet another anonymous (?), 17:07, 03/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Боинг под мудрым руководством супер-эффективных менеджеров сделал насквозь просертифицированный экономически сверхэффективный (как по эксплуатации так и по разработке) B737MAX. Который на чисто инженерных программно-аппаратных эпических косяках положил около 300 человек в двух катастрофах.
| | |
|
| 1.153, BeLord (ok), 20:27, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– |
 Смотря, что под авионикой понимать. Вообще там монстры типа Линукс не нужны. Есть у меня подозрение, что ветер дует со стороны эффективных манагеров, которые думают, что экономия на специалистах доведет до добра. Если железо будет кривое, то софт не поможет, а если железо нормальное, то софт там весьма специфичный и система управления справится без всех современных свистоперделок.
| | |
| |
| 2.161, Kuromi (ok), 21:50, 02/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
> Смотря, что под авионикой понимать. Вообще там монстры типа Линукс не нужны.
> Есть у меня подозрение, что ветер дует со стороны эффективных манагеров,
> которые думают, что экономия на специалистах доведет до добра. Если железо
> будет кривое, то софт не поможет, а если железо нормальное, то
> софт там весьма специфичный и система управления справится без всех современных
> свистоперделок.
Вы не понимаете! Замена того что есть (возможно коммерческого) на "халявный" ляликс позволит повысить прибыль и получить премии кому надо! За одно это корпорат будет носом землю рыть.
| | |
| |
| 3.289, BeLord (ok), 17:47, 04/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
>> Смотря, что под авионикой понимать. Вообще там монстры типа Линукс не нужны.
>> Есть у меня подозрение, что ветер дует со стороны эффективных манагеров,
>> которые думают, что экономия на специалистах доведет до добра. Если железо
>> будет кривое, то софт не поможет, а если железо нормальное, то
>> софт там весьма специфичный и система управления справится без всех современных
>> свистоперделок.
> Вы не понимаете! Замена того что есть (возможно коммерческого) на "халявный" ляликс
> позволит повысить прибыль и получить премии кому надо! За одно это
> корпорат будет носом землю рыть.
А перед получением премии, отправить их с семьями летать на новых самолетах-)))
| | |
| |
| 4.319, Аноним (319), 17:36, 08/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> А перед получением премии, отправить их с семьями летать на новых самолетах-)))
Ну а на чем они по вашему будут летать? На этом глобусе выбора не так уж и много.
| | |
|
|
| 2.194, Аноним (194), 11:14, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> а если железо нормальное, то софт там весьма специфичный и система управления справится без всех современных свистоперделок.
для HPC и AI линукс и нужен чтобы исключить человеческий фактор из управления, а железо там обычное и софт тоже, разница в том что оно сертифицировано на соответствие стандартам поэтому всё достаточно простое и древнее и уже очевидно не удовлетворяет современным потребностям индустрии.
| | |
| |
| 3.288, BeLord (ok), 17:46, 04/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
>> а если железо нормальное, то софт там весьма специфичный и система управления справится без всех современных свистоперделок.
> для HPC и AI линукс и нужен чтобы исключить человеческий фактор из
> управления, а железо там обычное и софт тоже, разница в том
> что оно сертифицировано на соответствие стандартам поэтому всё достаточно простое и
> древнее и уже очевидно не удовлетворяет современным потребностям индустрии.
Потребностям маркетологов оно не удовлетворяет, а не индустрии. Оно работает, есть наработка на отказ, как следствие прогнозируемое поведение системы, зачем ставить модное и не проверенное, чтобы что?
| | |
|
| 2.273, Аноним (149), 04:59, 04/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Если железо будет кривое, то софт не поможет, а если железо нормальное,
Вообще-то высоконадежные системы там где это важно предпочитают не уповать на идеальное железо а вместо этого иметь какой-то адекватный план реакции на такое. Например, нескольких параллельно работающих компьютеров, и если их скажем 3 штуки, сбоящего можно автоматически вырубить/перезапустить - и не так уж важно сбойнуло там железо или софт, вон то может засечь тупой как дрова хардварнай компаратор на управляющих линиях, обнаружив что компьютеры хотят разного -> сбой вон того компьютера. Как-то так Маск летает в космос и на обычном линухе с x86 даже. И почему бы это не работало - кто б его знает.
| | |
| |
| 3.287, BeLord (ok), 17:44, 04/07/2023 [^] [^^] [^^^] [ответить] | +/– | x86 это перебор для многих задач, часть задач вообще на простых триггерах делает... большой текст свёрнут, показать | | |
| |
| 4.320, Аноним (-), 18:01, 08/07/2023 [^] [^^] [^^^] [ответить] | –1 +/– | 1 Ну сделайте мне на триггерах нормальный рендер карты местности, с актуальными... большой текст свёрнут, показать | | |
|
|
|
| 1.155, Аноним (156), 20:31, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +3 +/– |
Внезапно linux который не RTOS и не разрабатывался как RTOS оказался не RTOS и даже разрабатывается не как RTOS. Ужас. Вот это новости.
Ждём следующую: инженеры ардуины обсудили проблемы использования линукс на ардуино, отмечается повышенное по сравнению с прошивкой без системы потребление памяти, тактов процессора, и соответственно потребления...
| | |
| |
| 2.219, Аноним (197), 15:30, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
А таки убунту на ардуине грузили. Правда, грузилась она там долго.
| | |
|
| |
| 2.162, Аноним (137), 22:06, 02/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Разве lgbt+ пишут либы для ядра? Думал они больше по JS/Rust/Scala.
А bьlдлoкодят в ядро бородатые диды, которые еще в машкодах проги писали, но до сих пор не научились вычислять размер буфера перед записью.
| | |
|
| 1.163, Аноним (163), 22:10, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –2 +/– |
Еще 10 лет назад во всех новостях Linux был синонимом надёжности и безопасности. Похоже, скоро станет антонимом.
| | |
| |
| 2.269, Аноним (269), 23:43, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Надёжность тоже разная бывает, и разной степени. Дебиан вполне надёжный для серверных задач, например.
| | |
|
| 1.167, Аноним (167), 23:29, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +4 +/– |
Это типа бородатый анекдот про то как установив на истребитель windows америкосы научили самолет зависать в воздухе?
| | |
| 1.168, Аноним (168), 23:38, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +2 +/– | |
> доступность специалистов (проще найти компетентных разработчиков и людей, понимающих код).
Кажется, это главная причина привлекательности Linux для авиапроизводителей.
| | |
| 1.198, Аноним (198), 11:59, 03/07/2023 [ответить] [﹢﹢﹢] [ · · · ] | +1 +/– | В авионике крайне жёсткие стандарты Чтобы софт можно было сертифицировать для а... большой текст свёрнут, показать | | |
| |
| 2.214, anonymmm (?), 14:27, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
А ещё для rtos обычно есть две версии rtos и rtos-do178, последний применяется в самолётах и урезан по самый не балуй, со стандартным rtos там только название
так что, конечно, просто так применить linux у жадных авиапроизводителей не выйдет, ну и по делом им
| | |
|
| 1.239, Аноним (-), 17:19, 03/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– | |
Весь софт Боинга протухшее говно мамонта. И я не понял с какой этой стати сопляки из Боинга смеют критиковать Свободное Сообщество. Смеют что-то там указывать. Пошли они лесом.
Боинг должен обанкротится. Нам нужны другие, Свободные самолёты, где под копилефт лицензирована вся авионика.
| | |
| |
| |
| 3.305, Аноним (305), 16:55, 05/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Можно начать с RISC-V и аппаратов литографии. На век работы хватит.
| | |
| |
| 4.324, Аноним (-), 11:51, 09/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Можно начать с RISC-V и аппаратов литографии. На век работы хватит.
RISCV ядрами уже забит весь гитхаб...
| | |
|
|
| 2.268, dannyD (?), 23:26, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
>>Нам нужны другие, Свободные самолёты, где под копилефт лицензирована вся авионика.
а подводные лодки для путешествий к Титанику не ннада?
| | |
|
| 1.243, Аноним (-), 17:24, 03/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– |
Когда-то Линус послал NVIDIA. Пора послать Линусу и Boeing. Пока они не научатся уважительно общатся со Свободным сообществом.
| | |
| 1.286, Аноним (286), 17:34, 04/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +1 +/– |
Позор Boing-у... так низко пасть что бы пиарить себя на разработке системы общего назначения Linux.
Можно было сказать что просто разрабатывают сверх надежную систему и все.
Убогие конечено.
| | |
| 1.294, xsignal (ok), 19:25, 04/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
 > применяемые в авионике специализированные RTOS проходят специальную сертификацию
Что-то сертификация никак не спасла Боинги 737 MAX от падений...
| | |
| 1.295, xsignal (ok), 19:37, 04/07/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +/– | |
> отмечается отсутствие необходимой сертификации надёжности, монолитная архитектура [...], хаотичность, отсутствие должной культуры разработки, обеспечения качества и безопасности
"А Васька слушает, да ест" Линукс как был супер-надёжной системой без всей этой бюрократической требухи, так и будет. Как работали на нём сервера годами без перезагрузки, так и будут работать, в то время как вдоль и поперёк сертифицированный костыль MCAS роняет самолёты...
| | |
| |
| 2.303, Аноним (197), 15:14, 05/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Все немного сложнее. Скажем если сервак тупанет на секунду - никто особо не заметит. Но самолет за это время пролетает довольно приличное расстояние. А космический корабль - еще более приличное. Он не остановится подождать пока там компьютер с тормоза снимется, как и весь реальный физический мир с которым надо взаимодействовать.
| | |
| |
| 3.304, Аноним (304), 16:15, 05/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Э-э погоди, не гони. Он просто сказал, что линуксовые сервера самые надёжные и лучшие в мире. И говоря это он даёт понять, что качественный софт могут делать только ребята из ГНУ. Давай представим компанию, которая имеет Свободную авионику и копилефтный софт под неё. Неужели ты думаешь ребята из ГНУ такие тупые, что не позаботятся о создании тщательной системы проверок всего софта и электронную начинку под неё?
| | |
| |
| 4.310, Аноним (308), 10:35, 06/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Если софт - ОС РВ, почему нет? Но Linux - не ОС РВ. Потому, как выше намекали коллеги, непонятно, о чем вообще речь?
| | |
| |
| 5.323, Аноним (-), 18:16, 08/07/2023 [^] [^^] [^^^] [ответить]
| +/– | |
> Если софт - ОС РВ, почему нет? Но Linux - не ОС РВ.
Вообще, с патчами RT_LINUX он, таки, это. И их уже почти все втянули в майнлайн. В ядрах новее 6.1 там RT_PREEMPT кернел означает сильно другие вещи, с довольно жесткими гарантиями шедулинга реалтаймных процессов. К сожалению это не все и еще есть некоторые проблемные места, способные сорвать гарантии.
| | |
|
| 4.322, Аноним (-), 18:14, 08/07/2023 [^] [^^] [^^^] [ответить] | +/– | У надежности есть много аспектов И сказать что например реалтайм гарантии линух... большой текст свёрнут, показать | | |
|
| 3.306, xsignal (ok), 17:19, 05/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Все немного сложнее. Скажем если сервак тупанет на секунду - никто особо
> не заметит. Но самолет за это время пролетает довольно приличное расстояние.
Ну это само собой. Естественно, в авионике нужно не обычное ядро использовать, а реального времени.
| | |
| 3.316, BeLord (ok), 17:16, 07/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Когда спутник висит на орбите и выясняется, что надо внепланово обновить ПО системы навигации, вот тут цирк начинается, на Земле и не снилось, а одно не верное движение и все нет спутника.
| | |
| |
| 4.321, Аноним (-), 18:02, 08/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Когда спутник висит на орбите и выясняется, что надо внепланово обновить ПО
> системы навигации, вот тут цирк начинается, на Земле и не снилось,
> а одно не верное движение и все нет спутника.
NASA даже марсоходам софт обновляет. И никакого цирка в этом нет. Если проектировано нормальными инженерами, предусмотревшими такие операции.
| | |
|
|
|
|
