В статье "Архитектура Linux Driver Verification" (PDF, 700 Кб) представлено описание применимости метода статического анализа кода для проверки корректности драйверов устройств для платформы Linux. Представленный метод позволяет выявить ошибки на основании анализа исходных текстов, без непосредственного выполнения кода. В отличие от традиционных методов тестирования статический анализ кода позволяет проследить сразу все пути выполнения программы, в том числе, редко встречающиеся и сложно воспроизводимые при динамическом тестировании.

Проект Linux Driver Verification является открытым и развивается при участии организации Linux Foundation, Института системного программирования Российской Академии Наук (ИСП РАН) и Федерального агентства РФ по науке и инновациям. Наработки проекта распространяются в рамках лицензии Apache. Дополнительно подготовлен online-сервис для проверки драйверов. Список выявленных при помощи LDV проблем можно посмотреть на данной странице.

>>> Источник

http://www.membrana.ru/particle/17114

14 ноября в 08:14 по московскому времени c комодрома Байконур успешно стартовала ракета «Союз-ФГ».

После 528 секунд полёта корабль «Союз ТМА-22» штатно отделился от третьей ступени ракеты-носителя.

Экипаж «Союза»: командир Антон Шкаплеров и бортинженеры Анатолий Иванишин и Дэниел Бёрбэнк (Dan Burbank). Они пополнят состав 29-й постоянной экспедиции на МКС (Expedition 29), а чуть позже будут числиться в 30-й экспедиции.

Стыковка «Союза» и Международной космической станции запланирована на 16 ноября в 09:33 по московскому времени.

Напомним, сейчас на станции находятся Сергей Волков, Майкл Фоссум (Mike Fossum) и Сатоси Фурукава (Satoshi Furukawa). Они должны вернуться на Землю 22 ноября, тогда текущая экспедиция на МКС официально сменит свой номер.

Я вот думаю, подводно-грунтовые спутники уже хорошо наловчились запускать, а фрагов всё нет и нет.. Это случайность, или имеются какие-то веские причины для такого положения вещей?

Зачем ты зарубил эту ветку и что мне теперь делать с попкорном?

www.linux.org.ru/forum/development/6977505

Собственно обзор: http://www.ixbt.com/mobile/nokia/n9-meego/nokia-n9-meego.shtml

Скриншот с едой: http://www.ixbt.com/mobile/nokia/n9-meego/images/nokia-n9-screenshot-cont.jpg

В статье, помимо собственно обзора телефона, имеется куча спекуляций на тему сложных отношений между Нокией, Интелом и Линуксом.

Задача такая: выпилить чужие спутники и баллистические ракеты, но оставить свои. Как это принято делать?

// Пишу под впечатлением от эльфийского видео http://www.youtube.com/watch?v=KBMU6l6GsdM

Боевой^W Человекоподобный робот от создателей BigDog.

Новость на мембране: http://www.membrana.ru/particle/17051

Видео: http://www.youtube.com/watch?v=mclbVTIYG8E

http://img23.imageshack.us/img23/1638/lyxfail.png

Проблемное место обведено на скриншоте красным. Что нужно сделать, чтобы такого больше не происходило?

Знакомый хочет научиться кодить на Java. Опыта программирования не имеет, ни одного языка/парадигмы не знает. То есть помимо введения в собственно java и ооп, требуется введение в программирование как таковое. Видимо, нужны серии учебных задач, позволяющие поэтапно разобраться с переменными, функциями, и тд. Посоветуйте подходящих учебников, желательно на русском и не очень нудных.

Из шальной мысли «бугага вслед за торбинсом» идея променять четвертокеды на LXDE переросла в серьезное намерение. О чем я могу потом пожалеть? Назовите 3 наиболее веские причины для того, чтобы не переходить с КДЕ4 на LXDE.

Запостите, пожалуйста, хотелку:

Provide i386 version of valgrind on amd64 hosts.

Current status:

$ uname -m
x86_64
$ valgrind ./a.out 
valgrind: failed to start tool 'memcheck' for platform 'x86-linux': No such file or directory

PS Хотел зарегистрироваться, но там какие-то адские требования. И имя им подавай, и фамилию... Хорошо хоть скан паспорта не просят.

Верни нам delilen-а. Человек имеет собственное, нетривиальное мнение. Аргументирует свои высказывания. Вполне вменяемый собеседник. Даже если он иногда лишнего флудит и вбрасывает - зачем было его банить? Пусть себе тусуется в толксах. Контент, который он генерирует, повышает ценность ресурса.

http://www.opennet.ru/opennews/art.shtml?num=31422

Вкратце для Ъ-аналитиков:

После известия о начале перевода парка серверов Rambler-почты с FreeBSD на Linux развернулось множество обсуждений проблем FreeBSD, из которых стало известно, в том числе, и о планируемом переводе с FreeBSD поискового кластера Яндекс (более 30000 серверов).

..... наличия у проекта FreeBSD серьезных проблем, ставящих ОС (и, соответственно, связанных с ней рабочих мест) под угрозу вымирания, если сообщество прямо сейчас не осознает необходимость серьезных изменений и не начнет воплощать их в жизнь.

Кроме того, мешают развитию системы так же избыточное ЧСВ многих пользователей и разработчиков, считающих, что слишком большая популярность системе не нужна, потому что будет много неграмотных пользователей, система не будет «столь элитарна» (такое мнение ошибочно и вредно).

А по-вашему, какие проблемы еще остались у проекта FreeBSD? Дискач.

Хочется найти таблицу дистрибутивов, где будет указано:
* версия glibc
* версия linux kernel
* версия xorg
* версия gcc
* статус поддержки

В первую очередь интересны мажорные LTS-дистрибутивы: RHEL, SLES/SLED, Debian, Ubuntu LTS, etc. Начиная с выпущенных хотя бы лет 10 назад.

Самостоятельно нагуглить такого не сумел, и теперь прошу помощи.

Есть таблица с целочисленными парами (ключ, значение). Ключи уникальные.

Задана максимально допустимая сумма значений: S. Выбираем из таблицы пару с самым маленьким ключом. Если значение при этом ключе меньше чем S, то добавляем к выборке пару со вторым по величие ключом. Если сумма значений у выбранных пар меньше чем S, то добавляем к выборке пару с третьим по величине ключом. И так далее, до тех пор пока сумма не перестанет быть меньше чем S, или пока не будут выбраны вообще все пары. Требуется узнать ключ K, который будет выбран последним.

Примерно то же самое, но более строгим языком:

найти максимальный ключ K, такой, что
   сумма значений соответствующих всем ключам, таким, что
      ключ меньше чем K,
   меньше чем S

Это возможно сделать SQL-запросом?

А я специально про opt написал, чтобы помянуть нехорошим словом «разработчиков», пихающих свои поделки куда попало:

ls /opt
 . google lib openoffice.org3 tuxguitar-1.1
 .. kde3 openoffice.org share tuxguitar-1.2

Как видите, опенофис, гуглохром и tuxguitar сделаны вантузятниками, которые про FHS и не слыхивали.

А что, собственно, не так с гуглохромом? http://www.pathname.com/fhs/pub/fhs-2.3.html#OPTADDONAPPLICATIONSOFTWAREPACKAGES

http://www.fcenter.ru/online.shtml?softnews/2011/05/26#material_id=31175

То, что в последнее время говорится в кулуарах и за закрытыми дверями, было заявлено в открытую не стесняющимся в выражениях топ-менеджером хэдж-фонда Greenlight Capital Давидом Эйнхорном (David Einhorn), который в своё время предрёк проблемы Lehman Brothers (инвестиционный банк, с банкротства которого началась активная фаза общемирового финансового кризиса). И хотя Greenlight Capital владеет всего лишь одной десятой процента акций Microsoft, заявления Давида Эйнхорна выражают общую озабоченность многих инвесторов софтверного гиганта.

Простой пример: если бы вы вложили в акции Microsoft десять лет назад 100 тысяч долларов США, то на данный момент у вас на руках оказался бы актив стоимостью 69 тысяч долларов США. Комментарии, как говорится, излишни. Давид Эйнхорн попросил Стива Балмера уйти с поста корпорации Microsoft, потому что он, по мнению представителя Greenlight Capital, «застрял в прошлом» и является «самой большой угрозой акциям Microsoft».

Второстепенные роли Microsoft на рынке мобильных платформ и в Интернет-сфере - глупо отрицать. Справедливо подметив необходимость поиска стратегических альтернатив текущему онлайновому бизнесу Microsoft (подразделения Bing и MSN за последние 4 года принесли убытков на 7 миллиардов долларов США), Давид Эйнхорн попросил Стива Балмера освободить место у штурвала и «дать шанс кому-нибудь ещё».

В общем, корабль идет ко дну. Дискач.

Будь!

Может, и не совсем о линуксе, но новость критически важная.

Этот проект хотя бы 1 раз должен засветиться на главной, причем не в «мини» виде.

http://www.linux.org.ru/news/opensource/6206805

http://www.fcenter.ru/online.shtml?hardnews/2011/04/28#material_id=30978

Ъ

Защищаясь от возможных утечек, компания Apple всегда применяла драконовские меры по защите секретов. Чуть что-то появится в Сети, полиция уже стучится в двери к подозреваемым. В принципе, это спасает компанию от серьёзных утечек, но на сто процентов не защищает. Так, например, за несколько месяцев до анонса Apple iPad 2 в Интернет появились фотографии корпусов нового планшета компании, а за несколько недель до продаж в ряде китайских магазинов появились защитные чехлы для новинки.

Контрактный производитель планшетов Apple компания Foxconn Electronics (Hon Hai Precision Industry) по факту утечки сделала заявление в полицию. Вскоре по горячим следам 26 декабря 2010 года местная полиция задержала трёх работников компании. Отметим, первая незаконная фотография iPad 2 была выложена 23 декабря, а аресты прошли уже три дня спустя (привет анонимности в Интернет). На днях, сообщает популярный тайваньский интернет-ресурс DigiTimes, всем троим бывшим сотрудникам компании Foxconn вынесен приговор.

Чуть не прозевал. Кто о чем, а Линус - опять о мастурбации :D

https://lkml.org/lkml/2011/3/17/492

Практически каждый абзац в сообщении доставляет, так что копирую сюда целиком.

Ъ

You need to stop stepping on each others toes. There is no way that your changes to those crazy clock-data files should constantly result in those annoying conflicts, just because different people in different ARM trees do some masturbatory renaming of some random device. Seriously.

That usb_musb_init() thing in arch/arm/mach-omap2/usb-musb.c also seems to be totally insane. I wonder what kind of insanity I'm missing just because I don't happen to see the merge conflicts, just because people were lucky enough to happen to not touch the same file within a few lines.

Somebody needs to get a grip in the ARM community. I do want to do these merges, just to see how screwed up things are, but guys, this is just ridiculous. The pure amount of crazy churn is annoying in itself, but when I then get these «independent» pull requests from four different people, and they touch the same files, that indicates that something is wrong.

And stop the crazy renaming already! Just leave it off. Don't rename boards and drivers «just because», at least not when there clearly are clashes. There's no point. I'm not even talking about the file renames (which happened and can also make it «fun» to try to resolve the conflicts when somebody else then makes _other_ changes), but about the stupid «change human-readable names in board files just to annoy whoever needs to merge the crap».

Somebody in the ARM community really needs to step up and tell people to stop dicking around.

(I'm replying to the omap pull request, because that's the one I did last, but I don't know who to «blame». I don't care. It really doesn't matter. I realize thar ARM vendors do crazy shit and haven't figured out this whole «platform» thing yet, but you guys need to push back on the people sending you crap).

Linus