Центр верификации ОС Linux (http://linuxtesting.ru), учрежденный при институте системного программирования Российской Академии Наук, представил (http://linuxtesting.ru/news/kedr02) вторую версию системы для анализа работы модулей Linux-ядра KEDR (http://kedr.berlios.de/), позволяющей на лету проводить трассировку и отслеживать вызовы функций из заданного модуля, имитировать сбои и нехватку системных ресурсов и определять наличие утечек памяти. Поддерживается широкий спектр модулей, от драйверов, до модулей с реализацией файловых систем.
В новой версии применен новый метод трассировки, лучше поддерживающий работу на SMP-системах; добавлен детектор утечек памяти; реализована возможность имитации системных сбоев для заданных областей в коде анализируемого модуля; обеспечена поддержка Linux-ядер 2.6.37 и 2.6.38; добавлена возможность отслеживания 20 дополнительных функций ядра.
Наиболее известной разработкой Центра верификации ОС Linux является Application Checker (http://ldn.linux...URL: http://linuxtesting.ru/news/kedr02
Новость: https://www.opennet.ru/opennews/art.shtml?num=29873
Очень похвально. Приятно, что ребята из ИСП РАН полезным делом заняты.
Они делают работу для Red Hat и других американских корпораций, которые зарабатывают деньги на коде ядра Linux и выпускают блобоподобные (трудно разбираемые) патчи-простыни.Нет, чтобы вложиться в академические исследования BSD систем и двигать науку, — хернёй страдают.
+5!
izen головного мозга -- это когда точно за всех знаешь что и кому делать!
Толстовато и уныло.Эти самые Red Hat и прочие тоже много делают для линукса.
> Эти самые Red Hat и прочие тоже много делают для линукса.Точно. Как наделают по несколько мегабайт за один патч
> Они делают работу для Red Hat и других американских корпораций, которые зарабатывают
> деньги на коде ядра Linux и выпускают блобоподобные (трудно разбираемые) патчи-простыни.
> Нет, чтобы вложиться в академические исследования BSD систем и двигать науку,
> — хернёй страдают.Вам лишь бы засрать кого-нибудь. Я помню когда пересекался с ними (ИСП РАН) по другому вопросу, тот, с кем беседовал я, был очень толковым человеком, и в тот раз они опять же занимались достаточно полезным для всех делом. Возможно они там и делают большие деньги (честно говоря, мне абсолютно пофиг), но лично я им благодарен за то, как они это делают :)
дай Вам Бог здоровья :)дарите смех людям - дарите им жизнь :)
> Нет, чтобы вложиться в академические исследования BSD систем и двигать науку,
> — хернёй страдают.Вот это действительно была бы работа на корпорации. Которые не обязаны ничего отдавать взамен. И не отдают зачастую. Хрен таким конторам, пусть они R&D на свои бабки и делают. Еще не хватало акулам бизнеса халяву устраивать за счет налогоплательщиков.
ПО под BSDL-подобными лицензиями всегда точилось на деньги общественных фондов и некоммерческих организаций. Результаты научных прикладных разработок всегда были доступны всем желающим.Почему я, как налогоплательщик, должен оплачивать работу Центра верификации ОС Linux, если результаты напрямую попадут в Red Hat, Intel и в другие иностранные корпорации, а лично мне от этого ни холодно, ни жарко?
BSDL и MIT ближе всех к Общественному Достоянию, чем эта ваша оприоритаренная GPL.
Академически развивать BSD, да и ещё влаживаться в неё, это уже работать на проприетарщиков.
> Очень похвально. Приятно, что ребята из ИСП РАН полезным делом заняты.Я в афиге. Судя по описанию - у нас все-таки умеют делать что-то реально полезное.
Молодцы. Очень рад :) действительно полезнейшее приложене.