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

Для 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]

	106. "Для Linux предложен механизм верификации корректности работы..."	+/–
	Сообщение от Аноним (-), 09-Авг-22, 06:04
	> А смысл в этом Runtime Verification? Обнаружение некорректной работы системы в сюжетно интересных точках и довольно быстро. > Упало ядро в панику в рантайме - значит всё плохо, вот вам и вся верификация. Кроме этого есть вариант работать некорректно. Т.е. в случае каких-то сбоев, допустим, разрушения состояния RAM по той или иной причине (логической или физической) система может что-то делать, но совсем не так как было задумано. Как простой пример, система может, например, повиснуть. Это и не паника, и не работа в задуманном виде. На этот случай в критичных системах есть вачдог. Но возможны и более сложные варианты, когда система как живая, но делает что-то явно не то. В этот момент ее глюкание лучше срубить: при панике это так или иначе будет подхвачено чем-то еще или просто failsafe, а если оно будет глюкать, оно может довольно долго и успешно ломать дров. А вот этого никому не надо. Это хозяйство рядом с RT_LINUX патчами продвигается, и интересно примерно тем же кому и эти патчи. Ну да, не вебмакакам и хомячкам на десктопе, и чего? Там и у RT_LINUX довольно странные требования при билдовке есть :) > Если бы было можно взять и запилить эталонную модель, превратить ядро в детерминированную > машину состояний, то это бы сделали, скомпилировали и получили идеальное ядро, > но это слишком сложная задача, потому что ну нельзя для монолитного > ядра предсказать все возможные состояния и переходы между ними. Вон там предлагается сделать что-то наподобие, но для сюжетно интересного subset, и зайдя с совсем другого бока. А полную модель более-менее сложной системы отстроить нельзя - в чем факап и состоит. Однако сравнить трейс с эталонным в точках интереса для проверки что они пройдены верно это все совершенно не мешает.
	Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору

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

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

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

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