forum.opennet.ru

"Для Linux предложен механизм верификации корректности работы ядра"

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

Исходное сообщение

[ Отслеживать ]

Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.

"Для Linux предложен механизм верификации корректности работы ядра"	+/–
Сообщение от opennews (?), 07-Авг-22, 18:02
Для включения в состав ядра Linux 5.20 (возможно, ветка получит номер 6.0) предложен набор патчей с реализацией механизма RV (Runtime Verification), представляющего средства для проверки корректности работы на высоконадежных системах, гарантирующих отсутствие сбоев. Проверка производится во время выполнения через прикрепление обработчиков к точкам трассировки, сверяющих фактический ход выполнения с заранее определённой эталонной детерминированной моделью автомата, определяющего ожидаемое поведение системы... Подробнее: https://www.opennet.ru/opennews/art.shtml?num=57605
Ответить \| Правка \| Cообщить модератору

Оглавление

Для Linux предложен механизм верификации корректности работы ядра, opennews, 07-Авг-22, 18:02 [смотреть все]

Vendorlock с мобилок на компьютеры , Аноним228, 07-Авг-22, 18:02 (1) //
- DRM, Аноним, 07-Авг-22, 18:13 (12) //
  - мммм вкуснатищаааа навалите побольше этого добра , Аноним, 08-Авг-22, 08:38 (58) //
    - На тебе ещё телеметрию , Копираст, 08-Авг-22, 19:42 (85)
    - А оно там, видите ли, конфигуряемо И половина из этого сойдет за секурити фичи,, Аноним, 09-Авг-22, 02:39 (97)
      - Оно больше на SecureBoot похоже, только не на загрузку, а на всё исполнение , Аноним, 09-Авг-22, 22:23 (132)
        
        Это как-то за уши притянуто, не для этого оно, это под реалтаймные управляющие с, Аноним, 10-Авг-22, 04:35 (134)
- Совсем больной Это самодиагностика системы, полезно для управления промышленным, Аноним, 09-Авг-22, 02:32 (96) //
  - в современном ойти это так не работает иметь тебя будут и те, кому платишь и те,, Аноним, 09-Авг-22, 14:09 (128) //
    - Все там работает, это я как краудфандивший некоторые штуки говорю Да, может быт, Аноним, 10-Авг-22, 04:41 (135)
а в итоге нечто подобное налепят на предустановленные 171 линуксы 187 - и, Бывалый смузихлёб, 07-Авг-22, 18:05 (2) //
- Уверен, что эта штука будет отключаема нужна верификация - включил в ядре, не н, 111, 08-Авг-22, 10:50 (60) //
  - поначалу - дас антивирусом и обновлениями в винде тоже так думали поначалуве, Бывалый смузихлёб, 08-Авг-22, 11:43 (62) //
    - ну кто проститутку снимает - тот её и трахает Или не трахает - как пожелает аре, Аноним, 08-Авг-22, 11:48 (63)
      - Точнее, кто имплементит систему - тому она по умолчанию и служит Захочет ли он , Аноним, 09-Авг-22, 02:48 (98)
    - Вообще-то слава богам , Шаман, 08-Авг-22, 19:44 (86)
      - Так-то, слава багам, конечно , Расмус Лердорф, 08-Авг-22, 23:02 (94)
        
        Багам не слава, им bisect P, Аноним, 09-Авг-22, 02:49 (99)
  - Ага, знаем мы как это будет Делается это на примере кинца так пропихиваем DRM , Kuromi, 08-Авг-22, 15:45 (75) //
    - Прикинь, в ядре линя конфигуряется практически все При условии что ты владелец , Аноним, 09-Авг-22, 02:51 (100)
      - Ложь , microsoft, 09-Авг-22, 10:46 (121)
      - И что Думаешь они не встроят в свои DRM проверку нужных фич Будет просто гов, Kuromi, 09-Авг-22, 14:53 (130)
        
        1 Это все придется в юзер мод софте делать 2 Имеючи контроль над ядром я в при, Аноним, 10-Авг-22, 04:51 (136)
        
        Не, ну позиция твоя ясна Я не собираюсь её критиковать - твердые принципы это н, Kuromi, 10-Авг-22, 05:46 (144)
        
        И жаловаться оно при этом может только на себя Более того - если кто выбрал бе, Аноним, 10-Авг-22, 08:43 (146)
  - Отработал миску риса, маладца Свободен , microsoft, 09-Авг-22, 10:44 (120)
А кто верефицирует верификатор , Ананимассс, 07-Авг-22, 18:10 (7) //
- Верификатор второго порядка, очевидно , A.Stahl, 07-Авг-22, 19:10 (24) //
  - меня терзают смутные сомнения, Иван Васильевич, 07-Авг-22, 20:46 (39) //
    - Сделай 2 верификатора и пусть они проверяют друг друга Кроме стеба это до некот, Аноним, 09-Авг-22, 02:54 (101)
  - неполнота , Sw00p aka Jerom, 09-Авг-22, 03:44 (102)
- Да, древняя проблема кто контролирует контролера , Neon, 08-Авг-22, 18:35 (80) //
  - Самый лучший контролер норот, его не омманешь , Анон1234, 10-Авг-22, 05:40 (143)
  - В данном случае проблемы нет ведь известно кто - тот кто надо ктоА потом окажетс, Бывалый смузихлёб, 11-Авг-22, 10:27 (154)
- TPM, Аноним, 08-Авг-22, 19:32 (83)
Кто будет гарантировать что в модели ошибок нет Ведь чтобы написать сложный алг, fuggy, 07-Авг-22, 18:12 (11) //
- Подожди Ты замахнулся слишком далеко Например, есть модуль ядра, который напис, Аноним, 08-Авг-22, 14:19 (71) //
  - Если вызов паники заложен в модель, то это корректное поведение Но если ошибся , fuggy, 08-Авг-22, 18:49 (82) //
    - В данном случае как я понимаю оно может проверять трейс выполнения в интересных , Аноним, 09-Авг-22, 06:30 (108)
      - Сабж проверяет сам себя и паникует Если глюкавящая система проверяет сама с, Аноним, 09-Авг-22, 14:39 (129)
        
        Не обязательно Исход проверки либо трейс совпал , либо трейс не совпал Если, Аноним, 10-Авг-22, 04:55 (137)
        
        Отличная гарантия для высоко -надежной системы , Аноним, 10-Авг-22, 09:50 (147)
        
        Насколько я понимаю - оно достаточно близко к идеалу, в плане обеспечения той ве, Аноним, 11-Авг-22, 01:10 (151)
- Модель и реальность - это совершенно разные сущности сущность - это часть реаль, Аноним, 08-Авг-22, 20:04 (89)
Опять вместо микроядра выбрали встроить какого-то шпиона контролирующего исполне, Аноним, 07-Авг-22, 18:24 (17) //
- Кода миллионы строк вместе Единый порыв -- монолитЛишь так в нашем прогрессе, A.Stahl, 07-Авг-22, 19:12 (26) //
  - У кого что болит тот о том и говорит Странно предлагать что именно болит у опен, Аноним, 07-Авг-22, 19:19 (27) //
    - посмотри на творения этой бестолочи - все сразу ясно станет, Аноним, 08-Авг-22, 00:52 (43)
      - ты про игрушки стахаля кинь ссыль тогда на это уг, Аноним, 08-Авг-22, 04:56 (50)
  - классные стихи выдал пешыесчо как грится , B.Stahl, 08-Авг-22, 17:09 (76)
Годно , Аноним, 07-Авг-22, 18:39 (20) //
- s д в , pashev.ru, 07-Авг-22, 21:18 (40) //
  - s p как , Аноним, 08-Авг-22, 00:52 (44)
Вангую, что админы высоконадежных системах, гарантирующих отсутствие сбоев буд, YetAnotherOnanym, 07-Авг-22, 18:42 (21) //
- Разве она не будет строиться автоматически на основе исходного кода В этом и см, Аноним, 07-Авг-22, 18:54 (23) //
  - Нет, конечный автомат создаётся руками, после компилируется валидатор Имхо, есть, Твайлайт Спаркл, 07-Авг-22, 19:36 (29) //
    - Это оценочная функция для генератора разных версий ядра оравы ядрописателей Б, Аноним, 08-Авг-22, 13:53 (69)
      - Ты еще заагрись, блин, на телеметрию у космического аппарата или промышленного о, Аноним, 09-Авг-22, 06:31 (109)
        
        Привет, аноним, отвечающий на несущественные части моих сообщений , Аноним, 09-Авг-22, 09:20 (113)
        Это другое , aname, 09-Авг-22, 09:53 (115)
        Если это телеметрия от левых людей, то конечно надо заагриться, без шуток Телем, Аноним, 09-Авг-22, 10:36 (117)
- Эта хрень будет тупо отключать отключения админов гарантируя отсутствие сбоев, Первая буква, 08-Авг-22, 08:37 (57) //
  - Не, это те кто реализуют системы будут отключать, если админы зарекомендуют себя, Аноним, 10-Авг-22, 04:58 (138)
cool, Аноним, 07-Авг-22, 19:33 (28)
Зачем , Аноним, 07-Авг-22, 19:39 (30)
Слово проверка короче и, соответственно, имеет меньший углеродный след , Аноним, 07-Авг-22, 20:00 (33) //
- Надо алгоритм верификации корректности функционирования кёрнела Так важнее зву, анон, 07-Авг-22, 20:19 (35)
- А промолчал бы, было бы ещё меньше , pashev.ru, 07-Авг-22, 21:19 (41) //
  - так заткнись, Аноним, 08-Авг-22, 00:54 (45)
  - Вот видите, товарищи А было бы русскоязычное Кстати, а когда старые слова зап, Аноним, 08-Авг-22, 07:49 (53)
- Е нувший промышленный процесс или упавший самолет тоже имеют углеродный и не , Аноним, 09-Авг-22, 05:53 (105) //
  - Автоматы стоят для защиты линии от тебя, а не тебя от пожара , Аноним, 09-Авг-22, 10:37 (118) //
    - Да как бы тебе сказать, чудак Сравни сечение проводов линии и сечение проводов , Аноним, 10-Авг-22, 05:03 (139)
  - Жёстео же тебя бомбит , Аноним, 09-Авг-22, 11:22 (122)
Чего только не придумают чтоб Аду не учить , Аноним, 07-Авг-22, 20:41 (37) //
- Bastards Опять и опять в бесконечность Веселое, Аноним, 07-Авг-22, 22:17 (42)
Я так скрипта на bash отлаживаю echo point_name , torvn77, 08-Авг-22, 01:10 (46) //
- Он тоже изобрел дебажный printf Хоть и хреновый Но валидация поведения тут г, Аноним, 09-Авг-22, 06:36 (110) //
  - Помимо этого я ещё вставляю echo env_name env_nameИ вот так и идёт трек работы, torvn77, 09-Авг-22, 14:04 (126) //
    - Я в фирмварях использую что-то отдаленно напоминающее сабжевую идею Там где фун, Аноним, 11-Авг-22, 01:16 (152)
Очередной кривой и неработающий overengineering, all_glory_to_the_hypnotoad, 08-Авг-22, 01:30 (47)
Виндовый верифаер изобрели , Аноним, 08-Авг-22, 03:36 (49) //
- Будет иронично, если микрософты к этому свои клавиатуры приложили, aname, 09-Авг-22, 10:02 (116)
А смысл в этом Runtime Verification Упало ядро в панику в рантайме - значит всё, Аноним, 08-Авг-22, 06:21 (52) //
- А может это не надо если можно доказать, что один домен состояний гарантированно, kusb, 08-Авг-22, 12:08 (65)
- К монолитности ядра эта проблема не имеет никакого отношения Проблема исключите, all_glory_to_the_hypnotoad, 08-Авг-22, 15:12 (74)
- Обнаружение некорректной работы системы в сюжетно интересных точках и довольно б, Аноним, 09-Авг-22, 06:04 (106) //
  - Для решения подобных проблем давно придумали assert и неотключаемый assert, не н, all_glory_to_the_hypnotoad, 09-Авг-22, 11:31 (123) //
    - И как assert поможет от допустим DMA перезаписавнего блок памяти с переменными в, Аноним, 10-Авг-22, 05:08 (140)
А механизм верификации корректности работы верификации где , Онаним, 08-Авг-22, 09:14 (59) //
- А это следующий этап распила А потом верификация верификатора следующего порядк, Neon, 08-Авг-22, 18:36 (81) //
  - Если можно верифицировать физику и верификатора - по атомам, взаимодейтвиям и ни, kusb, 08-Авг-22, 22:01 (92)
  - При чём тут распил, болезней , anonymous, 08-Авг-22, 22:24 (93) //
    - Он так привык , myhand, 09-Авг-22, 05:10 (103)
    - Перечитай Там другой распил Получается тебе везде мерешится распил , kusb, 09-Авг-22, 23:14 (133)
патч проверяет наличие кода на Rust в ядре,и если оный не обнаружен - ядро работ, darkshvein, 08-Авг-22, 11:18 (61) //
- Конечно же нет , Аноним, 08-Авг-22, 19:51 (88)
Подмена понятий Проверка не повышает и не понижает надежность Проверка может тол, Аноним, 08-Авг-22, 12:03 (64) //
- Ну если не смущает бородатые правила, - Чем больше функций в системе защиты, , _kp, 08-Авг-22, 13:23 (67) //
  - Чтобы работать с вероятностью надо знать вероятности Бессмысленное, в общем слу, Аноним, 08-Авг-22, 13:32 (68) //
    - Ну сходи почитай учебник теорвера, когда научишься с ней общаться, возвращайся п, Аноним, 08-Авг-22, 23:19 (95)
      - Привет, аноним из-под тора , Аноним, 09-Авг-22, 09:22 (114)
    - Вы шутки не любите Зря С серьёзным выражением лица делаются самые глупые ошибк, _kp, 09-Авг-22, 11:51 (124)
Сложновато-с в смысле для критики Молчу уж про реализацию , user90, 08-Авг-22, 13:00 (66)
Да, да Больше переключений контекста Больше промахов кэша Больше тормозов бог, Аноним, 08-Авг-22, 14:01 (70)
Неужели это настолько актуально Часто ли ядро начинает работать неправильно и п, Максим, 08-Авг-22, 14:57 (72)
https nitter it srostedt status 1536184732655812608идеальный образ злодея-пред, B.Stahl, 08-Авг-22, 17:11 (77) //
- Сколько стоит ядро 28 морей А за робота сколько заплатили за 5 лет , Неизвестный, 08-Авг-22, 19:32 (84)
https nitter it srostedt status 1536184732655812608идеальный образ злодея-пред, B.Stahl, 08-Авг-22, 17:41 (78)
Старая проблема а кто будет контролировать контролера Что он работает коррект, Neon, 08-Авг-22, 18:34 (79) //
- Зачем его контролировать если выход годных улучшился да приемлемого уровня 100 , Аноним, 08-Авг-22, 19:50 (87)
- Можно друг друга взаимно контролировать, допустим А конкретно в этом механизме , Аноним, 09-Авг-22, 06:40 (111)
Я так понимаю они изобрели периодически запускать тесты ядра прям во время его ж, rshadow, 08-Авг-22, 20:17 (90) //
- Они изобрели поиск бозона Хиггса по трассам частиц , Аноним, 09-Авг-22, 13:15 (125)
Механизм стадо - пастух , None, 08-Авг-22, 20:47 (91)
Ну че, традиционное поделие для Линуксоидов Прогресс, по их словам назвается , bOOster, 09-Авг-22, 10:41 (119) //
- А вот лозунговый менеджер подъехал Мы тебя ждали нет , Аноним, 09-Авг-22, 14:09 (127)
- Даже в Windows 11 есть контроль доступа к камере, микрафона и другие управления , Аноним, 09-Авг-22, 15:30 (131) //
  - Там еще телеметрия всякая, активации, онлайнакаунты, оно лучше юзера знает когда, Аноним, 10-Авг-22, 05:11 (141)
  - А в ядре линуксе есть eBPF например, которым можно контролировать любой системн, Аноним, 10-Авг-22, 10:49 (148)
Коммитеры google com redhat com arm comНу, естессно , КО, 10-Авг-22, 07:08 (145) //
- А в чем собственно трабл Более того, RT_LINUX патчи интел стал продвигать Они , Аноним, 11-Авг-22, 01:21 (153)
Чего только не придумают, лишь бы ядро на расте не переписывать, Аноним, 15-Авг-22, 13:49 (155)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру