https://www.opennet.me/openforum/vsluhforumID3/75329.html Центр верификации ОС Linux (http://linuxtesting.ru), учрежденный при институте системного программирования Российской Академии Наук, представил (http://linuxtesting.ru/news/kedr02) вторую версию системы для анализа работы модулей Linux-ядра KEDR (http://kedr.berlios.de/), позволяющей на лету проводить трассировку и отслеживать вызовы функций из заданного модуля, имитировать сбои и нехватку системных ресурсов и определять наличие утечек памяти. Поддерживается широкий спектр модулей, от драйверов, до модулей с реализацией файловых систем.<br><br><br>В новой версии применен новый метод трассировки, лучше поддерживающий работу на SMP-системах; добавлен детектор утечек памяти; реализована возможность имитации системных сбоев для заданных областей в коде анализируемого модуля; обеспечена поддержка Linux-ядер 2.6.37 и 2.6.38; добавлена возможность отслеживания 20 дополнительных функций ядра.<br><br><br>Наиболее известной разработкой Центра верификации ОС Linux является Application Checker (http://ldn.linux...<br><br>URL: http://linuxte https://www.opennet.me/openforum/vsluhforumID3/75329.html#13 Sat, 12 Mar 2011 15:22:47 GMT ПО под BSDL-подобными лицензиями всегда точилось на деньги общественных фондов и некоммерческих организаций. Результаты научных прикладных разработок всегда были доступны всем желающим.<br><br>Почему я, как налогоплательщик, должен оплачивать работу Центра верификации ОС Linux, если результаты напрямую попадут в Red Hat, Intel и в другие иностранные корпорации, а лично мне от этого ни холодно, ни жарко?<br><br>BSDL и MIT ближе всех к Общественному Достоянию, чем эта ваша оприоритаренная GPL.<br> https://www.opennet.me/openforum/vsluhforumID3/75329.html#12 Fri, 11 Mar 2011 20:50:56 GMT &gt; Очень похвально. Приятно, что ребята из ИСП РАН полезным делом заняты.<br><br>Я в афиге. Судя по описанию - у нас все-таки умеют делать что-то реально полезное. <br> https://www.opennet.me/openforum/vsluhforumID3/75329.html#11 Fri, 11 Mar 2011 20:49:12 GMT &gt; Нет, чтобы вложиться в академические исследования BSD систем и двигать науку, <br>&gt; &#8212; хернёй страдают.<br><br>Вот это действительно была бы работа на корпорации. Которые не обязаны ничего отдавать взамен. И не отдают зачастую. Хрен таким конторам, пусть они R&D на свои бабки и делают. Еще не хватало акулам бизнеса халяву устраивать за счет налогоплательщиков. <br> https://www.opennet.me/openforum/vsluhforumID3/75329.html#10 Fri, 11 Mar 2011 20:22:40 GMT &gt; Эти самые Red Hat и прочие тоже много делают для линукса.<br><br>Точно. Как наделают по несколько мегабайт за один патч<br> https://www.opennet.me/openforum/vsluhforumID3/75329.html#9 Fri, 11 Mar 2011 20:16:23 GMT дай Вам Бог здоровья :)<br><br>дарите смех людям - дарите им жизнь :)<br> https://www.opennet.me/openforum/vsluhforumID3/75329.html#8 Fri, 11 Mar 2011 19:01:41 GMT Молодцы. Очень рад :) действительно полезнейшее приложене.<br> https://www.opennet.me/openforum/vsluhforumID3/75329.html#7 Fri, 11 Mar 2011 16:06:28 GMT &gt; Они делают работу для Red Hat и других американских корпораций, которые зарабатывают <br>&gt; деньги на коде ядра Linux и выпускают блобоподобные (трудно разбираемые) патчи-простыни. <br>&gt; Нет, чтобы вложиться в академические исследования BSD систем и двигать науку, <br>&gt; &#8212; хернёй страдают.<br><br>Вам лишь бы засрать кого-нибудь. Я помню когда пересекался с ними (ИСП РАН) по другому вопросу, тот, с кем беседовал я, был очень толковым человеком, и в тот раз они опять же занимались достаточно полезным для всех делом. Возможно они там и делают большие деньги (честно говоря, мне абсолютно пофиг), но лично я им благодарен за то, как они это делают :)<br> https://www.opennet.me/openforum/vsluhforumID3/75329.html#6 Fri, 11 Mar 2011 15:26:10 GMT Академически развивать BSD, да и ещё влаживаться в неё, это уже работать на проприетарщиков.<br> https://www.opennet.me/openforum/vsluhforumID3/75329.html#5 Fri, 11 Mar 2011 13:58:10 GMT Толстовато и уныло.<br><br>Эти самые Red Hat и прочие тоже много делают для линукса.<br>