The OpenNET Project / Index page

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

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

"Выпуск Undertaker 1.6, анализатора исходных текстов ядра Linux"  +/
Сообщение от opennews (??) on 14-Окт-14, 14:11 
В списке рассылки разработчиков ядра Linux представлен (https://lkml.org/lkml/2014/10/13/340) инструментарий Undertaker 1.6 (https://undertaker.cs.fau.de), предназначенный для выявления проблем с использованием директив препроцессора в исходных текстах на языке Си. Проект создан на базе исследовательских проектов VAMOS (http://www4.informatik.uni-erlangen.de/Research/VAMOS/) и  CADOS (https://cados.cs.fau.de). Undertaker выполняет статический анализ кода ядра Linux и позволяет определить такие проблемы, как некорректное включение или выключение условных блоков препроцессора, не соответствующих заданной конфигурации (Kconfig). Ключевым новшеством Undertaker 1.6 является реализация инструмента undertaker-checkpatch  для анализа корректности патчей к ядру. Инструмент позволяет выявить появление дефектов в патче, проанализировать причины их появления и оценить устранение ранее зафиксированных проблем.

Для UndertakerTailor (http://vamos.cs.fau.de/trac/undertaker/wiki/UndertakerTailor), системы для формирования конфигурации ядра, содержащей минимальный набор компонентов, требуемых для реализации заданной функциональности (ядро содержит более 14000 опций настройки и понять какие из них необходимы для обеспечения определённой функциональности достаточно трудно), представлен новый инструмент flipper (https://vamos.informatik.uni-erlangen.de/trac/undertaker/wik...). Flipper позволяет организовать сбор информации об управляющих потоках  в ядре, чтобы оценить какие из подсистем ядра можно отключить без негативного влияние на текущий рабочий процесс.


URL: https://lkml.org/lkml/2014/10/13/340
Новость: https://www.opennet.ru/opennews/art.shtml?num=40821

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

Оглавление

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


1. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  –4 +/
Сообщение от Аноним (??) on 14-Окт-14, 14:11 
Есть то же самое, но только для VxWorks? :)
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

4. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  +1 +/
Сообщение от Аноним (??) on 14-Окт-14, 15:23 
А vxworks - проприетарная система, ее многие поэтому видели только на картинках. А уж исходники и подавно.
Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

5. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  –1 +/
Сообщение от Аноним (??) on 14-Окт-14, 16:28 
А я и не прошу бесплатного тула для проприетарной разработки. :)
Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

8. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  +2 +/
Сообщение от Аноним (??) on 14-Окт-14, 21:11 
Тогда, наверно, не том сайте ищешь ;)
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

10. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  –2 +/
Сообщение от Аноним (??) on 14-Окт-14, 22:28 
Так блин, киньте ссылку, я не Ъ, могу и посмотреть на другом сайте, только понятия не имею, где. И гугл тоже не знает.
Ответить | Правка | ^ к родителю #8 | Наверх | Cообщить модератору

12. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  +1 +/
Сообщение от Аноним (??) on 15-Окт-14, 04:31 
> Так блин, киньте ссылку, я не Ъ, могу и посмотреть на другом
> сайте, только понятия не имею, где. И гугл тоже не знает.

Мы тебе что, бесплатный саппорт для твоего проприетарного крапа? Ты за него платил деньги? Вот и задавай все вопросы туда - владельцам твоей системы, которые тебе право пользования оной за денежку лицензировали. Спрашивать тут о VxWorks - в высшей степени бесполезное начинание.

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

14. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  +/
Сообщение от Аноним (??) on 15-Окт-14, 13:30 
Дружище, не кипятись. Давай посмотрим на этот вопрос с другой стороны. Пусть у нас есть любая другая POSIX-совместимая ОС, разработка которой ведется опенсорсно, под линуксами и компилируется чем-то широко распространенным. Как проверить, что память не бежит гигабайтами, ОС корректно работает и обрабатывает проблемы адекватным образом? Через valgrind же её не запустишь.
Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

2. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  –6 +/
Сообщение от kleemhead on 14-Окт-14, 14:22 
Чуууумааа. Надеюсь 3.17 проанализирут, пофиксят и всем будет клева :)
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

3. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  +/
Сообщение от Аноним (??) on 14-Окт-14, 15:22 
> включение или выключение условных блоков препроцессора, не соответствующих
> заданной конфигурации (Kconfig).

Актуальная тулза. А то я пощелкал опциями и получил ... ядро которое никак не может скомпилиться. Где-то в процессе линковки не оказывается нужной функции - обана, облом компиляции. Я уж и Mr Proper'а звал и прочее. Нифига, с конкретным конфигом - ну не хочет собираться и все тут. А с точно таким же конфигом, отличающимся парой опций по мелочи - компилится как из пушки. Видимо как раз из такой области баг попался.

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

9. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  +1 +/
Сообщение от anonymous (??) on 14-Окт-14, 21:54 
>> включение или выключение условных блоков препроцессора, не соответствующих
>> заданной конфигурации (Kconfig).
> Актуальная тулза. А то я пощелкал опциями и получил ... ядро которое
> никак не может скомпилиться. Где-то в процессе линковки не оказывается нужной
> функции - обана, облом компиляции. Я уж и Mr Proper'а звал
> и прочее. Нифига, с конкретным конфигом - ну не хочет собираться
> и все тут. А с точно таким же конфигом, отличающимся парой
> опций по мелочи - компилится как из пушки. Видимо как раз
> из такой области баг попался.

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

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

11. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  +/
Сообщение от Аноним (??) on 15-Окт-14, 04:03 
Это не отменяет касяков конфиггенераторов
Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

13. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  –1 +/
Сообщение от Аноним (??) on 15-Окт-14, 04:39 
> Аккордеон.

Губная гармошка, бэть.

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

Это круто, но представь себе как это выглядит:
- Был рабочий конфиг.
- Обновил дерево сорцов.
- При запуске make билд система просекла что есть новые опции и спросила пару вопросов о новых фичах/дровах. Мол, а эти вам как подать?
- Я ответил, задав опции в желаемом виде. Я их впервые вижу и процесс разумеется "на глазок", в меру понимания системных сущностей. И уж естественно я в этот момент уже не вижу как там все остальные опции выставлены, ибо это уже make, а не menuconfig.
- Билдуем...
- Упсь, fail.

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

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

6. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  +1 +/
Сообщение от Аноним (??) on 14-Окт-14, 18:21 
А что не для BSD с таким-то названием?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

7. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  –1 +/
Сообщение от Рыбак_из_Припяти (ok) on 14-Окт-14, 20:19 
>14000 опций настройки

Откуда число?

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

15. "Выпуск Undertaker 1.6, анализатора исходных текстов ядра Lin..."  +/
Сообщение от Рыбак_из_Припяти (ok) on 15-Окт-14, 20:21 
Отвечу сам себе. 14000 вариантов настройки, а не опций.
Ответить | Правка | ^ к родителю #7 | Наверх | Cообщить модератору

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

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




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

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