Вариант для распечатки |
Пред. тема | След. тема | ||
Форум Разговоры, обсуждение новостей | |||
---|---|---|---|
Изначальное сообщение | [ Отслеживать ] |
"Для Linux предложен механизм верификации корректности работы ядра" | +/– | |
Сообщение от opennews (?), 07-Авг-22, 18:02 | ||
Для включения в состав ядра Linux 5.20 (возможно, ветка получит номер 6.0) предложен набор патчей с реализацией механизма RV (Runtime Verification), представляющего средства для проверки корректности работы на высоконадежных системах, гарантирующих отсутствие сбоев. Проверка производится во время выполнения через прикрепление обработчиков к точкам трассировки, сверяющих фактический ход выполнения с заранее определённой эталонной детерминированной моделью автомата, определяющего ожидаемое поведение системы... | ||
Ответить | Правка | 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 с мобилок на компьютеры??? | ||
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору |
128. "Для Linux предложен механизм верификации корректности работы..." | +/– | |
Сообщение от Аноним (128), 09-Авг-22, 14:09 | ||
в современном ойти это так не работает. | ||
Ответить | Правка | Наверх | Cообщить модератору |
135. "Для Linux предложен механизм верификации корректности работы..." | +/– | |
Сообщение от Аноним (-), 10-Авг-22, 04:41 | ||
> в современном ойти это так не работает. | ||
Ответить | Правка | Наверх | 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 | ||
> Уверен, что эта штука будет отключаема: нужна верификация - включил в ядре, | ||
Ответить | Правка | Наверх | 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 | ||
> Так-то, "слава багам, конечно!" | ||
Ответить | Правка | Наверх | 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 | ||
> Прикинь, в ядре линя конфигуряется практически все. При условии что ты владелец | ||
Ответить | Правка | К родителю #100 | Наверх | Cообщить модератору |
136. "Для Linux предложен механизм верификации корректности работы..." | +1 +/– | |
Сообщение от Аноним (-), 10-Авг-22, 04:51 | ||
> И что? Думаешь они не встроят в свои DRM проверку "нужных" фич? | ||
Ответить | Правка | Наверх | Cообщить модератору |
144. "Для Linux предложен механизм верификации корректности работы..." | +1 +/– | |
Сообщение от Kuromi (ok), 10-Авг-22, 05:46 | ||
Не, ну позиция твоя ясна. Я не собираюсь её критиковать - твердые принципы это нынче редкость, но мы все понимаем, что большинство разменивает свободу на удобство. | ||
Ответить | Правка | Наверх | Cообщить модератору |
146. "Для Linux предложен механизм верификации корректности работы..." | –1 +/– | |
Сообщение от Аноним (146), 10-Авг-22, 08:43 | ||
> большинство разменивает свободу на удобство. | ||
Ответить | Правка | Наверх | 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 | ||
> меня терзают смутные сомнения | ||
Ответить | Правка | Наверх | 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 | ||
В данном случае как я понимаю оно может проверять трейс выполнения в интересных точках и если он не совпал с эталоном - упс, у нас глюкавящая система. И ее лучше привести в определенное состояние, чем дать ей глюкать дальше. Для чего логично ее в панику отправить, вот это уже должно быть предусмотрено в высоконадежной системе. | ||
Ответить | Правка | Наверх | 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! | ||
Ответить | Правка | Наверх | Cообщить модератору |
46. "Для Linux предложен механизм верификации корректности работы..." | –1 +/– | |
Сообщение от torvn77 (ok), 08-Авг-22, 01:10 | ||
>Проверка производится во время выполнения через прикрепление обработчиков к точкам трассировки ... | ||
Ответить | Правка | Наверх | Cообщить модератору |
110. "Для Linux предложен механизм верификации корректности работы..." | +/– | |
Сообщение от Аноним (-), 09-Авг-22, 06:36 | ||
> Я так скрипта на bash отлаживаю (echo point_name) | ||
Ответить | Правка | Наверх | Cообщить модератору |
126. "Для Linux предложен механизм верификации корректности работы..." | +1 +/– | |
Сообщение от torvn77 (ok), 09-Авг-22, 14:04 | ||
>> Я так скрипта на bash отлаживаю (echo point_name) | ||
Ответить | Правка | Наверх | Cообщить модератору |
152. "Для Linux предложен механизм верификации корректности работы..." | +/– | |
Сообщение от Аноним (-), 11-Авг-22, 01:16 | ||
Я в фирмварях использую что-то отдаленно напоминающее сабжевую идею. Там где функции опасные, есть дополнительные "check values" маркированые volatile (чтобы оптимизер не выпилил) и код проверяет почему он вообще здесь. Если ему не нравится повод по которому его вызвали - немедленная маркировка системы как "неисправной" и далее recovery/failsafe. | ||
Ответить | Правка | Наверх | 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? | ||
Ответить | Правка | К родителю #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, не нужно | ||
Ответить | Правка | Наверх | 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 | ||
> Бессмысленное, в общем случае ложное утверждение. | ||
Ответить | Правка | К родителю #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 морей =) | ||
Ответить | Правка | Наверх | 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 есть контроль доступа к камере, микрафона и другие | ||
Ответить | Правка | Наверх | Cообщить модератору |
148. "Для Linux предложен механизм верификации корректности работы..." | +/– | |
Сообщение от Аноним (129), 10-Авг-22, 10:49 | ||
> Даже в Windows 11 есть контроль доступа | ||
Ответить | Правка | К родителю #131 | Наверх | Cообщить модератору |
145. "Для Linux предложен механизм верификации корректности работы..." | +/– | |
Сообщение от КО (?), 10-Авг-22, 07:08 | ||
Коммитеры: | ||
Ответить | Правка | Наверх | Cообщить модератору |
153. "Для Linux предложен механизм верификации корректности работы..." | +/– | |
Сообщение от Аноним (-), 11-Авг-22, 01:21 | ||
А в чем собственно трабл? Более того, RT_LINUX патчи интел стал продвигать. Они скупили их разработчиков, вот и... . А кто-то сомневается что у линуха найдется более 9000 применений в околореалтаймных системах с высокими требованиям к надежности? А зря! Бортовые компьютеры, автопилоты, управляющие системы и тому подобное добро. Очень странно что ARM хочет чтобы их чипы там были топчиком. Да и остальные не прочь поделить этот довольно вкусный кус пирога. Который к тому же в отличие от хайпа и пузырей - надолго и всерьез. От вон тех систем человечество в обозримом будущем не откажется. | ||
Ответить | Правка | Наверх | Cообщить модератору |
155. "Для Linux предложен механизм верификации корректности работы..." | +/– | |
Сообщение от Аноним (155), 15-Авг-22, 13:49 | ||
Чего только не придумают, лишь бы ядро на расте не переписывать | ||
Ответить | Правка | Наверх | Cообщить модератору |
Архив | Удалить |
Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |