The OpenNET Project / Index page

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

Выпуск Undertaker 1.6, анализатора исходных текстов ядра Linux

14.10.2014 12:57

В списке рассылки разработчиков ядра Linux представлен инструментарий Undertaker 1.6, предназначенный для выявления проблем с использованием директив препроцессора в исходных текстах на языке Си. Проект создан на базе исследовательских проектов VAMOS и CADOS. Undertaker выполняет статический анализ кода ядра Linux и позволяет определить такие проблемы, как некорректное включение или выключение условных блоков препроцессора, не соответствующих заданной конфигурации (Kconfig). Ключевым новшеством Undertaker 1.6 является реализация инструмента undertaker-checkpatch для анализа корректности патчей к ядру. Инструмент позволяет выявить появление дефектов в патче, проанализировать причины их появления и оценить устранение ранее зафиксированных проблем.

Для UndertakerTailor, системы для формирования конфигурации ядра, содержащей минимальный набор компонентов, требуемых для реализации заданной функциональности (ядро содержит более 14000 опций настройки и понять какие из них необходимы для обеспечения определённой функциональности достаточно трудно), представлен новый инструмент flipper. Flipper позволяет организовать сбор информации об управляющих потоках в ядре, чтобы оценить какие из подсистем ядра можно отключить без негативного влияние на текущий рабочий процесс.

  1. Главная ссылка к новости (https://lkml.org/lkml/2014/10/...)
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/40821-undertaker
Ключевые слова: undertaker, kernel, debug
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (15) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (-), 14:11, 14/10/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • –4 +/
    Есть то же самое, но только для VxWorks? :)
     
     
  • 2.4, Аноним (-), 15:23, 14/10/2014 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А vxworks - проприетарная система, ее многие поэтому видели только на картинках. А уж исходники и подавно.
     
     
  • 3.5, Аноним (-), 16:28, 14/10/2014 [^] [^^] [^^^] [ответить]  
  • –1 +/
    А я и не прошу бесплатного тула для проприетарной разработки. :)
     
     
  • 4.8, Аноним (-), 21:11, 14/10/2014 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Тогда, наверно, не том сайте ищешь ;)
     
     
  • 5.10, Аноним (-), 22:28, 14/10/2014 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Так блин, киньте ссылку, я не Ъ, могу и посмотреть на другом сайте, только понятия не имею, где. И гугл тоже не знает.
     
     
  • 6.12, Аноним (-), 04:31, 15/10/2014 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Так блин, киньте ссылку, я не Ъ, могу и посмотреть на другом
    > сайте, только понятия не имею, где. И гугл тоже не знает.

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

     
     
  • 7.14, Аноним (-), 13:30, 15/10/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Дружище, не кипятись. Давай посмотрим на этот вопрос с другой стороны. Пусть у нас есть любая другая POSIX-совместимая ОС, разработка которой ведется опенсорсно, под линуксами и компилируется чем-то широко распространенным. Как проверить, что память не бежит гигабайтами, ОС корректно работает и обрабатывает проблемы адекватным образом? Через valgrind же её не запустишь.
     

  • 1.2, kleemhead (?), 14:22, 14/10/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • –6 +/
    Чуууумааа. Надеюсь 3.17 проанализирут, пофиксят и всем будет клева :)
     
  • 1.3, Аноним (-), 15:22, 14/10/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > включение или выключение условных блоков препроцессора, не соответствующих
    > заданной конфигурации (Kconfig).

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

     
     
  • 2.9, anonymous (??), 21:54, 14/10/2014 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >> включение или выключение условных блоков препроцессора, не соответствующих
    >> заданной конфигурации (Kconfig).
    > Актуальная тулза. А то я пощелкал опциями и получил ... ядро которое
    > никак не может скомпилиться. Где-то в процессе линковки не оказывается нужной
    > функции - обана, облом компиляции. Я уж и Mr Proper'а звал
    > и прочее. Нифига, с конкретным конфигом - ну не хочет собираться
    > и все тут. А с точно таким же конфигом, отличающимся парой
    > опций по мелочи - компилится как из пушки. Видимо как раз
    > из такой области баг попался.

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

     
     
  • 3.11, Аноним (-), 04:03, 15/10/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Это не отменяет касяков конфиггенераторов
     
  • 3.13, Аноним (-), 04:39, 15/10/2014 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Аккордеон.

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

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

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

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

     

  • 1.6, Аноним (-), 18:21, 14/10/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    А что не для BSD с таким-то названием?
     
  • 1.7, Рыбак_из_Припяти (ok), 20:19, 14/10/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    >14000 опций настройки

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

     
     
  • 2.15, Рыбак_из_Припяти (ok), 20:21, 15/10/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Отвечу сам себе. 14000 вариантов настройки, а не опций.
     
     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



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

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