The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]



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

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

Подробнее: https://www.opennet.ru/opennews/art.shtml?num=57605

Ответить | Правка | Cообщить модератору

Оглавление

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


1. "Для Linux предложен механизм верификации корректности работы..."  +12 +/
Сообщение от Аноним228 (?), 07-Авг-22, 18:02 
Vendorlock с мобилок на компьютеры???
Ответить | Правка | Наверх | Cообщить модератору

12. "Для Linux предложен механизм верификации корректности работы..."  +5 +/
Сообщение от Аноним (-), 07-Авг-22, 18:13 
+ DRM
Ответить | Правка | Наверх | Cообщить модератору

58. "Для Linux предложен механизм верификации корректности работы..."  +2 +/
Сообщение от Аноним (58), 08-Авг-22, 08:38 
мммм вкуснатищаааа навалите побольше этого добра!
Ответить | Правка | Наверх | Cообщить модератору

85. "Для Linux предложен механизм верификации корректности работы..."  +5 +/
Сообщение от Копираст (?), 08-Авг-22, 19:42 
На тебе ещё телеметрию!
Ответить | Правка | Наверх | Cообщить модератору

97. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 09-Авг-22, 02:39 
> мммм вкуснатищаааа навалите побольше этого добра!

А оно там, видите ли, конфигуряемо. И половина из этого сойдет за секурити фичи, если системой рулите вы. А если не вы - ваша проблема на самом деле вот в этом. Вы хотите на кривой козе обходить механизмы операционки? Обманывая законного владельца системы? Так это не работает.

Ответить | Правка | К родителю #58 | Наверх | Cообщить модератору

132. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (132), 09-Авг-22, 22:23 
Оно больше на SecureBoot похоже, только не на загрузку, а на всё исполнение.
Ответить | Правка | Наверх | Cообщить модератору

134. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 10-Авг-22, 04:35 
Это как-то за уши притянуто, не для этого оно, это под реалтаймные управляющие системы. Это как предъявлять сталевару что из куска стали потом видите ли нож могут сделать и кого-то зарезать. Ну да, из каких-то кусков стали натурально сделают ножи. Некоторыми даже может и зарежут кого. Но вот сталевар к всему этому относится очень косвенно и уж точно не главный злодей.

Что до секурбута - сам по себе он вообще фича как фича. В теории обеспечивает то что система служит легитиному владельцу, и не подчиняется левым персонажам. А то что вас используя фичу особо ушлые господа из ваших систем поперли - кто вам виноват что вы денег даете не тем кому следовало бы, а тем кто вас же за них и имеет?

Ответить | Правка | Наверх | Cообщить модератору

96. "Для Linux предложен механизм верификации корректности работы..."  +3 +/
Сообщение от Аноним (-), 09-Авг-22, 02:32 
> Vendorlock с мобилок на компьютеры???

Совсем больной? Это самодиагностика системы, полезно для управления промышленными процессами, бортовых компьютеров и тому подобного.

А если тебе не нравятся что тебя ставят в стойло - отлично, придурок, давай денег тем кто тебя в стойло не ставит. Или как ты это себе представляешь? Заносить денег DRMщикам, на кривой козе хакать их DRM и плакаться что в новой версии все вулны заделали? Это не решение. Решение - дать денег тем кто тебя иметь не будет.

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

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

135. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 10-Авг-22, 04:41 
> в современном ойти это так не работает.

Все там работает, это я как краудфандивший некоторые штуки говорю. Да, может быть оно не такое мощное, а малосерийное произсодство дороже. Зато оно делает то что обещали. Да и нет ресурсов у стартаперов всякие Management Engine и прочие PSP наворачивать, они так факаперами станут.

> иметь тебя будут и те, кому платишь и те, кому не платищь.

Нет, вот именно меня иметь никто более не будет. Я стал разборчив кому и почему я денег даю. Даже если это и не лежит в ближайшем ларьке и/или требует немного поднапрясь мозг.

> ящик пандоры открыт ;)

Лично я открыл довольно интересные ящики пандоры, научившись собирать системы сам. Как ты представляешь поимение меня в этой парадигме? :)

Ответить | Правка | Наверх | Cообщить модератору

2. "Для Linux предложен механизм верификации корректности работы..."  –5 +/
Сообщение от Бывалый смузихлёб (?), 07-Авг-22, 18:05 
.. а в итоге нечто подобное налепят на предустановленные «линуксы» - и привет огороженная от шаловливых ручонок пользователя ось. Огороженная даже более чем винда или ябблось
Ответить | Правка | Наверх | Cообщить модератору

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

62. "Для Linux предложен механизм верификации корректности работы..."  –1 +/
Сообщение от Бывалый смузихлёб (?), 08-Авг-22, 11:43 
> Уверен, что эта штука будет отключаема: нужна верификация - включил в ядре,
> не нужна - выключил. И всего делов.

поначалу - да
с "антивирусом" и "обновлениями" в винде тоже так думали поначалу
ведь если посоны захотят сделать на базе линукса полноценную систему для в т.ч воспроизведения защищённого платного контента( привет DRM ), то без проверки целостности системы это будет как-то неполноценно, ведь иначе любой желающий сможет выкинуть нафиг лишний кусок

"слава богу", в линукс файндейшен сидят "те кто надо"( т.е "платиновые" спонсоры - они же, впрочем, и выбирают директоров ), включая гугл, микрософт, интел, оракл, мдм( ай-би-эм ) и многих других
посоны сильно захоят - линус к следующему же релизу запилит
а впрочем, оно постепенно к тому и идёт

хотя сам механизм из статьи интересный. Только, похоже, муторный весьма - ещё и вручную описывать поведение, то ещё веселье. А если система слеплена из сотен сторонних модулей

Ответить | Правка | Наверх | Cообщить модератору

63. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (63), 08-Авг-22, 11:48 
ну кто проститутку снимает - тот её и трахает. Или не трахает - как пожелает арендатор, так и будет.
Ответить | Правка | Наверх | Cообщить модератору

98. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 09-Авг-22, 02:48 
> ну кто проститутку снимает - тот её и трахает. Или не трахает
> - как пожелает арендатор, так и будет.

Точнее, кто имплементит систему - тому она по умолчанию и служит. Захочет ли он дать бразды правления вам, каким-то хомякам "не желающим напрягаться", "сделайте мне збс" и проч - вот это уже очень отдельный вопрос. Тем более что эппл и прочие милые фирмочки показали что пипл хавает даже весьма годный концлагерь.

Так что если вы хотели брать свои права хаками - вы что-то не поняли в этой жизни. Брать их надо было запросом на фичу и даванием денег тем кто реализует это в том виде каком вы желаете. А то вы вот тут видите ли платите миллиарды эпплам, а вот там вы плакаете что вас огородили. Э не, так не пойдет. Если вам надо что-то еще - ОК, создавайте запрос на фичу. Поддерживайте звонкой монетой тех кто делает именно так. А иначе... иначе наступит день когда их не останется, потому что им тоже что-то нужно жрать. Но пока они есть. Цените.

Ответить | Правка | Наверх | Cообщить модератору

86. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Шаман (??), 08-Авг-22, 19:44 
> ""слава богу", в линукс файндейшен сидят..."

Вообще-то слава богам!

Ответить | Правка | К родителю #62 | Наверх | Cообщить модератору

94. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Расмус Лердорф (?), 08-Авг-22, 23:02 
Так-то, "слава багам, конечно!"
Ответить | Правка | Наверх | Cообщить модератору

99. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 09-Авг-22, 02:49 
> Так-то, "слава багам, конечно!"

Багам не слава, им bisect :P

Ответить | Правка | Наверх | Cообщить модератору

75. "Для Linux предложен механизм верификации корректности работы..."  +2 +/
Сообщение от Kuromi (ok), 08-Авг-22, 15:45 
Ага, знаем мы как это будет. Делается это на примере кинца так: пропихиваем DRM в стандарты, пропихиваем везде, реализуем софт на линукс, но УПС, он работает плохо потмоу что в ядре нету нужных механизмов залочек, далее постепенно внедряем нужные механизмы в ядро, вы думаете "ну пофиг, ядро не обновлю",  но в момент Ч DRMный плагин вдруг говорит "Братан, а мне нужно ядро версии Х.Y и не старее" и внезапно ничего не работает. И да, идея не обновлять DRMный плагин тоже не прокатит потмоу что у них встроенный сертификат протухающий раз в 4 месяца (как в Widevine).

Так что отключаемым оно может и будет, вот только при отключении все сразу перестанет работать.

Ответить | Правка | К родителю #60 | Наверх | Cообщить модератору

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

121. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от microsoft (?), 09-Авг-22, 10:46 
Ложь.
Ответить | Правка | Наверх | Cообщить модератору

130. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Kuromi (ok), 09-Авг-22, 14:53 
> Прикинь, в ядре линя конфигуряется практически все. При условии что ты владелец
> системы и можешь свой кернел притащить. А если не владелец -
> тогда извини, тебя там вообще быть не должно.

И что? Думаешь они не встроят в свои DRM проверку "нужных" фич? Будет просто говорить "Хмм, чувак, у тебя странное ядро, иди ка ты лесом, ставь нормальное". Суть в том что после "внедрежа" нужных им фич в ядро можно будет говорить "Так, в Линуксе все секурные фичи по умолчанию есть, поэтому это мейнстрим, а все кто кастомят - ССЗБ".

Сейчас например Widewine DRM на Линуксе работает "хуже чем на других ОС", нету того уровня защиты что хочется правообладателям. Приходится утираться - ибо "ну не шмогла я". А вот когда протащат нужное...

Ответить | Правка | К родителю #100 | Наверх | Cообщить модератору

136. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (-), 10-Авг-22, 04:51 
> И что? Думаешь они не встроят в свои DRM проверку "нужных" фич?

1) Это все придется в юзер мод софте делать.
2) Имеючи контроль над ядром я в принципе могу показать юзермоду любую абстракцию.
3) Но для начала я не буду качать мутноблобный софт желающий чтобы моя система ему DRM предоставляла. Зачем мне малварь в системе?

> Будет просто говорить "Хмм, чувак, у тебя странное ядро, иди ка
> ты лесом, ставь нормальное".

Я пройду указанным курсом пробурчав apt purge <this crap> и озаботивщись заменой/фиксом.

> секурные фичи по умолчанию есть, поэтому это мейнстрим, а все кто
> кастомят - ССЗБ".

А 95% людей так то не гроссместеры, поэтому я не буду уповать на то что они хотят того же что и я.

> Сейчас например Widewine DRM на Линуксе работает "хуже чем на других ОС",
> нету того уровня защиты что хочется правообладателям. Приходится утираться - ибо
> "ну не шмогла я". А вот когда протащат нужное...

У меня нет и никогда не будет никакого Widevine DRM и если он не сможет работать - отлично, это не баг, это фича: зарублен запуск малвари если я вдруг проипался и сам почему-то это допустил. Мои системы как-то так и должны работать, by design. А DRMленое видео пусть тот клевый сервис себе оставит. Мне от них просто ничего не надо.

Ответить | Правка | Наверх | Cообщить модератору

144. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Kuromi (ok), 10-Авг-22, 05:46 
Не, ну позиция твоя ясна. Я не собираюсь её критиковать - твердые принципы это нынче редкость, но мы все понимаем, что большинство разменивает свободу на удобство.

Ну и поправочка "3) Но для начала я не буду качать мутноблобный софт желающий чтобы моя система ему DRM предоставляла. Зачем мне малварь в системе?"

Стоит зайти в любом браузеер, даже ФФ на какой нибудь платный онлайн кинотеатр и эта гадость сама подтянется. О времена, о нравы!

Ответить | Правка | Наверх | Cообщить модератору

146. "Для Linux предложен механизм верификации корректности работы..."  –1 +/
Сообщение от Аноним (146), 10-Авг-22, 08:43 
> большинство разменивает свободу на удобство.

И жаловаться оно при этом может только на себя. Более того - если кто выбрал "бесплатную" баланду и "удобный" барак, "зато париться не надо", ну а смысла ныть про замки и что их запирают? Сам по себе замок не добро и не зло, это просто железка.

> Стоит зайти в любом браузеер, даже ФФ на какой нибудь платный онлайн
> кинотеатр и эта гадость сама подтянется. О времена, о нравы!

1) У меня ничего такого не подтянется.
2) Не собираюсь платить за пичкание меня малварью, я не настолько лох.

Ответить | Правка | Наверх | Cообщить модератору

120. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от microsoft (?), 09-Авг-22, 10:44 
Отработал миску риса, маладца. Свободен.
Ответить | Правка | К родителю #60 | Наверх | Cообщить модератору

7. "Для Linux предложен механизм верификации корректности работы..."  +10 +/
Сообщение от Ананимассс (?), 07-Авг-22, 18:10 
А кто верефицирует верификатор?
Ответить | Правка | Наверх | Cообщить модератору

24. "Для Linux предложен механизм верификации корректности работы..."  +13 +/
Сообщение от A.Stahl (ok), 07-Авг-22, 19:10 
Верификатор второго порядка, очевидно.
Ответить | Правка | Наверх | Cообщить модератору

39. "Для Linux предложен механизм верификации корректности работы..."  +8 +/
Сообщение от Иван Васильевич (?), 07-Авг-22, 20:46 
меня терзают смутные сомнения
Ответить | Правка | Наверх | Cообщить модератору

101. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (-), 09-Авг-22, 02:54 
> меня терзают смутные сомнения

Сделай 2 верификатора и пусть они проверяют друг друга. Кроме стеба это до некоторой степени работает, хоть и со своими ограничениями.

Ответить | Правка | Наверх | Cообщить модератору

102. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Sw00p aka Jerom (?), 09-Авг-22, 03:44 
неполнота!!!
Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

80. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Neon (??), 08-Авг-22, 18:35 
Да, древняя проблема: кто контролирует контролера.)
Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

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

154. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Бывалый смузихлёб (?), 11-Авг-22, 10:27 
> Да, древняя проблема: кто контролирует контролера.)

В данном случае проблемы нет ведь известно кто - тот кто надо кто
А потом окажется что контролёр контролёра находится на чьём-то уютном сервачке и проверяет онлайн чтобы кто-то сильно умный потными ручонками не влез куда ему не положено. А без подключения к интернету и аппарат толком не запустить ведь проверку не проходит. "Вот смеху то будет!"
Разумеется, того контролёра никому (из посторонних) проверять не надо - "он и так правильный"

Ответить | Правка | К родителю #80 | Наверх | Cообщить модератору

83. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (83), 08-Авг-22, 19:32 
TPM
Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

11. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от fuggy (ok), 07-Авг-22, 18:12 
Кто будет гарантировать что в модели ошибок нет? Ведь чтобы написать сложный алгоритм, нужно такую же сложную модель в которой можно ошибиться.
Ответить | Правка | Наверх | Cообщить модератору

71. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (71), 08-Авг-22, 14:19 
Подожди. Ты замахнулся слишком далеко. Например, есть модуль ядра, который написан таким образом, что ввергает ядро в панику. Да, это ошибка автора модуля. Но вместе с тем формально, паника в данном случае является корректным поведением системы. Которое будет отображено в модели именно таким образом.
Соответсвенно, вопрос - от чего этот верификатор корректности защищает критически важные системы? Ну, то есть это очередной оверхед, чтобы подлизнуть безопасникам: полезной работы он не выполняет, но грузит системы довольно ощутимо. И как написано в статье - этот механизм предлагается навешивать на критически важные системы в довесок к тому "безопасному" маразму, который там уже есть. Ну и когда система будет заниматься полезной работой? она же при таком подходе занята исключительно проверками корректности и "безопасности" своей работы.
Ответить | Правка | Наверх | Cообщить модератору

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ообщить модератору

89. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (129), 08-Авг-22, 20:04 
Модель и реальность - это совершенно разные сущности (сущность - это часть реальности, парадоксик!)

Проверяют реальность - многопоточный код с побочными эффектами в гетерогенной сети из железа, исполнителей этого кода - на соответствие модели.

Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

17. "Для Linux предложен механизм верификации корректности работы..."  +13 +/
Сообщение от Аноним (-), 07-Авг-22, 18:24 
Опять вместо микроядра выбрали встроить какого-то шпиона контролирующего исполнения кода.
Ответить | Правка | Наверх | Cообщить модератору

26. "Для Linux предложен механизм верификации корректности работы..."  –3 +/
Сообщение от A.Stahl (ok), 07-Авг-22, 19:12 
Кода миллионы строк вместе
     Единый порыв -- монолит
Лишь так в нашем прогрессе
     Ядро смердит и пердит
Ответить | Правка | Наверх | Cообщить модератору

27. "Для Linux предложен механизм верификации корректности работы..."  +2 +/
Сообщение от Аноним (27), 07-Авг-22, 19:19 
"У кого что болит тот о том и говорит"
Странно предлагать что именно болит у опеннет экспертов и как они с этим живут
Ответить | Правка | Наверх | Cообщить модератору

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

50. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (58), 08-Авг-22, 04:56 
ты про игрушки стахаля? кинь ссыль тогда на это уг
Ответить | Правка | Наверх | Cообщить модератору

76. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от B.Stahl (?), 08-Авг-22, 17:09 
классные стихи выдал. пешыесчо как грится!
Ответить | Правка | К родителю #26 | Наверх | Cообщить модератору

20. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (20), 07-Авг-22, 18:39 
Годно.
Ответить | Правка | Наверх | Cообщить модератору

40. "Для Linux предложен механизм верификации корректности работы..."  +2 +/
Сообщение от pashev.ru (?), 07-Авг-22, 21:18 
s/д/в/
Ответить | Правка | Наверх | Cообщить модератору

44. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (43), 08-Авг-22, 00:52 
s/p/как/
Ответить | Правка | Наверх | Cообщить модератору

21. "Для Linux предложен механизм верификации корректности работы..."  +9 +/
Сообщение от YetAnotherOnanym (ok), 07-Авг-22, 18:42 
> ядро переводится в состояние "panic"

Вангую, что админы "высоконадежных системах, гарантирующих отсутствие сбоев" будут тупо отключать эту хрень, потому что залюбятся перестраивать "модель автомата" на каждый чих.

Ответить | Правка | Наверх | Cообщить модератору

23. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (20), 07-Авг-22, 18:54 
>потому что залюбятся перестраивать "модель автомата" на каждый чих.

Разве она не будет строиться автоматически на основе исходного кода? В этом и смысл.

Ответить | Правка | Наверх | Cообщить модератору

29. "Для Linux предложен механизм верификации корректности работы..."  +2 +/
Сообщение от Твайлайт Спаркл (ok), 07-Авг-22, 19:36 
Нет, конечный автомат создаётся руками, после компилируется валидатор.

Имхо, есть варианты применения, как инструмент для нахождения багов внутри ядра линукса и создания ещё более надёжного программного обеспечения. Что не может не радовать, если все наработки по ядру будут возвращаться в апстрим.

Ответить | Правка | Наверх | Cообщить модератору

69. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (129), 08-Авг-22, 13:53 
> инструмент для нахождения багов внутри ядра линукса и создания ещё более надёжного программного обеспечения

Это оценочная функция для генератора разных версий ядра (оравы ядрописателей). Будут на проде, ой, в тестовом окружении оценивать надежность, с телеметрией, или паниковать при отсутствии.

Ответить | Правка | Наверх | Cообщить модератору

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

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

115. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от aname (?), 09-Авг-22, 09:53 
Это другое?
Ответить | Правка | К родителю #109 | Наверх | Cообщить модератору

117. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (117), 09-Авг-22, 10:36 
Если это телеметрия от левых людей, то конечно надо заагриться, без шуток. Телеметрия должна быть в руках владельца.

(жду коко про аренду и прочие слово-право-выкрутасы)

Ответить | Правка | К родителю #109 | Наверх | Cообщить модератору

57. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Первая буква (?), 08-Авг-22, 08:37 
Эта хрень будет тупо отключать отключения админов гарантируя отсутствие сбоев
Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

138. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (137), 10-Авг-22, 04:58 
> Эта хрень будет тупо отключать отключения админов гарантируя отсутствие сбоев

Не, это те кто реализуют системы будут отключать, если админы зарекомендуют себя достаточно бакланами чтобы это вело к проблемам. Ну то-есть как, если какой-то идиот уронит самолет поменяв прошивку, окей, в следующей версии ее подписями обвесят по самые небалуйся и оно скорее лететь откажется чем полетит с левой прошивкой.

Ответить | Правка | Наверх | Cообщить модератору

28. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 07-Авг-22, 19:33 
cool
Ответить | Правка | Наверх | Cообщить модератору

30. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 07-Авг-22, 19:39 
Зачем?
Ответить | Правка | Наверх | Cообщить модератору

33. "Для Linux предложен механизм верификации корректности работы..."  +8 +/
Сообщение от Аноним (33), 07-Авг-22, 20:00 
> верификации

Слово "проверка" короче и, соответственно, имеет меньший углеродный след ))

Ответить | Правка | Наверх | Cообщить модератору

35. "Для Linux предложен механизм верификации корректности работы..."  +2 +/
Сообщение от анон (?), 07-Авг-22, 20:19 
Надо "алгоритм верификации корректности функционирования кёрнела".
Так важнее звучит и понятнее многим волонтёрам на этом паблике.
Ответить | Правка | Наверх | Cообщить модератору

41. "Для Linux предложен механизм верификации корректности работы..."  –4 +/
Сообщение от pashev.ru (?), 07-Авг-22, 21:19 
А промолчал бы, было бы ещё меньше.
Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

45. "Для Linux предложен механизм верификации корректности работы..."  +2 +/
Сообщение от Аноним (43), 08-Авг-22, 00:54 
так заткнись
Ответить | Правка | Наверх | Cообщить модератору

53. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (33), 08-Авг-22, 07:49 
Вот видите, товарищи. А было бы русскоязычное.. Кстати, а когда старые слова запрещают?
Ответить | Правка | К родителю #41 | Наверх | Cообщить модератору

105. "Для Linux предложен механизм верификации корректности работы..."  –2 +/
Сообщение от Аноним (-), 09-Авг-22, 05:53 
> Слово "проверка" короче и, соответственно, имеет меньший углеродный след ))

Е#$%нувший промышленный процесс или упавший самолет тоже имеют углеродный (и не только) след. Может тебе еще и автоматы в щитке убрать, нехай у тебя при первом КЗ вся хата сразу выгорает. Зато не закоптим небо на производство пакетника.

Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

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

139. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (137), 10-Авг-22, 05:03 
> Автоматы стоят для защиты линии от тебя, а не тебя от пожара.

Да как бы тебе сказать, чудак? Сравни сечение проводов линии и сечение проводов у меня в доме. Моим проводам при КЗ поплохеет сильно раньше чем проводам линии, такая ерунда. Тупо закон ома.

Ответить | Правка | Наверх | Cообщить модератору

122. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (-), 09-Авг-22, 11:22 
Жёстео же тебя бомбит!
Ответить | Правка | К родителю #105 | Наверх | Cообщить модератору

37. "Для Linux предложен механизм верификации корректности работы..."  –2 +/
Сообщение от Аноним (37), 07-Авг-22, 20:41 
Чего только не придумают чтоб Аду не учить.
Ответить | Правка | Наверх | Cообщить модератору

42. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (42), 07-Авг-22, 22:17 
Bastards!
                 Опять и опять в бесконечность
                 Веселое утро глядит,
                 И радует сна быстротечность
                 И неба изменчивый вид.
                 Стоят неподвижно туманы
                 Над сочной, набухшей землей,
                 Цветущие майские страны
                 Они прикрывают собой.

https://ru.wikipedia.org/wiki/Ада_Владимирова

Ответить | Правка | Наверх | Cообщить модератору

46. "Для Linux предложен механизм верификации корректности работы..."  –1 +/
Сообщение от torvn77 (ok), 08-Авг-22, 01:10 
>Проверка производится во время выполнения через прикрепление обработчиков к точкам трассировки ...

Я так скрипта на bash отлаживаю (echo point_name)

Ответить | Правка | Наверх | Cообщить модератору

110. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 09-Авг-22, 06:36 
> Я так скрипта на bash отлаживаю (echo point_name)

Он тоже изобрел "дебажный printf". Хоть и хреновый. Но валидация поведения тут где? :)

ps немного доразвитый "дебажный printf" имеет в реалтаймных системах свой пойнт, время же нельзя на паузу поставить, а вот такой flow околореалтаймно скидывать можно и относительно неинтрузивно, если понимая что делаешь.

Ответить | Правка | Наверх | Cообщить модератору

126. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от torvn77 (ok), 09-Авг-22, 14:04 
>> Я так скрипта на bash отлаживаю (echo point_name)
>Но валидация поведения тут где? :)

Помимо этого я ещё вставляю  
echo env_name=$env_name

И вот так и идёт трек работы скрипта.  
Автоматической валидации у меня конечно нет, смотрю глазами и обдумываю мозгами.

Ответить | Правка | Наверх | Cообщить модератору

152. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 11-Авг-22, 01:16 
Я в фирмварях использую что-то отдаленно напоминающее сабжевую идею. Там где функции опасные, есть дополнительные "check values" маркированые volatile (чтобы оптимизер не выпилил) и код проверяет почему он вообще здесь. Если ему не нравится повод по которому его вызвали - немедленная маркировка системы как "неисправной" и далее recovery/failsafe.

Разумеется я не придумал этот фокус, базовый control flow enforce из safety guidelines. Шелскриптам столько не надо как правило: если что-то оформлено шелскриптом, надежностью заведомо не парились т.к. там много чего может пойти не так.

Ответить | Правка | Наверх | Cообщить модератору

47. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от all_glory_to_the_hypnotoad (ok), 08-Авг-22, 01:30 
Очередной кривой и неработающий overengineering
Ответить | Правка | Наверх | Cообщить модератору

49. "Для Linux предложен механизм верификации корректности работы..."  –1 +/
Сообщение от Аноним (49), 08-Авг-22, 03:36 
Виндовый верифаер изобрели?
Ответить | Правка | Наверх | Cообщить модератору

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

52. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (52), 08-Авг-22, 06:21 
А смысл в этом Runtime Verification? Упало ядро в панику в рантайме - значит всё плохо, вот вам и вся верификация. Если бы было можно взять и запилить эталонную модель, превратить ядро в детерминированную машину состояний, то это бы сделали, скомпилировали и получили идеальное ядро, но это слишком сложная задача, потому что ну нельзя для монолитного ядра предсказать все возможные состояния и переходы между ними.
Ответить | Правка | Наверх | Cообщить модератору

65. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от kusb (?), 08-Авг-22, 12:08 
А может это не надо если можно доказать, что один домен состояний гарантированно не влияет на другой...
Ответить | Правка | Наверх | Cообщить модератору

74. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от all_glory_to_the_hypnotoad (ok), 08-Авг-22, 15:12 
К монолитности ядра эта проблема не имеет никакого отношения. Проблема исключительно в сложности отдельно взятых компонент, для которых разработка формальной модели равносильна разработки кода без багов.
Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору

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ообщить модератору

59. "Для Linux предложен механизм верификации корректности работы..."  +2 +/
Сообщение от Онаним (?), 08-Авг-22, 09:14 
А механизм верификации корректности работы верификации где?
Ответить | Правка | Наверх | Cообщить модератору

81. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Neon (??), 08-Авг-22, 18:36 
А это следующий этап распила. А потом верификация верификатора следующего порядка и так  в рекурсии.)))
Ответить | Правка | Наверх | Cообщить модератору

92. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от kusb (?), 08-Авг-22, 22:01 
Если можно верифицировать физику и верификатора - по атомам, взаимодейтвиям и ниже - то многие могут успокоиться.
Ответить | Правка | Наверх | Cообщить модератору

93. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от anonymous (??), 08-Авг-22, 22:24 
При чём тут распил, болезней?
Ответить | Правка | К родителю #81 | Наверх | Cообщить модератору

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

133. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от kusb (?), 09-Авг-22, 23:14 
> При чём тут распил, болезней?

Перечитай. Там другой распил. Получается тебе везде мерешится распил...

Ответить | Правка | К родителю #93 | Наверх | Cообщить модератору

61. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от darkshvein (ok), 08-Авг-22, 11:18 
патч проверяет наличие кода на Rust в ядре,
и если оный не обнаружен - ядро работает корректно?
Ответить | Правка | Наверх | Cообщить модератору

88. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (88), 08-Авг-22, 19:51 
Конечно же нет.  
Ответить | Правка | Наверх | Cообщить модератору

64. "Для Linux предложен механизм верификации корректности работы..."  +2 +/
Сообщение от Аноним (129), 08-Авг-22, 12:03 
> проверки корректности
> высоконадежных системах

Подмена понятий.

Проверка не повышает и не понижает надежность.

Проверка может только _оценить_ надежность.

Если еще паниковать при проверке, то это точно не про надежность.

Ответить | Правка | Наверх | Cообщить модератору

67. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от _kp (ok), 08-Авг-22, 13:23 
Ну если не смущает бородатые правила, ...

- Чем больше функций в системе защиты, тем больше вероятность, что одна из них не работает так как надо.
- Система обеспечения надежности выведет из строя другие системы.

- Любая программа содержит дыры.  Следствие: даже системы защиты содержат дыры.
- Обнаружить все дыры невозможно.

- Установив систему защиты, не ждите благоприятных отзывов от сотрудников.
- Нет такой плохой ситуации, которая не могла бы стать еще хуже.

Ответить | Правка | Наверх | Cообщить модератору

68. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (129), 08-Авг-22, 13:32 
> тем больше вероятность

Чтобы работать с вероятностью надо знать вероятности. Бессмысленное, в общем случае ложное утверждение.

И так далее по остальным "правилам"

Ответить | Правка | Наверх | Cообщить модератору

95. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (-), 08-Авг-22, 23:19 
> Чтобы работать с вероятностью надо знать вероятности.

Ну сходи почитай учебник теорвера, когда научишься с ней общаться, возвращайся продолжать беседу.

> Бессмысленное, в общем случае ложное утверждение.

Нет, всё правильно. Не зная вероятностей работать с ними не получится.

Ответить | Правка | Наверх | Cообщить модератору

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

124. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от _kp (ok), 09-Авг-22, 11:51 
> Бессмысленное, в общем случае ложное  утверждение.

Вы шутки не любите? Зря. С серьёзным выражением лица делаются самые глупые ошибки.

Законы Мерфи не выдуманы, глядя в потолок, а записаны по статистике проблем позникающих в реальных системах.
И хоть в итоге оформлены как юмор, они всё равно более чем пригодны как инструкция для инженеров, конструкторов и проектировщиков.

А главный их плюс, то, что в отличии от сухих пpавил, эти точно запоминаются. А уже зная что есть потенциальная проблема там, и там, смотрим что об этом в менее запоминающихся правилах пишут.

Ответить | Правка | К родителю #68 | Наверх | Cообщить модератору

66. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от user90 (?), 08-Авг-22, 13:00 
Сложновато-с. в смысле для критики :) Молчу уж про реализацию..
Ответить | Правка | Наверх | Cообщить модератору

70. "Для Linux предложен механизм верификации корректности работы..."  +3 +/
Сообщение от Аноним (70), 08-Авг-22, 14:01 
Да, да! Больше переключений контекста! Больше промахов кэша! Больше тормозов богу тормозов! Компы стали слишком быстрыми! Ура, товарищи! Бегом за новым железом!
Ответить | Правка | Наверх | Cообщить модератору

72. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Максим (??), 08-Авг-22, 14:57 
Неужели это настолько актуально? Часто ли ядро начинает работать неправильно и при этом не уходит в панику своими средствами?
Ответить | Правка | Наверх | Cообщить модератору

77. "Для Linux предложен механизм верификации корректности работы..."  –1 +/
Сообщение от B.Stahl (?), 08-Авг-22, 17:11 
https://nitter.it/srostedt/status/1536184732655812608

идеальный образ злодея-предателя выбрали. люблю американцев за драматический подход в политике - как будто в голливудском кино проживаешь

Ответить | Правка | Наверх | Cообщить модератору

84. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Неизвестный (?), 08-Авг-22, 19:32 
Сколько стоит ядро? 28 морей =)
А за робота сколько заплатили за 5 лет?
Ответить | Правка | Наверх | Cообщить модератору

78. "Для Linux предложен механизм верификации корректности работы..."  –2 +/
Сообщение от B.Stahl (?), 08-Авг-22, 17:41 
https://nitter.it/srostedt/status/1536184732655812608

идеальный образ злодея-предателя выбрали. люблю американов за драматический подход в политике - как будто в голливудском кино проживаешь

Ответить | Правка | Наверх | Cообщить модератору

79. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Neon (??), 08-Авг-22, 18:34 
Старая проблема: а кто будет контролировать контролера ? Что он работает корректно ?
Ответить | Правка | Наверх | Cообщить модератору

87. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (88), 08-Авг-22, 19:50 
Зачем его контролировать если выход годных улучшился да приемлемого уровня? 100% контроля быть не может.
Ответить | Правка | Наверх | Cообщить модератору

111. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 09-Авг-22, 06:40 
> Старая проблема: а кто будет контролировать контролера ? Что он работает корректно?

Можно друг друга взаимно контролировать, допустим. А конкретно в этом механизме как оно может неверный вердикт вынести? Вероятность принять кривой трейс за верный крайне низкая если у системы проц хоть какие-то признаки жизни подает, а если правильный трейс за неправильный посчитан, ну, окей, оно все-равно глюкало и паника и далее ребут ему уж точно не помешает... :)))

Ответить | Правка | К родителю #79 | Наверх | Cообщить модератору

90. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от rshadow (ok), 08-Авг-22, 20:17 
Я так понимаю они изобрели периодически запускать тесты ядра прям во время его же работы. Забавный метод, никогда еще такой ху*ни не видел.
Ответить | Правка | Наверх | Cообщить модератору

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

91. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от None (??), 08-Авг-22, 20:47 
Механизм "стадо - пастух"
Ответить | Правка | Наверх | Cообщить модератору

119. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от bOOster (ok), 09-Авг-22, 10:41 
Ну че, традиционное поделие для Линуксоидов. Прогресс, по их словам назвается :))) Вместо того чтобы улучшать качество кода, написанное программистом - придумываем чушь в виде каких-то проверок, с таким же убогим качеством кода и дырявой реализацией.  
Ответить | Правка | Наверх | Cообщить модератору

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

131. "Для Linux предложен механизм верификации корректности работы..."  +1 +/
Сообщение от Аноним (131), 09-Авг-22, 15:30 
Даже в Windows 11 есть контроль доступа к камере, микрафона и другие управления прав доступа - в Linux лет через 5 только поди появится)
Ответить | Правка | К родителю #119 | Наверх | Cообщить модератору

141. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 10-Авг-22, 05:11 
> Даже в Windows 11 есть контроль доступа к камере, микрафона и другие
> управления прав доступа - в Linux лет через 5 только поди появится)

Там еще телеметрия всякая, активации, онлайнакаунты, оно лучше юзера знает когда ребут пора и прочий "customer experience improvement". А тупому потребителю-индейцу как обычно дали клевое удобное и теплое одеяло. Правда, как обычно - тифозное.

Ну а в линуксе одеяло можно себе самому сшить, тогда не надо гадать тифозное оно или нет.

Ответить | Правка | Наверх | Cообщить модератору

148. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (129), 10-Авг-22, 10:49 
> Даже в Windows 11 есть контроль доступа

А в ядре линуксе есть eBPF. например, которым можно контролировать любой системный вызов. Или тебе нужно мышевозное пальцетыкательное окошко с единственной кнопкой "OK"?

Ответить | Правка | К родителю #131 | Наверх | Cообщить модератору

145. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от КО (?), 10-Авг-22, 07:08 
Коммитеры:
@google.com
@redhat.com
@arm.com
Ну, естессно.
Ответить | Правка | Наверх | Cообщить модератору

153. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (-), 11-Авг-22, 01:21 
А в чем собственно трабл? Более того, RT_LINUX патчи интел стал продвигать. Они скупили их разработчиков, вот и... . А кто-то сомневается что у линуха найдется более 9000 применений в околореалтаймных системах с высокими требованиям к надежности? А зря! Бортовые компьютеры, автопилоты, управляющие системы и тому подобное добро. Очень странно что ARM хочет чтобы их чипы там были топчиком. Да и остальные не прочь поделить этот довольно вкусный кус пирога. Который к тому же в отличие от хайпа и пузырей - надолго и всерьез. От вон тех систем человечество в обозримом будущем не откажется.
Ответить | Правка | Наверх | Cообщить модератору

155. "Для Linux предложен механизм верификации корректности работы..."  +/
Сообщение от Аноним (155), 15-Авг-22, 13:49 
Чего только не придумают, лишь бы ядро на расте не переписывать
Ответить | Правка | Наверх | Cообщить модератору

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

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




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру