Для 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)
- Совсем больной Это самодиагностика системы, полезно для управления промышленным,
Аноним (-), 02:32 , 09-Авг-22, (96) +3 //
- а в итоге нечто подобное налепят на предустановленные 171 линуксы 187 - и,
Бывалый смузихлёб (?), 18:05 , 07-Авг-22, (2) –5 //
- Уверен, что эта штука будет отключаема нужна верификация - включил в ядре, не н,
111 (??), 10:50 , 08-Авг-22, (60) +1 //
- поначалу - дас антивирусом и обновлениями в винде тоже так думали поначалуве,
Бывалый смузихлёб (?), 11:43 , 08-Авг-22, (62) –1 //
- Ага, знаем мы как это будет Делается это на примере кинца так пропихиваем DRM ,
Kuromi (ok), 15:45 , 08-Авг-22, (75) +2 //
- Отработал миску риса, маладца Свободен ,
microsoft (?), 10:44 , 09-Авг-22, (120)
- А кто верефицирует верификатор ,
Ананимассс (?), 18:10 , 07-Авг-22, (7) +10 //
- Верификатор второго порядка, очевидно ,
A.Stahl (ok), 19:10 , 07-Авг-22, (24) +13 //
- Да, древняя проблема кто контролирует контролера ,
Neon (??), 18:35 , 08-Авг-22, (80) //
- TPM,
Аноним (83), 19:32 , 08-Авг-22, (83)
- Кто будет гарантировать что в модели ошибок нет Ведь чтобы написать сложный алг,
fuggy (ok), 18:12 , 07-Авг-22, (11) +1 //
- Подожди Ты замахнулся слишком далеко Например, есть модуль ядра, который напис,
Аноним (71), 14:19 , 08-Авг-22, (71) +1 //
- Модель и реальность - это совершенно разные сущности сущность - это часть реаль,
Аноним (129), 20:04 , 08-Авг-22, (89)
- Опять вместо микроядра выбрали встроить какого-то шпиона контролирующего исполне,
Аноним (-), 18:24 , 07-Авг-22, (17) +13 //
- Годно ,
Аноним (20), 18:39 , 07-Авг-22, (20) //
- Вангую, что админы высоконадежных системах, гарантирующих отсутствие сбоев буд,
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) //
- 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 //
- Чего только не придумают чтоб Аду не учить ,
Аноним (37), 20:41 , 07-Авг-22, (37) –2 //
- Я так скрипта на bash отлаживаю echo point_name ,
torvn77 (ok), 01:10 , 08-Авг-22, (46) –1 //
- Очередной кривой и неработающий overengineering,
all_glory_to_the_hypnotoad (ok), 01:30 , 08-Авг-22, (47)
- Виндовый верифаер изобрели ,
Аноним (49), 03:36 , 08-Авг-22, (49) –1 //
- А смысл в этом 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) //
- А механизм верификации корректности работы верификации где ,
Онаним (?), 09:14 , 08-Авг-22, (59) +2 //
- А это следующий этап распила А потом верификация верификатора следующего порядк,
Neon (??), 18:36 , 08-Авг-22, (81) //
- Если можно верифицировать физику и верификатора - по атомам, взаимодейтвиям и ни,
kusb (?), 22:01 , 08-Авг-22, (92)
- При чём тут распил, болезней ,
anonymous (??), 22:24 , 08-Авг-22, (93) //
- патч проверяет наличие кода на Rust в ядре,и если оный не обнаружен - ядро работ,
darkshvein (ok), 11:18 , 08-Авг-22, (61) //
- Подмена понятий Проверка не повышает и не понижает надежность Проверка может тол,
Аноним (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
- Вы шутки не любите Зря С серьёзным выражением лица делаются самые глупые ошибк,
_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 //
- https nitter it srostedt status 1536184732655812608идеальный образ злодея-пред,
B.Stahl (?), 17:41 , 08-Авг-22, (78) –2
- Старая проблема а кто будет контролировать контролера Что он работает коррект,
Neon (??), 18:34 , 08-Авг-22, (79) //
- Я так понимаю они изобрели периодически запускать тесты ядра прям во время его ж,
rshadow (ok), 20:17 , 08-Авг-22, (90) //
- Механизм стадо - пастух ,
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) //
- Чего только не придумают, лишь бы ядро на расте не переписывать,
Аноним (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
|
Вариант для распечатки
