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

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

Сообщения

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

	82. "Для Linux предложен механизм верификации корректности работы..."	+/–
	Сообщение от fuggy (ok), 08-Авг-22, 18:49
	Если вызов паники заложен в модель, то это корректное поведение. Но если ошибся в модели, то производный код будет с той же ошибкой, то есть бессмысленный. Модель мы строим по готовому коду или сначала создаём модель, а потом её конвертируем в код? Мы проверяем что выполнение кода соответствует модели или код по модели написан правильно? Просто кажется что написать хороший код будет проще, чем написать хорошую модель. Так объясни, то есть мы берём код и проверяем что результат кода, будет идентичным результату, которая выдала модель. То есть проще говоря это тупо двойное резервирование. Мы тоже самое можем сделать, посчитать тот же самый код на втором процессоре и сравнить ответ. Тогда зачем такая заумная логика с моделями.
	Ответить | Правка | Наверх | Cообщить модератору

	108. "Для Linux предложен механизм верификации корректности работы..."	+/–
	Сообщение от Аноним (-), 09-Авг-22, 06:30
	В данном случае как я понимаю оно может проверять трейс выполнения в интересных точках и если он не совпал с эталоном - упс, у нас глюкавящая система. И ее лучше привести в определенное состояние, чем дать ей глюкать дальше. Для чего логично ее в панику отправить, вот это уже должно быть предусмотрено в высоконадежной системе. В частности в высоконадежных системах может быть допустим >1 линии защиты. Вон те микроконтроллеры заметив кончину основного мозга и сами по минимуму приведут процесс в безопасное состояние, например. Или оно на резервный перейдет. А если мозги вместо этого будут кормить вон те микроконтроллеры каким-то левым г-ном взятым с потолка, ничего хорошего уж точно не получится. А вот плохого сколько угодно.
	Ответить | Правка | Наверх | Cообщить модератору

	129. "Для Linux предложен механизм верификации корректности работы..."	+/–
	Сообщение от Аноним (129), 09-Авг-22, 14:39
	> оно может проверять трейс выполнения в интересных точках и если он не совпал с эталоном - упс, у нас глюкавящая система. Сабж проверяет сам себя (и паникует). Если "глюкавящая система" проверяет сама себя, то это бессмысленная проверка.
	Ответить | Правка | Наверх | Cообщить модератору

	137. "Для Linux предложен механизм верификации корректности работы..."	+/–
	Сообщение от Аноним (137), 10-Авг-22, 04:55
	> Сабж проверяет сам себя (и паникует). Если "глюкавящая система" проверяет сама себя, > то это бессмысленная проверка. Не обязательно. Исход проверки либо "трейс совпал", либо "трейс не совпал". Если система сглючит и посчитает трейс несовпавшим хотя он совпадал, "все-равно надо было ее перегружать". А сглючить так чтобы посчитать несовпавший трейс совпавшим - это какая вообще вероятность? Да, те кто вон те выкладки писал - в теорию все же умели, в отличие от, и догадывались о некоторых соотношениях.
	Ответить | Правка | Наверх | Cообщить модератору

	147. "Для Linux предложен механизм верификации корректности работы..."	+/–
	Сообщение от Аноним (129), 10-Авг-22, 09:50
	> Не обязательно. "Отличная" гарантия для "высоко"-надежной системы.
	Ответить | Правка | Наверх | Cообщить модератору

	151. "Для Linux предложен механизм верификации корректности работы..."	+/–
	Сообщение от Аноним (-), 11-Авг-22, 01:10
	Насколько я понимаю - оно достаточно близко к идеалу, в плане обеспечения той верификации которая обещана. Там довольно мало места для того чтобы пошло не так. Скорее проблемой станет более 9000 других аспектов работы системы. Скажем для реалтайм систем сабж вообще никак не относится к фактическим временам выполнения. И если верификация прошла но оно полчаса заняло - ну, не факт что это круто и правильно, однако по данной метрике все будет ЗБС. То что все процессы будут полчаса ждать - вот не факт.
	Ответить | Правка | Наверх | Cообщить модератору

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

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