Семинар в мае 2015 года

Уважаемые слушатели семинара ТРАП!

В связи с тем, что 20-21 мая 2015 в МИЭМ НИУ ВШЭ проходит Четвертая научно-практическая конференция «Актуальные проблемы системной и программной инженерии» (АПСПИ - 2015) очередное заседание семинара в МГУ не состоится.

Все желающие приглашаются принять участие в данной конференции. Для оформления пропуска на проход в здание МИЭМ необходимо до 15 мая зарегистрироваться на сайте конференции http://ir.miem.edu.ru/.

Leave a comment

16 апреля: Как разрабатывать коммерческое программное обеспечение с высокой долей инноваций (на примере Parallels Cloud Server)

Дмитрий Мишин

Дмитрий Мишин — руководитель проектов в департаменте серверной виртуализации Parallels. Выпускник кафедры «Системное программирование» МФТИ при ИСП РАН. С 2004 года продолжил заниматься системным программированием в компании Parallels. С 2006-го года занимается руководством проектов в области серверной виртуализации.

Сергей Бронников

Сергей Бронников — руководитель отдела тестирования продуктов серверной виртуализации Parallels Cloud Server и Parallels Containers for Windows. Работает в компании Parallels с 2005 года. Начинал как тестировщик в команде тестирования Parallels Desktop для Mac, потом организовывал с нуля тестирование решение серверной виртуализации Parallels Server Bare Metal 4.0. В области интересов Сергея - тестирование в открытых проектах, улучшение качества открытого ПО.

Parallels Cloud Server (Odin) — это коммерческий продукт для компаний, предоставляющих услуги хостинга. Объединяет в себе гипервизорную и контейнерную виртуализации. Проект существует 5 лет и за это время трансформировался не только продукт, но и процессы и инструменты разработки. В докладе будет рассказано о том, с какими проблемами столкнулись его разработчики за это время и как они их решали.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Leave a comment

19 марта: Первая отечественная сетевая ОС с открытым кодом

Александр Шалимов

Александр Шалимов

Шалимов Александр Владиславович — ведущий программист-исследователь Центра Прикладных Исследований Компьютерных Сетей (ЦПИКС) и младший научный сотрудник МГУ имени М.В. Ломоносова. Окончил факультет ВМК МГУ, кандидат физико-математических наук. В 2010 году прошел стажировку в Microsoft Research (США), где занимался разработкой компилятора для многоядерного процессора нового поколения. С 2011 по 2012 год в качестве приглашенного научного сотрудника работал в Microsoft Research (США), где занимался разработкой системы выполнения программ для процессора нового поколения. В данный момент ведет научные исследования и разработку в области программно-конфигурируемых систем: распределенная сетевая операционная система, высокопроизводительный виртуальный программный коммутатор, виртуализация сетей и сетевых функций.

Область научных интересов — это компьютерные сети, архитектуры вычислительных систем и компиляторы: программно-конфигурируемые сети, многоядерная обработка пакетов, распределенные системы, системы поддержки исполнения программ, компактное представление программ, энергоэффективное выполнение программ.

В докладе пойдет речь о проекте RUNOS - сетевой ОС для программно-конфигурируемых сетей. Проект находится в открытом доступе arccn.github.io/runos.
Будут освещены принятые технические решения, которые позволили создать удобную сетевую ОС для программиста. Так же пойдет речь о перспективных приложениях сетевой ОС и вариантах применения совместно с сетями традиционной архитектуры.
RUNOS уже используется в университетах и в промышленности (сервис провайдеры, телеком операторы, ЦОД) для создания пилотных зон по внедрению подхода к программному управлению компьютерными сетями.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Leave a comment

19 февраля: Модульная операционная система ответственного применения (МОС ОП)

Александр Фролов

Александр Фролов

Фролов Александр Сергеевич — инженер-программист ООО «ВАИС-Техника» (Компания Wise Technique). Закончил МФТИ. Его опыт включает такие проекты как система объективного контроля RRJ-express (ЗАО «Гражданские самолеты Сухого») и перспективное информационно-управляющее поле кабины самолёта (ФГУП «Пилотажно-исследовательский центр»). Результаты по последнему из проектов тестировались на летающей лаборатории Су-30 и представлялись на международных авиационных выставках: международный авиационно-космический салон (МАКС, Жуковский), Авиасвит (Киев).

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

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Leave a comment

22 января: Система NPS: альтернативный подход в имитационном моделировании компьютерной сети

Виталий Антоненко

Виталий Антоненко

Антоненко Виталий Александрович — кандидат физико-математических наук, младший научный сотрудник МГУ имени М.В. Ломоносова, сотрудник ЦПИКС (Центра Прикладных Исследований Компьютерных Сетей). Его опыт включает научные проекты в области имитационного моделирования и сетевой безопасности в лаборатории вычислительных комплексов факультета ВМК МГУ имени М.В. Ломоносова, а также опыт преподавания «практикума по настройке сетевого оборудования» для студентов. Основные научные интересы: сетевая безопасность, моделирование компьютерных сетей, компьютерных вирусов, сетевых червей, сетевых протоколов, распространения вредоносного ПО, имитационного моделирования.

Open-source система Network Prototype Simulator (NPS) позволяет всего лишь на кластере компьютеров или серверов воспроизводить глобальные компьютерные сети до десятков тысяч хостов. Идея создания системы, позволяющей воспроизводить сети глобальных масштабов, появилась во время проведения эксперимента с распространением вредоносного программного обеспечения (ВПО). При подобных исследованиях важна точность прогнозирования последствий распространения таких программ, которая при использовании стандартного подхода имитационного моделирования не достигается, а на реальном оборудовании такие эксперименты ставить опасно. Поэтому было решено разработать систему, позволяющую проводить такие тесты с максимальной достоверностью, но с минимальными ресурсами и минимальным ущербом для реального оборудования.

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

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

1 Comment

18 декабря: Операционная система «Реактос»

Брагин Алексей Владимирович

Брагин Алексей Владимирович

Брагин Алексей Владимирович — президент Фонда «Реактос». Выпускник МГТУ им. Н.Э.Баумана – окончил магистратуру кафедры ИУ7, а затем и аспирантуру.

Начал заниматься операционными системами с 2002 года внеся значительный вклад в развитие проекта ReactOS, где занимался непосредственно разработкой ядра и остальных частей ОС, а затем был избран координатором проекта, а также стал одним из учредителей и президентом фонда «Реактос». Представлял проект на многочисленных международных выставках и конференциях.

Алексей ведёт учебную и научную работу, напрямую связанную с операционными системами – разработан и читается в МГТУ им. Н.Э.Баумана на кафедре ИУ9 собственный курс лекций и лабораторных работ, проводится ряд научно-исследовательских проектов, в том числе в сотрудничестве с университетами в Бельгии и Франции. Область научных интересов: функциональное и логическое программирование, операционные системы, криптография, экономика.

ReactOS – это операционная система с открытым исходным кодом, которая максимально похожим образом реализует архитектуру ОС семейства Windows NT и обеспечивает совместимость с существующим программным обеспечением, оборудованием и драйверами, созданными для операционных систем Windows NT 5.0.

В докладе будут рассмотрены основные технические аспекты разработки операционной системы ReactOS, а также приведён пример использования трёх независимых проектов (ReactOS, Wine, X Windows) для создания альтернативной реализации подсистемы Win32, которая может быть использована как в ReactOS, так и в самой Windows, например, для построения виртуальных сред для выполнения Win32-программ.
Более подробную информацию о ReactOS можно найти на сайте http://www.reactos.org, а об Win32-подсистеме Arwinss на сайте http://winehq.org.ru/ARWINSS

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

3 Comments

20 ноября: Операционная система Фантом ОС

Дмитрий Завалишин

Дмитрий Завалишин

Завалишин Дмитрий Константинович — совладелец и руководитель компании «Digital Zone». В различное время был держателем гейта из Фидонет в Интернет на узле (5020/128), модератором ряда эхоконференций Фидонет, в том числе su.os2.*, создателем проекта «прописи», создателем сетевого журнала «dz-online». После покупки в 2002 Яндексом «dz-онлайн» Дмитрий Завалишин работал в Яндексе, принимал активное участие в проекте «Яндекс-гуру». В 2003 году создал проект «Яндекс-маркет», совмещавший функции проектов «Яндекс-товары» и «Яндекс-гуру». В августе 2005 года Дмитрий Завалишин основал компанию Digital Zone, http://dz.ru/, занимающуюся веб-проектами, программными продуктами для сотовых телефонов, десктопными, веб и серверными приложениями.

Фантом ОС — операционная система с открытым исходным кодом, разрабатываемая российской компанией Digital Zone. Система базируется на концепции неизбывной (persistent) виртуальной памяти, ориентирована на управляемый (managed) код и нацелена на применение в носимых и встроенных компьютерах. Фантом ОС не опирается на классические концепции Unix-подобных систем. В отличие от их концепции «всё есть файл», Фантом ОС базируется на принципе «всё есть объект».
Основные отличительные черты Фантом ОС:

  • Управляемый код, защита памяти на уровне объекта (а не процесса). Отсутствие арифметики указателей в управляемом коде.
  • Глобальное адресное пространство, весьма эффективные и дешёвые IPC.
  • Персистентность — прикладной код «не видит» перезагрузок ОС и может жить вечно — отсюда отсутствие потребности в понятии «файл» — любая переменная или структура данных может храниться вечно и при этом быть доступна напрямую по указателю.

В настоящий момент система существует в виде альфа-версии для процессора ia32. В работе — перенос на процессор ARM и начат перенос на MIPS и amd64.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Leave a comment

16 октября: Состояние и перспективы развития суперкомпьютерных технологий, актуальные задачи.

Скачать слайды к выступлению

Леонид Константинович Эйсымонт

Леонид Константинович Эйсымонт

Эйсымонт Леонид Константинович — научный консультант предприятия ФГУП «НИИ “Квант”». Выпускник Московского Инженерно-Физического Института (1973, МИФИ), к.ф.-м.н. (1983, ИПМ им. М.В. Келдыша АН СССР). Область научных интересов — архитектура и программное обеспечение, элементно-конструкторская база суперкомпьютеров разного типа высшего диапазона производительности, обработка символьной информации, функциональные и непроцедурные языки программирования.

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

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Leave a comment

22 мая: Генерация кода как задача математического программирования

Самборский Сергей Владиславович

Самборский Сергей Владиславович

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

Традиционно генерация кода для линейного или циклического участка программы делится в компиляторах на три последовательно выполняемые задачи: выбор инструкций процессора, составление расписания и распределение регистров.
Этот подход обеспечивает качественный код как для традиционных RISC-процессоров с «однородной/симметричной» системой команд и большим числом взаимозаменяемых регистров, так и для современных процессоров, выполняющих распараллеливание и переупорядочивание выполнения команд собственным планировщиком, а также имеющих необходимый для этого механизм переименования регистров.
С другой стороны, последовательный подход к генерации кода плохо приложим к процессорам для встроенных систем и обработки сигналов. Эти процессоры обычно имеют короткие команды, а значит не позволяют использовать большое количество регистров, и не имеют механизмов переименования и переупорядочивания. Кроме того, для них характерны специализированные расширения системы команд.
Предлагается подход, основанный на том, что задачи выбора команд (из некоторого заранее подготовленного множества) и составления расписания могут быть вместе сформулированы на языке целочисленного линейного программирования (ЦЛП). Кроме того, можно сразу учитывать ограничение на число используемых регистров разных типов, так чтобы сделать тривиальным последующее распределение регистров. Более того, включив в исходное множество команд инструкции для сохранения и восстановления виртуальных регистров, можно при нехватке физических регистров автоматически получить оптимальный spill-код.
Среди преимуществ данного подхода можно указать: наиболее полное использование параллельного исполнения инструкций процессором, возможность автоматически использовать специализированные проблемно-ориентированные расширения системы команд процессора, и, в некоторых ситуациях, оптимизацию вычисления преобразованиями, основанными на математических тождествах.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Leave a comment

17 апреля: Расширяемые программы

Горбунов-Посадов Михаил Михайлович (фото)

Горбунов-Посадов Михаил Михайлович

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

В основе расширяемых программных конструкций лежат два взаимосвязанных постулата: (1) Любая точка роста программы представима в форме расширяемого набора однородных модулей. (2) Любое эволюционное изменение программы представимо в форме совокупности модулей, предназначенных для пополнения одной или нескольких точек роста. Иначе говоря, ключом к построению расширяемой программы служит девиз «Ищи однородность — найдешь расширяемость».

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Leave a comment