ОТЧЕТ О КОНФЕРЕНЦИИ

11 декабря 2014 г. Институт системного программирования РАН и группа ИТ-компаний DZ Systems провели Первую научно-практическую конференцию OS Day «Операционные системы».

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

В открытии OS Day принял участие Министр связи и массовых коммуникаций РФ Николай Никифоров. Глава Минкомсвязи выступил с предложением совместно проработать механизмы государственной поддержки разработок операционных систем, уточнив, что поддержка не может быть адресована одному предприятию: «Необходимо выработать модель, в рамках которой свои усилия по разработке консолидирует целый ряд игроков рынка. В результате чего возникает базовый продукт, который участники объединения - как государственные, так и частные разработчики - впоследствии могут развивать и коммерциализировать в рамках своих более крупных проектов». Николай Никифоров предложил участникам конференции обсудить идею создания совместного сообщества по разработке системного ПО, в котором компания-участники выделяют свои кадровые ресурсы на подготовку определенных совместных проектов. При этом сообщество устанавливает правила вознаграждения разработчиков из специализированного фонда, который будет поддерживаться государством.

В работе конференции участвовало значительное число российских специалистов IT-отрасли, самостоятельно разрабатывающих системное и инструментальное программное обеспечение. Среди них были специалисты из таких компаний, как VMware, Parallels, Quantiex, РусБИТех, Kaspersky Lab, МТС, ЗАО «МЦСТ», а также представители НИИ и университетов - МГУ, СПбГУ, ИТМО, НИИСИ РАН, МФТИ, МИРЭА и др.

С краткими сообщениями о текущих проектах выступили Владимир Рубанов, президент и генеральный конструктор компании РОСА. На примере операционных систем ROSA он представил модель создания технологически независимого ПО путем комбинирования открытых международных компонентов с собственными разработками. Илья Мезенцев, представлявший отдел разработки программных продуктов ОАО «РПКБ», посвятил свое выступление созданной РПКБ операционной системе РВ RelMK, которая используется более чем в 10 модификациях БЦВМ летательных аппаратов. Алексей Новодворский, заместитель генерального директора ООО «Альт Линукс», рассказал о компонентах дистрибутива ALT Linux, которые поддерживают эксплуатацию этой ОС в крупных заказчиках через инфраструктуру группового управления и настройки системы и приложений через сеть.

В основной части конференции заведующий отделом системного программирования НИИСИ РАН Александр Годунов рассказал о российской операционной системе реального времени Багет, активно развивающейся уже более десяти лет. Алексей Хорошилов, ведущий научный сотрудник ИСП РАН, представил спектр технологий тестирования и формальной верификации операционных систем, разработанных в ИСП РАН, и описал опыт их применения. Михаил Филиппов, руководитель проекта Parallels Containers for Windows в Parallels, рассказал о технических тонкостях реализации технологии контейнеров, работающей в среде Windows. Александр Тормасов, один из создателей технологии, поделился своими воспоминаниями об истории проекта, и выводами, полученными на основе опыта разработки контейнеров для Linux и Windows. Специалисты ЗАО «МЦСТ» Евгений Кравцунов и Константин Трушкин обрисовали актуальное состояние семейства процессоров «Эльбрус» и достижения МЦСТ, в частности, в области снижения энергопотребления последних версий процессора. Антон Бондарев, технический руководитель проекта EMBOX, рассказал о создании в СПбГУ конструктора операционных систем для встроенных систем. Генеральный директор группы ИТ-компаний DZ Systems, инициатор и соорганизатор OS Day Дмитрий Завалишин сделал технический доклад о строении ядра разработанной им операционной системы «Фантом».

Конференция показала, что в отрасли имеется значительный интерес к развитию известных операционных систем, а также ведется достаточно много разработок собственных операционных систем, в первую очередь - специализированных ОС реального времени. Практически все участники указали на необходимость тесных связей российских проектов с международными открытыми проектами, посвященными созданию операционных систем, с международными комитетами и сообществами, развивающими стандарты в области операционных систем, и с проектами по созданию и развитию инструментов поддержки жизненного цикла операционных систем, в частности, поддержки верификации и сертификации системного программного обеспечения. Было подчеркнуто, что работы в области операционных систем следует координировать, используя механизм рабочих групп при Министерстве связи и массовых коммуникаций РФ. Помимо задач разработки и развития ОС было предложено консолидировать усилия в сфере обучения молодых специалистов и поддержки экспериментальных разработок операционных систем и технологий их создания и эксплуатации.

Принято решение в конце мая 2015 г. провести расширенную выездную конференцию OS Day «Операционные системы – исследования и разработки». Планируется, что она будет состоять из двух частей: технологической, где будут обсуждаться методы разработки и обучения в области операционных систем, и деловой, посвященной решению бизнес-задач разработчиков и пользователей технологий системного программирования.

Программа

  • 9.30 - 10.00. Регистрация
  • 10.00. - 11.45. Открытие конференции, анонсы проектов
    avatar
    Директор ИСП РАН
    Иванников В. П.
    avatar
    Министр связи и массовых коммуникаций РФ
    Никифоров Н. А.
    Краткие сообщения о текущих проектах
    avatar
    Линейка операционных систем ROSA
    Владимир Рубанов
    В докладе будут рассмотрены вопросы создания отечественных программных продуктов на основе компонентов с открытым кодом как эффективного механизма импортозамещения, позволяющего строить технологически независимые системы гораздо быстрее, чем при разработке "с нуля". Такой подход позволяет в "мирное время" пользоваться постоянно возникающими новыми достижениями мирового прогресса, одновременно сохраняя контроль над полным результатом. Будут рассмотрены необходимые условия, ресурсы и технологические процессы, которые должен обеспечивать локальный производитель/крупный пользователь для обеспечения достаточной независимости, позволяющей локально развивать, исправлять и поддерживать продукты даже в гипотетических условиях полной международной изоляции. Подробнее
    avatar
    Операционные системы, применяемые в изделиях ОАО “РПКБ”
    Илья Мезенцев
    Разработанная ОАО «РПКБ» ОС РВ RelMK 32 используется в настоящее время более чем в 10 модификациях БЦВМ и других бортовых систем в составе бортового радиоэлектронного оборудования летательных аппаратов. Развитие средств вычислительной техники и увеличение номенклатуры применяемых микропроцессоров ставит перед ОАО «РПКБ» задачу стандартизации программного обеспечения, в том числе и ОС РВ. В докладе рассматриваются пути решения этой задачи и трудности, которые возникли перед ОАО «РПКБ».Подробнее
    avatar
    ОС Embox: решение для встроенных систем
    Антон Бондарев
    В докладе будет раскрыты аспекты разработки встроенного ПО на примере ОС реального времени Embox, разрабатываемого на математико-механическом факультете СПбГУ. Embox — открытая операционная система реального времени, поддерживает шесть процессорных архитектур (x86, ARM, MIPS, Microblaze, SPARC, PPC), сетевой стек, несколько файловых систем(FAT, ext2/3/4, jffs2, nfs), несколько языков программирования (java, python, lua, lisp, C/C++) и применяется в различного рода встроенных и телекоммуникационных устройствах, например, маршрутизаторах, потоковых шифраторах, контроллерах управления светодиодами. Доклад основан на проблемах, с которыми приходилось сталкиваться участникам проекта Embox, поскольку проект существует уже пять лет, и он использовался в различных областях, спектр вопросов довольно широкий.Подробнее
    avatar
    Свободная реализация ARINC-653-совместимой ОС реального времени
    Алексей Хорошилов
    avatar
    Проект ALT Linux
    Алексей Новодворский
    Проекту ALT Linux в начале будущего года исполняется 14 лет. В сообщении будет рассказано про инфраструктуру проекта, принципы организации и разработки, основные продукты,перспективы. Особо обсуждаются дистрибьюция решений, поддержка аппаратных платформ, задачи разработки клиентских ОС и решений масштаба предприятия.Подробнее
  • 11.45-12.15. Кофе-брейк
  • 12.15-14.15. Промышленные операционные системы
    avatar
    Операционная система реального времени Багет 3.0
    Александр Годунов
    Операционная система реального времени Багет 3.0 предназначена для разработки систем жесткого реального времени. ОС РВ Багет 3.0 является развитием ОС РВ Багет 2.0, которая используется с 2000 г. в более чем 100 организациях. Багет 3.0 также как ОС РВ Багет 2.0 предоставляет пользователю интерфейс, базирующийся на широко распространённом в настоящее время стандарте POSIX 1003.1. Кроме того Багет 3.0 поддерживает более современную спецификацию ARINC 653, разработанную специально для систем реального времени.Подробнее
    avatar
    Контейнеры для Windows: за 10 лет до Microsoft
    Михаил Филиппов
    В начале октября 2014 года Microsoft объявила о партнерстве с Docker, в рамках которого будет представлена реализация контейнеров для будущей версии ОС Windows Server, ожидаемая в 3 квартале 2015 года. Для поддержки контейнеров Microsoft воспользуется собственной технологией, разработанной в исследовательском проекте Drawbridge. Технология виртуализации Drawbridge похожа на технологию, применяемую в проекте Wine, позволяющем запускать приложения Windows на компьютерах с UNIX-подобными операционными системами. Ключевая особенность обеих технологий заключается в том, что виртуализация аппаратуры (процессора, памяти, устройств ввода-вывода) не требуется, а эмулируется исключительно исполняемая среда ОС Windows. Преимущество такого подхода - в относительно небольших затратах на виртуализацию и возможность реализовать контейнеры исключительно в пользовательском режиме исполнения ОС. К недостаткам можно отнести трудности в обеспечении совместимости приложений, ведь для этого необходимо эмулировать весь Windows API, который на данный момент насчитывает тысячи вызовов. Проблемы, решением которых могли бы стать контейнеры, появились не сегодня, да и собственно сами контейнеры в ОС на базе ядра Linux успешно используются уже многие годы. Пионером и лидером в продвижении контейнерных технологий является компания Parallels, которая, помимо продуктов для Linux, вот уже без малого 10 лет предлагает свою собственную реализацию контейнеров для Windows. Подход, реализованный в Parallels, основан на виртуализации ядра ОС, которое может запускать произвольное количество пользовательских сред Windows, доступных по сети и по протоколу RDP. Это и есть Parallels-контейнеры для Windows.Подробнее
    avatar avatar
    Операционная система Эльбрус и микропроцессоры серии Эльбрус в бортовых системах реального времени. Технические подробности, возможности и перспективы развития.
    Константин Трушкин и Евгений Кравцунов
    В докладе речь пойдет о возможности применения микропроцессоров Эльбрус в бортовых системах и исследованиях особенностей реализации ОС реального времени, проведенных в этом направлении в компании МЦСТ.
    Будет рассказано о линейке процессоров Эльбрус, их архитектуре и характеристиках.
    Приводятся результаты измерений производительности на универсальных бенчмарках, полученные для микропроцессоров "Эльбрус-2С+". Обсуждается поддержка управления энергопотреблением и проблемы реализации операционной системы реального времени на архитектуре с относительно большим характерным временем входа в прерывание.
    Также речь пойдёт о технологии защищённых вычислений, предоставляющей уникальные возможности по обеспечению информационной безопасности. Доклад также описывает варианты использования защищенного режима на уровне операционной системы.Подробнее

    Операционная система Эльбрус и микропроцессоры серии Эльбрус в бортовых системах реального времени

    ОC РВ Эльбрус в бортовых системах реального времени

  • 14.15 - 15.15. Перерыв на обед
  • 15.15-16.45. Инструментарий и экспериментальные операционные системы
    avatar
    Верификация операционных систем в ИСП РАН
    Алексей Хорошилов
    В докладе будет представлен опыт ИСП РАН по разработке и применению различных методов верификации операционных систем. В число рассматриваемых входят следующие направления: - статическая верификация модулей ядра ОС Linux - дедуктивная верификация компонентов ядра ОС Linux: - систематическое тестирование устойчивости к сбоям ядра ОС; - функциональное тестирование на основе моделей; - статические и динамические методы поиска гонок в ядре; - статические и динамические методы верификации стабильности; программного интерфейса ОС; - оценка накладных расходов ОС.Подробнее
    avatar
    Операционная система Phantom OS
    Дмитрий Завалишин
    ОС Фантом — операционная система с открытым исходным кодом, разрабатываемя компанией Digital Zone. Система базируется на концепции неизбывной (persistent) виртуальной памяти, ориентирована на управляемый (managed) код и нацелена на применение в носимых и встроенных компьютерах. ОС Фантом не опирается на классические концепции Unix-подобных систем. В отличие от их концепции «всё есть файл», Фантом базируется на принципе «всё есть объект». Основные отличительные черты операционной системы Фантом. Управляемый код, защита памяти на уровне объекта (а не процесса). Отсутствие арифметики указателей в управляемом коде. Глобальное адресное пространство, весьма эффективные и дешёвые IPC. Персистентность - прикладной код «не видит» перезагрузок ОС и может жить вечно, отсюда отсутствие потребности в понятии «файл» - любая переменная или структура данных может храниться вечно и при этом быть доступна напрямую по указателю. В настоящий момент система существует в виде альфа-версии для процессора ia32. В работе — перенос на процессор ARM и начат перенос на MIPS и amd64.Подробнее
  • 16.45-17.15. Кофе-брейк
  • 17.15-19.00. Общая дискуссия, закрытие конференции

Организаторы

Партнёры

Информационные партнеры

Информация

Уважаемые коллеги! Для прохода в здание ИСП РАН просим принести документ, удостоверяющий личность.