The OpenNET Project / Index page

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

KEDR 0.2 - система для анализа работы модулей Linux-ядра

11.03.2011 10:23

Центр верификации ОС Linux, учрежденный при институте системного программирования Российской Академии Наук, представил вторую версию системы для анализа работы модулей Linux-ядра KEDR, позволяющей на лету проводить трассировку и отслеживать вызовы функций из заданного модуля, имитировать сбои и нехватку системных ресурсов и определять наличие утечек памяти. Поддерживается широкий спектр модулей, от драйверов, до модулей с реализацией файловых систем.

В новой версии применен новый метод трассировки, лучше поддерживающий работу на SMP-системах; добавлен детектор утечек памяти; реализована возможность имитации системных сбоев для заданных областей в коде анализируемого модуля; обеспечена поддержка Linux-ядер 2.6.37 и 2.6.38; добавлена возможность отслеживания 20 дополнительных функций ядра.

Наиболее известной разработкой Центра верификации ОС Linux является Application Checker - автоматизированный тестовый комплект для тестирования приложений на предмет совместимости с требованиями стандарта LSB и с дистрибутивами Linux, находящимися в базе данных LSB.

  1. Главная ссылка к новости (http://linuxtesting.ru/news/ke...)
  2. OpenNews: В России открылся Центр верификации ОС Linux
  3. OpenNews: Доступна предварительная версия стандарта LSB 4.0
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/29873-linux
Ключевые слова: linux, kernel, module, debug, trace
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (13) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Xaionaro (ok), 11:18, 11/03/2011 [ответить] [﹢﹢﹢] [ · · · ]  
  • +6 +/
    Очень похвально. Приятно, что ребята из ИСП РАН полезным делом заняты.
     
     
  • 2.2, iZEN (ok), 13:36, 11/03/2011 [^] [^^] [^^^] [ответить]  
  • –10 +/
    Они делают работу для Red Hat и других американских корпораций, которые зарабатывают деньги на коде ядра Linux и выпускают блобоподобные (трудно разбираемые) патчи-простыни.

    Нет, чтобы вложиться в академические исследования BSD систем и двигать науку,  — хернёй страдают.

     
     
  • 3.3, q (??), 13:44, 11/03/2011 [^] [^^] [^^^] [ответить]  
  • –6 +/
    +5!
     
  • 3.4, тень_pavel_simple (?), 13:47, 11/03/2011 [^] [^^] [^^^] [ответить]  
  • +4 +/
    izen головного мозга -- это когда точно за всех знаешь что и кому делать!


     
  • 3.5, Аноним (-), 16:58, 11/03/2011 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Толстовато и уныло.

    Эти самые Red Hat и прочие тоже много делают для линукса.

     
     
  • 4.10, анонимм (?), 23:22, 11/03/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > Эти самые Red Hat и прочие тоже много делают для линукса.

    Точно. Как наделают по несколько мегабайт за один патч

     
  • 3.7, Xaionaro (ok), 19:06, 11/03/2011 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Они делают работу для Red Hat и других американских корпораций, которые зарабатывают
    > деньги на коде ядра Linux и выпускают блобоподобные (трудно разбираемые) патчи-простыни.
    > Нет, чтобы вложиться в академические исследования BSD систем и двигать науку,  
    > — хернёй страдают.

    Вам лишь бы засрать кого-нибудь. Я помню когда пересекался с ними (ИСП РАН) по другому вопросу, тот, с кем беседовал я, был очень толковым человеком, и в тот раз они опять же занимались достаточно полезным для всех делом. Возможно они там и делают большие деньги (честно говоря, мне абсолютно пофиг), но лично я им благодарен за то, как они это делают :)

     
  • 3.9, emg81 (ok), 23:16, 11/03/2011 [^] [^^] [^^^] [ответить]  
  • +1 +/
    дай Вам Бог здоровья :)

    дарите смех людям - дарите им жизнь :)

     
  • 3.11, User294 (ok), 23:49, 11/03/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > Нет, чтобы вложиться в академические исследования BSD систем и двигать науку,  
    > — хернёй страдают.

    Вот это действительно была бы работа на корпорации. Которые не обязаны ничего отдавать взамен. И не отдают зачастую. Хрен таким конторам, пусть они R&D на свои бабки и делают. Еще не хватало акулам бизнеса халяву устраивать за счет налогоплательщиков.

     
     
  • 4.13, iZEN (ok), 18:22, 12/03/2011 [^] [^^] [^^^] [ответить]  
  • –2 +/
    ПО под BSDL-подобными лицензиями всегда точилось на деньги общественных фондов и некоммерческих организаций. Результаты научных прикладных разработок всегда были доступны всем желающим.

    Почему я, как налогоплательщик, должен оплачивать работу Центра верификации ОС Linux, если результаты напрямую попадут в Red Hat, Intel и в другие иностранные корпорации, а лично мне от этого ни холодно, ни жарко?

    BSDL и MIT ближе всех к Общественному Достоянию, чем эта ваша оприоритаренная GPL.

     
  • 2.6, СуперАноним (?), 18:26, 11/03/2011 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Академически развивать BSD, да и ещё влаживаться в неё, это уже работать на проприетарщиков.
     
  • 2.12, User294 (ok), 23:50, 11/03/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > Очень похвально. Приятно, что ребята из ИСП РАН полезным делом заняты.

    Я в афиге. Судя по описанию - у нас все-таки умеют делать что-то реально полезное.

     

  • 1.8, Buy (??), 22:01, 11/03/2011 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Молодцы. Очень рад :) действительно полезнейшее приложене.
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



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

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