Единое окно доступа к образовательным ресурсам

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

Голосов: 0

В книге собраны тезисы докладов, одобренных Программным комитетом десятой конференции разработчиков свободных программ, которая прошла в городе Калуге 20-22 сентября 2013 года.

Приведенный ниже текст получен путем автоматического извлечения из оригинального PDF-документа и предназначен для предварительного просмотра.
Изображения (картинки, формулы, графики) отсутствуют.
    АНО Институт логики, когнитологии и развития личности
                      ALT Linux




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



         Калуга, 20–22 сентября 2013 года




                Тезисы докладов




                       Москва,
                     Альт Линукс,
                         2013


УДК 004.91
ББК 32.97




   Десятая конференция разработчиков свободных программ: Тезисы
докладов / Калуга, 20–22 сентября 2013 года. М.: Альт Линукс, 2013.
  84 с. : ил.

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




ISBN 978-5-905167-14-0                  c Коллектив авторов, 2013


Программа
конференции
20 сентября
14:30-15:30 Регистрация участников

                                Дневное заседание
                                        15.30–18.40
15.30 А. Е. Новодворский. Вступительное слово
15.50–16.20       Д. В. Силаков
    ROSA Updates Builder автоматическое обновление
       пакетов из апстрима . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .             6
16.20–16.50       А. С. Черепанов
    Прошлое, настоящее и будущее школьного комплекта ALT
       Linux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   9
16.50–17.20       Ф. С. Занько
    О свободных форматах публикации результатов научных
        исследований . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .       11
17.20–17.40 Кофе-пауза
17.40–18.10       А. Г. Михеев
    Реализация алгоритма проверки ограниченности
        количества точек управления в свободной системе
        управления бизнес-процессами и административными
        регламентами RunaWFE . . . . . . . . . . . . . . . . . . . . . . . . . .                   15
18.10–18.40       А. И. Бодренко, И. И. Бодренко
    Система видеосвязи для невидимого интернета . . . . . . . . . . .                              21


4                                                             Программа конференции


21 сентября
                             Утреннее заседание
                                      10.00–13.20
10.00–10.30      М. С. Пожидаев
    Deepsolver: статус разработки и предложения . . . . . . . . . . . .                      22
    Deepsolver: development status and suggestions . . . . . . . . . . . .                   25
10.30–11.00      М. С. Пожидаев
    Luwrain: ОС для людей с проблемами зрения . . . . . . . . . . . .                        27
    Luwrain: text-based OS for blind persons . . . . . . . . . . . . . . . . .               30
11.00–11.30      И. С. Захаров
    Генерация модели окружения для статической
        верификации драйверов, состоящих из нескольких
        модулей ядра Linux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .       32
11.30–11.50 Кофе-пауза
11.50–12.20      П. С. Андрианов
    Оценка покрытия кода при статическом анализе . . . . . . . . .                           35
12.20–12.50      И. Ю. Власенко
    Облачный кластер автоматизации сопровождения пакетов .                                   38
12.50–13.20      А. В. Шабалин
    Systemd в ALTLinux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .     41
13.20–14.50 Перерыв на обед

                              Дневное заседание
                                      14.50–18.10
14.50–15.20      М. В. Быков
    Простой стек технологий для разработки SPA на
       coffeescript за 10 минут . . . . . . . . . . . . . . . . . . . . . . . . . . . .       45
15.20–15.50      Д. Костюк, А. Шитиков
    Оценка эффективности мультипрограммной работы
       оператора в современном графическом интерфейсе
       GNU/Linux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   51


Программа конференции                                                                                5


15.50–16.20 И. А. Хахаев, Д. Д. Державин
    Проблема доверенного компилятора в механизме
         сертификации ПО и поиск подходов к её решению . . . .                                       56
16.20–16.40 Кофе-пауза
16.40–17.10 М. А. Шигорин
    Производные решения: ALT Linux с перламутровыми
         пуговицами . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        58
17.10–17.40 М. А. Шигорин, Г. И. Фотенгауэр-Малиновский
    Крутим ARM в руках . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .               60
17.40–18.10 И. В. Воронин
    Образовательный проект по роботехнике УМКИ на основе
         СПО . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   63

22 сентября
                                 Утреннее заседание
                                          10.00–13.50
10.00-11.00 Мастер-класс И. Власенко
11.00-12.00 Мастер-класс И. Воронин
12.00–12.20 Кофе-пауза
12.20-13.50 Обсуждение

Вне программы
А. Н. Гороховский
     Поиск уравнений реакций и стехиометрических
          коэффициентов для произвольно заданной смеси
          веществ используя Chemistry::Harmonia . . . . . . . . . . . . .                            70
Я. Е. Резцов
     Реализация модуля проверки русской грамматики на
          основе программы LanguageTool . . . . . . . . . . . . . . . . . . . .                      79


6                                                              20 сентября



Денис Силаков
Москва, РОСА
Проект: Updates Builder
http://wiki.rosalab.ru/ru/index.php/Updates_builder

ROSA Updates Builder   автоматическое обновление
              пакетов из апстрима


                                 Аннотация
        Разработчики многих современных дистрибутивов стремятся пре-
    доставить пользователям как можно более широкий выбор ПО и соби-
    рают для своих систем тысячи пакетов с различными программными
    компонентами. Но мало собрать пакет с той или иной программой;
    необходимо поддерживать его в актуальном состоянии      в частности,
    вовремя обновляться на новые версии из апстрима. Помноженное на
    частые релизы в апстриме, большое количество пакетов в дистрибути-
    ве делает эту задачу достаточно ресурсоемкой. Однако процесс обнов-
    ления пакета во многих случаях тривиален и сводится к замене архива
    с исходным кодом. Поэтому представляется разумным автоматизиро-
    вать задачу мониторинга выхода новых версий в апстриме и их сборки
    в дистрибутив. Данный доклад посвящен инструменту Updates Builder,
    используемому для этих целей в РОСЕ.
Количество пакетов в современном дистрибутиве общего назначения
исчисляется тысячами. Но далеко не все из них монстры наподобие
LibreOffice, сборка и обновление которых может потребовать серьез-
ных усилий. Большинство пакетовэто небольшие программы, библио-
теки, модули интерпретируемых языков и прочие компоненты, кото-
рые собираются в дистрибутив с минимумом патчей, буквально парой
инструкций. Например, ROSA Desktop Fresh R1 содержит около 1,500
пакетов с модулями texlive, более 2,000 модулей Perl, сотни дополни-
тельных пакетов для R и так далее.
   Минорные обновления многих подобных компонентов выходят до-
статочно часто. Как правило, обновление пакета при этом сводится
к упаковке новой версии и базовой проверке того, что обновленный
пакет устанавливается и им можно пользоваться. В случае одного па-
кета это недолго скачать и запаковать новую версию можно за пять
минут. Однако на тысячу пакетов уйдет несколько рабочих дней. При


Дневное заседание (15.30–18.40)                                   7


этом простая перепаковка новых версий       занятие нудное и рутин-
ное, и тратить на него силы людей не представляется рациональным.
К тому же появление новых версий в апстриме надо своевременно
отслеживать, и делать это вручную тоже не очень разумно.
    Для облегчения жизни мэйнтейнеров, использующих среду сбор-
ки ABF (в настоящее время       прежде всего разработчиков ROSA и
OpenMandriva), мы разработали автоматический cервис отслежива-
ния и сборки новых версий ПО. Сервис состоит из двух компонентов
   инструмента мониторинга апстрим-версий и инструмента автома-
тической сборки этих версий на ABF.
    В роли первого инструмента выступает Upstream Tracker, который
в настоящее время также развивается РОСОЙ. Для целей сервиса ис-
пользуется его часть, отслеживающая актуальность версий пакетов в
РОСЕ и OpenMandriva Updates Tracker, который осуществляет мо-
ниторинг апстрима и всегда располагает сведениями о свежих версиях
ПО.
    Второй инструмент      это утилита Updates Builder. берущая на
вход имя пакета, запрашивающая Upstream Tracker на предмет нали-
чия новой версии в апстриме и в случае наличия таковой, пытающаяся
ее собрать на ABF. Перед сборкой в Git-репозитории соответствую-
щего проекта на ABF создается отдельная ветка, с которой и работает
Updates Builder. В spec-файле в этой ветке обновляются версия паке-
та и версия архива с исходным кодом и сбрасывается релиз. Новый
архив с исходным кодом помещается в файловое хранилище ABF (в
отличие от многих систем сборки, ABF хранит бинарные файлы на
отдельном файловом сервере, а в Git помещается только ссылка на
нужный файл).
    На основе данных из созданной ветки Git осуществляется попытка
собрать обновленный пакет. Сборка производится в отдельный кон-
тейнер, без публикации пакета в какой-либо репозиторий.
    Мэйнтейнеру пакета отсылается уже письмо о результатах сборки.
В случае успеха он может сразу переходить к проверке функциональ-
ности обновленной программы, и если его все устраивает, то перенести
новую версию из вспомогательной ветки Git в ветку, соответствую-
щую целевому репозиторию. В дополнение к этому, в случае успеш-
ной сборки Updates Builder автоматически формирует Pull Request
на перенос обновлений в основную ветку Git так что мэйнтейнеры
могут быстро просмотреть предлагаемые изменения и согласиться с
ними нажатием одной кнопки.


8                                                       20 сентября


    Updates Builder уже более полугода успешно используется в РО-
СЕ и OpenMandriva для отслеживания обновлений нескольких тысяч
пакетов. Практика его использования показывает, что один человек
вполне в состоянии обрабатывать до нескольких десятков пакетов
за неделю, не сильно отвлекаясь от других занятий. Это позволяет
повысить эффективность участия в поддержке дистрибутива людей,
которые могут выделить на такое участие достаточно ограниченное
количество времени.
    Одним из опасений, высказываемых в отношении подобного серви-
са, является соблазн полностью переложить процесс обновления паке-
тов на роботов, что может негативно сказаться на качестве системы
ведь ошибки будут выявляться уже после помещения пакетов в репо-
зитории. В РОСЕ с такой проблемой борются регламентными мерами
   обновления пакетов в main-репозиторий уже выпущенных релизов,
а также разрабатываемых релизов на стадии бета-тестирования, обя-
заны проходить через команду QA. И в интересах мэйнтейнера перед
отправкой обновления на проверку удостовериться в его корректно-
сти.
    Кроме того, полностью автоматическое обновление с использова-
нием Updates Builder возможно только в случае относительно неболь-
ших изменений, которые вряд ли нарушат совместимость с предыду-
щей версией. В случае серьезных изменений (например, нового soname
у библиотеки), мэйнтейнерам все равно придется вмешаться. И в та-
ких случаях все зависит от их добросовестности       ограничатся ли
они простым изменением soname в spec-файле или честно изучат про-
блемы, которые может такое изменение привнести. В конце концов,
сервис избавляет их от изрядной доли рутинной работы         так по-
чему бы не потратить освободившееся время на более тщательную
проверку новых версий?


Дневное заседание (15.30–18.40)                                     9


Черепанов Андрей Степанович
Москва, ALT Linux

      Прошлое, настоящее и будущее школьного
                комплекта ALT Linux


                               Аннотация
       Доклад посвящён истории разработки школьных комплектов ALT
   Linux и планам разработки комплекта Информика 7.0 Школьный.
   История дистрибутивов ALT Linux, предназначенных для общеоб-
разовательных школ, началась в 2001 году с выпуском ALT Linux 1.0.
После этого были выпущены версии 1.1 и 2.0. Очередной этап разра-
ботки продуктов для школ начался в 2007 году с разработкой ПСПО
(Пакета свободного программного обеспечения) по заказу Минобрна-
уки. Комплект, выпущенный в 2008 году, включал в себя три вида
дистрибутивов, предназначенных для разного уровня компьютеров,
терминального сервера на базе LTSP, дисков с документацией, в том
числе и методическими материалами. В 2009 году уже по собственной
инициативе выпускается Альт Линукс 5.0 Школьный, дополненный
серверным дистрибутивом с MediaWiki, Moodle, электронным жур-
налом РУЖЭЛЬ и сервером контентной фильтрации. Кроме того, в
комплекте появились диск со свободным программным обеспечением
под Windows и диск в видеоуроками, сделанными представителями
сообщества. В 2012 году совместно с ФГАУ ГНИИ ИТТ Информи-
ка выпускается комплект школьных дистрибутивов на базе Шестой
платформы. Теперь он уже состоит из одного серверного и трёх дис-
трибутивов для рабочих станций (один из которых предназначен для
учителя).
   В настоящий момент ALT Linux совместно с ФГАУ ГНИИ ИТТ
 Информика готовят новый комплект школьных дистрибутивов.
Он, как и предыдущий комплект, состоит из четырёх дистрибутивов
(одного серверного, десктопных дистрибутивов для учителя и для
учеников с XFCE, а также десктопного дистрибутива для мощных
компьютеров на базе KDE4. Перед комплектом ставились следующие
задачи:
   • Нулевая стоимость пользовательских лицензий.
   • Возможность централизованного управления учебным классом.


10                                                       20 сентября


     • Централизованное управление аутентификацией через сервер
       каталогов.
     • Прозрачное использование сетевых ресурсов в режиме Single
       Sign-On.
     • Возможность сетевой загрузки бездисковых клиентов с сохра-
       нением данных на сервере.
     • Дистрибутивы должны содержать достаточное количество сво-
       бодного программного обеспечения для организации учебной де-
       ятельности по образовательным стандартам.
     • Комплект должен быть максимально локализован на русский
       язык.
Планируемые изменения в седьмой версии:
     • Обеспечена возможность установки в режиме UEFI (для 64-
       разрядных версий).
     • При установке профиля сервера Информика 7.0 Школьный Сер-
       вер используется система инициализации SysVinit, при установ-
       ке этого дистрибутива как рабочей станции и остальных дис-
       трибутивов комплекта     Systemd. При выборе групп пакетов
       можно поменять систему инициализации.
     • Обеспечена поддержка IPv6 (в т.ч. в Etcnet, модулях системы
       конфигурирования Alterator).
     • Домен можно использовать для аутентификации компьютеров
       под управлением Windows.
     • Обеспечена возможность установки на зашифрованные разделы
       (требуется незашифрованый /boot) с помощью LUKS.
     • Улучшена поддержка исполнения 32-разрядных приложений в
       64-разрядной среде.
     • Обеспечена работа нативной версии 1С:Предприятие из короб-
       ки .
     • Улучшена отрисовка шрифтов (новый fontconfig и патчи от
       infinality.net).
     • Централизованное резервное копирование компьютеров под
       управлением как Linux, так и Windows с помощью Bacula
     • В серверный дистрибутив добавлен Школьный портал .



    
Яндекс цитирования Яндекс.Метрика