| |
| 2.54, zzz (??), 11:49, 22/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
Шел 28-ой год разработки, как индеец Зоркий Глаз понял, что в линуксе надо обучать
>разработчиков отрытого ПО приёмам создания безопасного и надёжного кода | | |
| |
| 3.65, fi2fi (?), 13:03, 22/02/2019 [^] [^^] [^^^] [ответить]
| –2 +/– |
так из компаний подтягиваются со своими навыками из закрытого говница - сколько сил надо на переобучение тратит!!!
| | |
| |
| 4.73, Канделябры (?), 14:33, 22/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
Приходит Майкрософт (ваши любимые проклятушшые ындусы), зачёрпывает бесплатного омнеца из вашей бочки, крэкс-пэкс-фэкс! и, бабах! появляется новый промышленный стандарт.
| | |
|
|
| 2.80, DmA (??), 17:46, 22/02/2019 [^] [^^] [^^^] [ответить]
| +4 +/– |
линукс хочет дорасти до класса А по защищённости систем??? Верифицируемым ПО стать???
Тогда нужно вернуться к дискуссии Таненбаум-Линус и начать использовать микроядра!
| | |
|
| |
| |
| Часть нити удалена модератором |
| 3.39, Аноним (39), 10:04, 22/02/2019 [^] [^^] [^^^] [ответить]
| +1 +/– |
Ваших хоумюзеров интересуют только Фконтактик, Мордокнижка, котикофоточки. Поэтому пусть сидят на "божественной" десяточке.
| | |
| |
| 4.56, IB (?), 12:18, 22/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
У хомяка и так есть Андроид и Тизен.
Linux based мутанты, но всё же
| | |
|
|
|
| 1.3, Аноним (3), 23:02, 21/02/2019 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
Я не разработчик, но со стороны мне не кажется такой уж необходимой задача именно интеграции всего этого в основную ветку. Возможно, было бы правильнее стандартизировать какой-то набор API или даже ABI и каких-то подходов и вести проекты основного ядра и этого высоконадёжного параллельно, но совместимо по софту, работающему поверх них. Т.е. чтобы программу из автомобиля или аппарата МРТ технически можно было запустить и на обычном компе, но для этого не нужно было обычный комп превращать прям в систему реального времени. Пусть себе для баловства работает в нереальном времени.
| | |
| |
| 2.5, Sw00p aka Jerom (?), 23:16, 21/02/2019 [^] [^^] [^^^] [ответить]
| +/– | |
>превращать прям в систему реального времени
а шо это за система реального времени? можно ли систему считать РВ если в ней есть механизм прерываний?
| | |
| |
| 3.20, Аноним (20), 03:30, 22/02/2019 [^] [^^] [^^^] [ответить]
| +5 +/– |
Ровно до тех пор, пока все укладывается в необходимые временные рамки.
| | |
| |
| 4.63, Sw00p aka Jerom (?), 12:47, 22/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
Все правильно, но это по принятому определению СРВ. Аноним коментом ниже, хорошо отметил, как можно говорить о РВ, когда существует понятие прерывания, на лицо - противоречие.
| | |
| |
| 5.86, Аноним (20), 02:36, 23/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
Дискретность никак не противоречит системам реального времени пока обработка событий укладывается в необходимые рамки.
| | |
| |
| 6.91, Sw00p aka Jerom (?), 16:31, 23/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
> Дискретность никак не противоречит системам реального времени пока обработка событий укладывается
> в необходимые рамки.
Портиворечит, так же как и противаречат понятия "прерывность" и "не прерывность". Само понятие "реального времени" непонятное (не точное, не строгое), просто приняли понятие "гарантированного времени", а про понятие "гарантированного пространства" - забыли. И не система гарантирует, что-то, а планировщик какой-то.
| | |
|
|
|
| 3.52, Pofigist (?), 11:22, 22/02/2019 [^] [^^] [^^^] [ответить]
| –2 +/– |
Нет, разумеется. Система реального времени это система с гарантированным временем реакции на событие. Все. То есть реакция на сбытые (ну типа прерывание, в том числе) наступает не позже чем через некоторый, заранее определенный, промежуток времени.
| | |
| |
| 4.53, Аноним (53), 11:35, 22/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
И это "Система реального времени это система с гарантированным временем реакции на событие" уже само по себе настолько серьёзное допущения, что основываясь на нём можно почти что угодно назвать системой реального времени ( при взрыве солнца реакция наступит даже у уснувшего устройства ;) )
| | |
| |
| 5.83, Pofigist (?), 22:14, 22/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
На самом деле - это единственное правильное определение. С кучей следствий, типа что наличие RTOS еще совсем не гарантирует что вся система будет RT... :)
| | |
| 5.88, Ordu (ok), 13:16, 23/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
 Не всё что угодно. Конечность значений множества и ограниченность этого множества -- это разные вещи. Если все значения конечны -- это не значит, что множество ограничено. Если система гарантированно среагирует -- это значит, что множество времён реакции состоит из конечных элементов, но это не значит, что множество ограничено сверху каким-то определённым значением. Не-RT система гарантирует конечность времени обработки, RT система гарантирует ограниченность.
| | |
| |
| 6.90, Аноним (90), 15:49, 23/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
Не пробовали быть немного проще? Намного приятней когда сложные вещи объясняются простым языком вместо того чтобы все усложнять.
| | |
| |
| 7.92, Sw00p aka Jerom (?), 16:32, 23/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
> Не пробовали быть немного проще? Намного приятней когда сложные вещи объясняются простым
> языком вместо того чтобы все усложнять.
куда проще чем наивная теория множеств Кантора?
| | |
| 7.93, Ordu (ok), 16:47, 23/02/2019 [^] [^^] [^^^] [ответить] | +/– | Это самые-самые азы матана -- множество, конечное множество, конечное значение, ... большой текст свёрнут, показать | | |
| |
| 8.94, Аноним (94), 18:02, 23/02/2019 [^] [^^] [^^^] [ответить] | –1 +/– | Возможно, все это из-за того что я не владею даже азами математики, но вполне по... текст свёрнут, показать | | |
| |
| 9.95, Ordu (ok), 18:13, 23/02/2019 [^] [^^] [^^^] [ответить] | +/– | Да, возможно объяснить это без привлечения математического языка Но это будет д... текст свёрнут, показать | | |
| |
| 10.96, Аноним (96), 19:10, 23/02/2019 [^] [^^] [^^^] [ответить] | –1 +/– | Это я к тому, что мат аппарат стоит применять только там где без него никак не о... текст свёрнут, показать | | |
| |
| 11.97, Ordu (ok), 20:40, 23/02/2019 [^] [^^] [^^^] [ответить] | –1 +/– | А я это к тому, что тебе может быть НЕиспользование матаппарата и упрощает пон... текст свёрнут, показать | | |
| |
| |
| 13.100, Ordu (ok), 06:23, 24/02/2019 [^] [^^] [^^^] [ответить] | +/– | Речь не о достойности Ты как дитя малое Как ты думаешь, что меня сподвигло нап... большой текст свёрнут, показать | | |
|
|
|
|
|
|
|
|
|
|
|
| 2.8, Аноним (8), 23:42, 21/02/2019 [^] [^^] [^^^] [ответить]
| +19 +/– | |
> Я не разработчик, но со стороны мне не кажется
Я не гинеколог, но посмотреть могу.
| | |
| |
| |
| 4.40, Аноним (24), 10:05, 22/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
QNX хорошо начинала. Как-то направил им запрос - бесплатно выслали CD с системой и документацией. Причем была у них утилитка - делала загрузочную дискету 1,4 Мб с системой, снабженной графикой и браузером.
| | |
| |
| 5.66, fi2fi (?), 13:07, 22/02/2019 [^] [^^] [^^^] [ответить]
| +2 +/– |
а было время когда они НЕ давали даже спеки как писать драйверы - давайте вашу железяку мы за деньги ее подключим!!! Вот были барыги! но жизнь учит таких.
| | |
|
|
|
| 2.41, Аноним (39), 10:07, 22/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
Нет уж, ABI стандартизировать точно не нужно. А то начнёт обрастать закрытой блобятиной.
| | |
| |
| 3.59, Vitaliy Blats (?), 12:31, 22/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
 > Нет уж, ABI стандартизировать точно не нужно. А то начнёт обрастать закрытой блобятиной.
Оно взаимосвязано. Закрытая блобятина гарантирует соблюдение ноу-хау.
| | |
| |
| 4.71, Аноним (39), 13:51, 22/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
Блобятина в ядре ещё гарантирует бекдоры. Пусть ноу-хавы живут в проприетарных QNX-ах.
| | |
|
|
|
| 1.4, VINRARUS (ok), 23:14, 21/02/2019 [ответить] [﹢﹢﹢] [ · · · ]
| –6 +/– |
 То есть до этого существовали лиш не очень надьожные Linux системы?
Может легче просто сменить ядро?
| | |
| |
| 2.9, Аноним (9), 23:56, 21/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
На какое? Есть QNX и vxWorks, конечно, последняя в марсоходы ставиться, например. Но они же несвободные и очень недешёвые
| | |
| |
| |
| 4.14, Аноним (9), 00:36, 22/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
Ну, вообще, конечно, как сделать из нынешнего линукса операционку реального времени - это вопрос. Все равно чтоииз слона балерину делать
| | |
| |
| |
| 6.68, Аноним (9), 13:15, 22/02/2019 [^] [^^] [^^^] [ответить]
| +1 +/– |
Колибри поделка, да ещё и на ассемблере, то есть сильно прибита к x86. Проект интересный, но блин. Одно дело в банкомате там или кассе, но вы рискнете её на марсоход ставить?
| | |
|
|
|
| 3.23, Аноним (23), 07:08, 22/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
Последняя также ставится в модемы Huawei, параллельно с андроидом без далвика
| | |
|
|
| 1.7, Аноним (7), 23:33, 21/02/2019 [ответить] [﹢﹢﹢] [ · · · ]
| +2 +/– |
Как обычно сгенерируют несколько разных подсистем, якобы предоставляющих нужный функционал, ни один из которых так и не будет доведён до приемлемого уровня. В том же top500 ключевое для HPC ПО к линуксу не имеет отношения и является проприетарным, линуксы юзаются только для их запуска.
| | |
| 1.11, Сергей (??), 00:19, 22/02/2019 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
 У нас на атомной винда только у бугалтеров, а так.. кругом линукс, перешли в 2000х
| | |
| |
| |
| 3.85, Сергей (??), 23:16, 22/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– |
Извините, я из Украины.
Никаких дистров, специалисты сами собирают нужный софт. Задроты ещё того уровня, боюсь с ними о линуксе даже говорить, не удивлюсь если они ещё и работают над ядро вместе с торвальдсом, красногласики)
| | |
|
|
| |
| |
| |
| 4.42, Аноним (24), 10:08, 22/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
Где-то тут поблизости, может, пока и да. Но будет как в самолетах - только имитация.
| | |
| 4.60, Vitaliy Blats (?), 12:33, 22/02/2019 [^] [^^] [^^^] [ответить]
| –2 +/– | |
> Связь педали тормоза с колодками разве не механическая?
Зачем ты вылез из криокамеры?
Уже давно НЕТ. А на электрокарах, там вообще хитроjопый девайс.
| | |
| |
| 5.87, Аноним (33), 10:37, 23/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
То есть если на скорости откажет аппаратно-программный комплекс, например сбойнёт программа или от вибрации отвалится электропитание, то машина превратится в гроб на колёсиках, и единственная надежда - на ручник, когда дорога каждая миллисекунда и водитель будет ~2 секунды тупить, не понимая, почему педаль тормоза не работает?
| | |
| |
| 6.89, Аноним84701 (ok), 14:33, 23/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
 > и единственная надежда - на ручник, когда дорога каждая миллисекунда
С разморозкой!
EPB/APB (electronic/automatic parking brake) -- красивая кнопочка/рычажочек с ЛЕДшечкой и никаких старомодных атавизмов в салоне!
| | |
| 6.109, Michael Shigorin (ok), 13:06, 27/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
 > То есть если на скорости откажет аппаратно-программный комплекс
---
По данным концерна, причиной проблем стали погрешности программы в системе ABS, которая предохраняет автомобиль от заноса при торможении на скользкой дороге. [...] "Выпадает", "проскальзывает" - вот, наверное, самое точное слово. [...] Toyota не будет заменять детали - будут внесены изменения в программу.
--- https://ria.ru/20100209/208388829.html
2010 год. С тех пор ещё были скандалы навроде тотальных глобальных переменных в прошивке как бы не той же тойоты, лень искать.
| | |
|
|
|
|
|
| 1.21, Аноним (21), 05:29, 22/02/2019 [ответить] [﹢﹢﹢] [ · · · ]
| +6 +/– |
Почему бы деньги linux foundation не вложить в gnu hurd. Глядишь сразу альфа выйдет.
| | |
| |
| 2.46, Andrey Mitrofanov (?), 10:32, 22/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
> Почему бы деньги linux foundation не вложить в gnu hurd. Глядишь сразу
> альфа выйдет.
В FSF-овскую... GPLv3+... GNU Hurd ??77
Продаж-манареры всех уровней в LF отлично понимают, что их спонсеры _совсем_ не оценят такой вашей шутки.
Они там консорции промышленников мутили абсолютно не с таким "развитым" чувством юмора.
Они серьёзны, как <вырезано полицией <вырезано/>ии />.
| | |
| 2.57, IB (?), 12:23, 22/02/2019 [^] [^^] [^^^] [ответить]
| –2 +/– |
Благородный дон шутит.
Хурд пишут полтора академика.
И "Developers! Developers! Developers!"там раздаётся вовсю.
Если оно никому не интересно, с чего вдруг?
Очень уж много придётся платить тем кто пойдёт на эти галеры
| | |
| 2.79, Anonimus (??), 17:06, 22/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
лучше redox, он более развивается, более перспективный и как минимум не менее безопасный и также микроядерный.
| | |
|
| |
| 2.28, Аноним (27), 08:20, 22/02/2019 [^] [^^] [^^^] [ответить]
| –2 +/– |
Забыл дописать: для совсем надёжной системы это ещё должно быть на своём проверенном железе.
| | |
| |
| 3.62, Vitaliy Blats (?), 12:44, 22/02/2019 [^] [^^] [^^^] [ответить]
| –1 +/– | |
> Забыл дописать: для совсем надёжной системы это ещё должно быть на своём проверенном железе.
100%. Штеуд Core i100500 со встроенными зондами разной степени ректальности. Сертифицированными конечно.
| | |
|
|
| 1.61, Vitaliy Blats (?), 12:43, 22/02/2019 [ответить] [﹢﹢﹢] [ · · · ]
| –2 +/– | |
Ну начнем с того, что для высоконадежных систем, ОС в принципе не нужна, и ей там не место. ОС - это целый комбайн разных подсистем, сбой каждой из которых ведет к остановке всей системы. И чем жирнее подсистемы - тем больше вероятность сбоя.
Впрочем я под "высоконадежной" системой считаю не анимированный спидометр в BMW, а например Вояджеры\Пионеры, которые вот уже 40 лет работают за миллиарды километров от планеты.
| | |
| |
| 2.69, Аноним (9), 13:18, 22/02/2019 [^] [^^] [^^^] [ответить]
| +2 +/– | |
В марсоход ставят vxWorks, вполне себе ОС. Реального времени.
ОС - это менеджер ресурсов, в таких системах он нужен так же, как и в обычных. Просто надо, чтобы в нем не было ничего лишнего
| | |
| 2.103, crypt (ok), 18:38, 24/02/2019 [^] [^^] [^^^] [ответить]
| +1 +/– |
 / joke mode /
Виталий... я бы с вами согласился... но в Linux теперь только одна подсистема: systemd!
| | |
|
| 1.84, Аноним (84), 22:41, 22/02/2019 [ответить] [﹢﹢﹢] [ · · · ]
| +1 +/– |
Кстати, все почему-то забыли про MINIX. Из него же можно сготовить RTOS. У Штеуда в камнях в подсистеме Inte ME прошивка на миниксе, например
| | |
| |
| |
| 3.107, Аноним (104), 12:06, 27/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
угу. Вместо юзания того, что уже может нормально работать, мы возьмем смузи, гироскутер с вейпом и будем форкать 100500й клон линукса. Нужно просто добавить докеров и кубернейтсов
| | |
| |
| 4.108, Andrey Mitrofanov (?), 12:17, 27/02/2019 [^] [^^] [^^^] [ответить]
| +/– |
> угу. Вместо юзания того, что уже может нормально работать, мы возьмем смузи,
> гироскутер с вейпом и будем форкать 100500й клон линукса. Нужно просто
> добавить докеров и кубернейтсов
Я тебе второй раз внимательно повторяю: заголовок видишь -- в нём ничего про фбсд и про "просто работает" нет.
Прекрати офтопик. :-P
| | |
|
|
|
|
