-Фотоальбом

Посмотреть все фотографии серии Рукотворное
Рукотворное
21:28 08.03.2016
Фотографий: 151

 -Подписка по e-mail

 

 -Поиск по дневнику

Поиск сообщений в Мих-Мих

 -Статистика

Статистика LiveInternet.ru: показано количество хитов и посетителей
Создан: 02.01.2008
Записей: 536
Комментариев: 1910
Написано: 3576


Калуга. Десятая конференция разработчиков свободных программ

Воскресенье, 03 Ноября 2013 г. 00:21 + в цитатник

 В Калуге дожди, хотя обещали просто пасмурно. Думаю, это даже хорошо, потому что в противном случае трудно было усидеть на Десятой конференции разработчиков свободного программного обеспечения, организованной компанией Альт Линукс. Сразу скажу, что конференция мне понравилось. Были темы, которые меня не трогали ни как в профессиональном смысле, ни из любопытства. Зато те ради которых ехал, оправдали ожидания сполна.

В первый день заинтересовала тема универсального формата для публикации. Ведь сколько раз приходилось подстраиваться под то или иное требование. Где-то нужно pdf, где-то doc, где-то удобнее документ с Html разметкой, а в каких-то случаях Latex Спор разгорелся нешуточный. Главная идея, вынесенная мной из обсуждений — в современный век повсеместного web, надо отходить от бумажных, твердых копий. Публиковаться, размещать информацию лучше сразу в интернете. Поэтому и универсальный формат должен быть прежде всего ориентирован на язык разметки. Вроде и верно, но потребует с меня начальник отчет, не думаю, что его устроит ссылка на страницу, все равно печать придется. А в этом случае удобнее doc, odt, pdf.

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

 

Первая тема не только интересна по содержанию, но и преследует благородные мотивы, дать людям с плохим зрением, или вовсе незрячим, удобный инструмент для полноценной работы. Проект Luwrain ОС . Идея вполне очевидна, что для таких людей самое трудное? Использовать графический интерфейс, подразумевающий применение манипулятора «мышь». Есть полумеры в виде озвучки действий на экране. Но это именно полумера. А если шумно на улице? Или работа в таком месте, где голос, исходящий от ПЭВМ будет не уместен? Я считаю, что полностью избавиться от звуковой сопровождения пока не удастся, но его можно уменьшить, заменив стандартный графический интерфейс на текстовый. Это будет не привычный режим консоли, а вполне функциональная оболочка, но в текстовом исполнении. На это и направлен проект. Разработчик пообещал к концу октября выложить готовый дистрибутив. А сама среда выглядит так. (Красный цвет, естественно, можно заменить на другой).

Luwrain/1383423551_IMGP9817 (600x495, 124Kb)

Вторая тема близкая мне как программисту — процесс поиска ошибок в приложениях при помощи тестирования. Существует два метода: статический и динамический. У каждого свои плюсы и минусы...

В докладе рассказывали о методе основанном на адаптивном статическом анализе CHAchecker. Продукт интересный. Благодаря ему разработчик может оценить тестовое покрытие кода, которое представляет из себя долю классов, ситуаций, представители которых попали в тестовый набор. Своего рода количественная метрика качественного анализа кода. Захотелось посмотреть его работу живьем. И очень надеюсь, что в ближайшее время будет реализована в нем выборочная проверка узлов. Когда проект имеет нескольку тысяч строк кода, каждый раз проверять уже вычищенные места, зачастую нецелесообразно.

1383423595_IMGP9821 (650x418, 118Kb)

Третьей темой, которая вызвала мое любопытство, стала проблема доверенного компилятора. Суть проблемы заключается в том, что на сегодняшний день не существует «чистого» компилятора, который достоверно не вставлял бы какие-то закладки в код. Точнее так, вставляют ли компиляторы что-то еще — непонятно. О проблеме в первый раз заговорили в 1975 году. Кен Томпсон сформулировал проблему доверенного компилятора. Публично она опубликована в 1984 году в его Тьюринговской лекции «Размышление о том, можно ли полагаться на доверие». Но в то время пришли к заключению, что проблема нерешаемая. Уже в 2005 году, Дэвид Уилер предложил метод двойной раздельной компиляции. Суть метода в том, что один и тот же код компилируется проверяемым и доверенным компилятором. Поток полученный результат сверяется. И все бы хорошо, да вот засада, нет эталонного компилятора. Кто-то может возразить, что есть компиляторы с открытым исходным колом. Ведь что стоит его проверить. Да, можно проанализировать код. Но собираться же из исходников он будет снова компилятором, а что мешает этому компилятору что-то зашить в момент сборки, перевода в машинный код или ассемблер? Из проблемы доверенного компилятора вытекает проблема доверенного железа. Подобный компилятор можно собрать только на таком же доверенном железе. И кто гарантирует, что производители в регистрах памяти, и элементной базе не заложили пару «пасхальных яиц»? Так что проблема как мне кажется актуально, но поиск решения очень сложен. Требуется подключения большого количества специалистов. Возможно создание целого сообщества. Ведь процесс поиска решения притащит и новые проблемы. И даже если его найти будет не так просто, в процессе есть возможность открытия и новых методик и алгоритмов. Получается, что открывается целый новый пласт в науке.

Для тех кому интересно статьи на языке оригинала

1)Nassim Nicholas Taleb, The Black Swan: The Impact of the Highly Improbable,
http://www.nytimes.com/2007/04/22/books/chapters/0422-1st-tale.html?_r=0
2) Thompson, Ken, Reflections on Trusting Trust, 
https://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf
3)Wheeler, David A., Countering Trusting Trust through Diverse Double-Compiling (DDC), 
http://www.dwheeler.com/trusting-trust/wheelerd-trust.pdf

     

Был доклад о реализации Systemd непосредственно в ALTLunux. Systemd безусловно технология интересная, и пророчат, что она окончательно вытеснит System V init. Однако насколько она совместима со старыми настройками? Насколько болезен переход на нее и есть ли совместимость со старыми SysV init скриптами? Да и что она конкретно даст? В докладе постарались раскрыть эти вопросы учитывая особенности дистрибутива ALTLinux.

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

1383423611_IMGP9843 (650x435, 100Kb)

1383423675_IMGP9843_ (500x351, 59Kb)

Здорово, когда есть такая наглядная составляющая. Хотелось посмотреть больше, но показ был лишь затравкой на третий день. К сожалению, третий день мне пришлось пропустить.

Такой была Десятая конференция разработчиков Свободного программного обеспечения в Калуге.

Ссылка на материалы конференции

Тезисы http://www.altlinux.ru/fileadmin/news/10-conference-Kaluga-2013.pdf

Неформальный рассказ http://wiki.rosalab.ru/ru/index.php/%D0%91%D0%BB%D...BE%D1%81%D1%8B/OSSDEVCONF-2013

Рубрики:  Мысли о разном
Метки:  

Таковар   обратиться по имени Вторник, 05 Ноября 2013 г. 00:14 (ссылка)
Конференция "чисто для своих". Если и ехать туда, то только с собственным докладом.
Ответить С цитатой В цитатник
Мих-Мих   обратиться по имени Воскресенье, 10 Ноября 2013 г. 02:11 (ссылка)
Таковар, будет что-то интересное, так и сделаю.
Ответить С цитатой В цитатник
 

Добавить комментарий:
Текст комментария: смайлики

Проверка орфографии: (найти ошибки)

Прикрепить картинку:

 Переводить URL в ссылку
 Подписаться на комментарии
 Подписать картинку