- Vendorlock с мобилок на компьютеры , Аноним228 (?), 18:02 , 07-Авг-22 (1) +12 [^]
Vendorlock с мобилок на компьютеры???
- а в итоге нечто подобное налепят на предустановленные 171 линуксы 187 - и, Бывалый смузихлёб (?), 18:05 , 07-Авг-22 (2) –5 [V]
.. а в итоге нечто подобное налепят на предустановленные «линуксы» - и привет огороженная от шаловливых ручонок пользователя ось. Огороженная даже более чем винда или ябблось
- Уверен, что эта штука будет отключаема нужна верификация - включил в ядре, не н, 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
Кто будет гарантировать что в модели ошибок нет? Ведь чтобы написать сложный алгоритм, нужно такую же сложную модель в которой можно ошибиться.
- Опять вместо микроядра выбрали встроить какого-то шпиона контролирующего исполне, Аноним (-), 18:24 , 07-Авг-22 (17) +13 [^]
Опять вместо микроядра выбрали встроить какого-то шпиона контролирующего исполнения кода.
- Годно , Аноним (20), 18:39 , 07-Авг-22 (20)
- Вангую, что админы высоконадежных системах, гарантирующих отсутствие сбоев буд, YetAnotherOnanym (ok), 18:42 , 07-Авг-22 (21) +9 [^]
> ядро переводится в состояние "panic"Вангую, что админы "высоконадежных системах, гарантирующих отсутствие сбоев" будут тупо отключать эту хрень, потому что залюбятся перестраивать "модель автомата" на каждый чих.
- Разве она не будет строиться автоматически на основе исходного кода В этом и см, Аноним (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 [V]
- Е нувший промышленный процесс или упавший самолет тоже имеют углеродный и не , Аноним (-), 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
>Проверка производится во время выполнения через прикрепление обработчиков к точкам трассировки ...Я так скрипта на bash отлаживаю (echo point_name)
- Очередной кривой и неработающий overengineering, all_glory_to_the_hypnotoad (ok), 01:30 , 08-Авг-22 (47)
Очередной кривой и неработающий overengineering
- Виндовый верифаер изобрели , Аноним (49), 03:36 , 08-Авг-22 (49) –1
Виндовый верифаер изобрели?
- А смысл в этом Runtime Verification Упало ядро в панику в рантайме - значит всё, Аноним (52), 06:21 , 08-Авг-22 (52) +1
А смысл в этом Runtime Verification? Упало ядро в панику в рантайме - значит всё плохо, вот вам и вся верификация. Если бы было можно взять и запилить эталонную модель, превратить ядро в детерминированную машину состояний, то это бы сделали, скомпилировали и получили идеальное ядро, но это слишком сложная задача, потому что ну нельзя для монолитного ядра предсказать все возможные состояния и переходы между ними.
- А может это не надо если можно доказать, что один домен состояний гарантированно, 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
А механизм верификации корректности работы верификации где?
- патч проверяет наличие кода на Rust в ядре,и если оный не обнаружен - ядро работ, darkshvein (ok), 11:18 , 08-Авг-22 (61)
патч проверяет наличие кода на Rust в ядре, и если оный не обнаружен - ядро работает корректно?
- Подмена понятий Проверка не повышает и не понижает надежность Проверка может тол, Аноним (129), 12:03 , 08-Авг-22 (64) +2
> проверки корректности > высоконадежных системахПодмена понятий. Проверка не повышает и не понижает надежность. Проверка может только _оценить_ надежность. Если еще паниковать при проверке, то это точно не про надежность.
- Сложновато-с в смысле для критики Молчу уж про реализацию , 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)
Коммитеры: @google.com @redhat.com @arm.com Ну, естессно.
- Чего только не придумают, лишь бы ядро на расте не переписывать, Аноним (155), 13:49 , 15-Авг-22 (155)
Чего только не придумают, лишь бы ядро на расте не переписывать
|