https://opennet.ru/openforum/vsluhforumID3/128161.html Для включения в состав ядра Linux 5.20 (возможно, ветка получит номер 6.0) предложен набор патчей с реализацией механизма RV (Runtime Verification), представляющего средства для проверки корректности работы на высоконадежных системах, гарантирующих отсутствие сбоев. Проверка производится во время выполнения через прикрепление обработчиков к точкам трассировки, сверяющих фактический ход выполнения с заранее определённой эталонной детерминированной моделью автомата, определяющего ожидаемое поведение системы...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=57605<br> https://opennet.ru/openforum/vsluhforumID3/128161.html#155 Mon, 15 Aug 2022 10:49:20 GMT Чего только не придумают, лишь бы ядро на расте не переписывать<br> https://opennet.ru/openforum/vsluhforumID3/128161.html#154 Thu, 11 Aug 2022 07:27:34 GMT &gt; Да, древняя проблема: кто контролирует контролера.) <br><br>В данном случае проблемы нет ведь известно кто - тот кто надо кто<br>А потом окажется что контролёр контролёра находится на чьём-то уютном сервачке и проверяет онлайн чтобы кто-то сильно умный потными ручонками не влез куда ему не положено. А без подключения к интернету и аппарат толком не запустить ведь проверку не проходит. "Вот смеху то будет!"<br>Разумеется, того контролёра никому (из посторонних) проверять не надо - "он и так правильный"<br> https://opennet.ru/openforum/vsluhforumID3/128161.html#153 Wed, 10 Aug 2022 22:21:49 GMT А в чем собственно трабл? Более того, RT_LINUX патчи интел стал продвигать. Они скупили их разработчиков, вот и... . А кто-то сомневается что у линуха найдется более 9000 применений в околореалтаймных системах с высокими требованиям к надежности? А зря! Бортовые компьютеры, автопилоты, управляющие системы и тому подобное добро. Очень странно что ARM хочет чтобы их чипы там были топчиком. Да и остальные не прочь поделить этот довольно вкусный кус пирога. Который к тому же в отличие от хайпа и пузырей - надолго и всерьез. От вон тех систем человечество в обозримом будущем не откажется.<br> https://opennet.ru/openforum/vsluhforumID3/128161.html#152 Wed, 10 Aug 2022 22:16:50 GMT Я в фирмварях использую что-то отдаленно напоминающее сабжевую идею. Там где функции опасные, есть дополнительные "check values" маркированые volatile (чтобы оптимизер не выпилил) и код проверяет почему он вообще здесь. Если ему не нравится повод по которому его вызвали - немедленная маркировка системы как "неисправной" и далее recovery/failsafe.<br><br>Разумеется я не придумал этот фокус, базовый control flow enforce из safety guidelines. Шелскриптам столько не надо как правило: если что-то оформлено шелскриптом, надежностью заведомо не парились т.к. там много чего может пойти не так.<br> https://opennet.ru/openforum/vsluhforumID3/128161.html#151 Wed, 10 Aug 2022 22:10:36 GMT Насколько я понимаю - оно достаточно близко к идеалу, в плане обеспечения той верификации которая обещана. Там довольно мало места для того чтобы пошло не так. Скорее проблемой станет более 9000 других аспектов работы системы.<br><br>Скажем для реалтайм систем сабж вообще никак не относится к фактическим временам выполнения. И если верификация прошла но оно полчаса заняло - ну, не факт что это круто и правильно, однако по данной метрике все будет ЗБС. То что все процессы будут полчаса ждать - вот не факт.<br> https://opennet.ru/openforum/vsluhforumID3/128161.html#148 Wed, 10 Aug 2022 07:49:28 GMT &gt; Даже в Windows 11 есть контроль доступа<br><br>А в ядре линуксе есть eBPF. например, которым можно контролировать любой системный вызов. Или тебе нужно мышевозное пальцетыкательное окошко с единственной кнопкой "OK"?<br> https://opennet.ru/openforum/vsluhforumID3/128161.html#147 Wed, 10 Aug 2022 06:50:33 GMT &gt; Не обязательно.<br><br>"Отличная" гарантия для "высоко"-надежной системы.<br> https://opennet.ru/openforum/vsluhforumID3/128161.html#146 Wed, 10 Aug 2022 05:43:21 GMT &gt; большинство разменивает свободу на удобство.<br><br>И жаловаться оно при этом может только на себя. Более того - если кто выбрал "бесплатную" баланду и "удобный" барак, "зато париться не надо", ну а смысла ныть про замки и что их запирают? Сам по себе замок не добро и не зло, это просто железка.<br><br>&gt; Стоит зайти в любом браузеер, даже ФФ на какой нибудь платный онлайн <br>&gt; кинотеатр и эта гадость сама подтянется. О времена, о нравы!<br><br>1) У меня ничего такого не подтянется.<br>2) Не собираюсь платить за пичкание меня малварью, я не настолько лох.<br> https://opennet.ru/openforum/vsluhforumID3/128161.html#145 Wed, 10 Aug 2022 04:08:47 GMT Коммитеры:<br>@google.com<br>@redhat.com<br>@arm.com<br>Ну, естессно.<br>