Брагин Алексей Владимирович — президент Фонда «Реактос». Выпускник МГТУ им. Н.Э.Баумана – окончил магистратуру кафедры ИУ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 (не забудьте взять с собой паспорт).

Завалишин Дмитрий Константинович — совладелец и руководитель компании «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 (не забудьте взять с собой паспорт).

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

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

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

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

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

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

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

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

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

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

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

В докладе будут представлены результаты исследований в области построения расписаний для строго-периодических систем реального времени. Соответствующий программный компонент включен в разрабатываемую в ИСП РАН совместно с ГосНИИАС открытую систему поддержки проектирования и верификации комплексов бортового авиационного оборудования MASIW (Modular Avionics System Integrator Workplace).

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

Строк Федор Владимирович — выпускник совместной магистерской программы Высшей Школы Экономики и Яндекса «Анализ Интернет Данных». В данный момент аспирант отделения прикладной математики и информатики НИУ-ВШЭ. Работает старшим инженером по автоматизации тестирования в группе тестирования баннерной системы Яндекса.

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

Сейчас существует два основных подхода к построению тестовых случаев: ручной и автоматический перебор (pairwise, n-wise). Во втором случае сложно восстановить, как именно были получены тестовые случаи. Предлагается интерактивный алгоритм, который позволяет использовать преимущества обоих подходов. Алгоритм основан на математическом аппарате анализа формальных понятий. В докладе будут рассмотрены несколько примеров использования предлагаемого подхода.

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

Roland Meyer - профессор-ассистент теоретической информатики, руководитель группы теории параллельного программирования (Технический университет Кайзерслаутерн). Он окончил Университет Ольденбурга (Германия) и там же получил степень кандидата наук. Проходил стажировку в LIAFA (Laboratoire d’Informatique Algorithmique: Fondements et Applications), Париж.

Научные интересы: автоматизация верификации программ, формальные языки, моделирование параллельных систем (в основном, это модели с бесконечным числом состояний для реконфигурируемых сетей в случае слабой модели памяти).

Последовательная консистентность (sequential consistency) - одна из наиболее очевидных и простых моделей разделяемой памяти. В этой модели операции атомарны и выполняются в порядке их вызова. Программисты зачастую предполагают, что их программы выполняются именно с последовательной консистентностью, однако для современных вычислительных систем это не так. Аппаратура на основе слабой консистентности (relaxed memory models) зачастую работает более эффективно, т.к. она может применять такие оптимизации как внеочередное выполнение (out-of-program-order) и non-store atomic executions. Однако программы, корректные в случае последовательной консистентности, могут вести себя неправильно в случае слабой консистентности. Последнее время всё больше и больше используется такая аппаратура (например, многоядерные процессоры), что делает проблему написания корректной программы в случае слабой консистентности всё более актуальной.

В этом докладе будет представлен обзор достижений в области верификации параллельных программ в случае слабой консистентности. Главный акцент будет сделан на модель Total Store Ordering, которая была реализована в процессорах семейства x86. Будет рассмотрена проблема достижимости, т.е. проверки того, что во время выполнения заданная программа может прийти в некоторое состояние (памяти). Кроме того, будет рассмотрена проблема определения того, соответствует ли выполнение программы в случае слабой консистентности выполнению в случае последовательной консистентности. Будет показано, что обе проблемы разрешимы, но сложность решения может сильно отличаться для разных классов параллельных программ.

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

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

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

Программно-конфигурируемые сети (software defined network) — новая концепция управления компьютерными сетями. ПКС — это разделение процессов передачи и управления данными, централизация управления сетью при помощи унифицированных программных средств, виртуализация физических сетевых ресурсов. Технология сравнительно недавно вышла из лабораторных исследований в индустрию, но при этом уже сейчас прогнозируют, что рынок ПКС-решений будет показывать темпы роста не менее 60 % в год и к 2018 г. достигнет объема $35 млрд (с текущих $252 млн). При этом на рынке пока отсутствуют единые стандарты и слишком много информации, которая мешает реально оценить состояние дел. В рамках данного семинара будет рассказано о технологии ПКС и проведена демонстрация работы ПКС-решений для модельной сети.

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

Семинар «Технологии разработки и анализа программ» продолжает свою работу в 2013 году.

Сартаков Василий Андреевич - аспирант МИФИ (факультет кибернетики и информационной безопасности), более пяти лет разработок в области встраиваемых и высокопроизводительных систем. Специалист по операционным системам, контрибьютор в нескольких Open Source проектах, с 2011 - развивает RnD подразделение в ksys labs.

Идея микроядерных систем, то есть систем, где большая часть функциональности ядра исключена из привилегированного режима, зародилась в начале 70-х годов. С тех пор было произведено множество попыток реализовать высокопроизводительное микроядро. Известным микроядерным проектом был проект Mach, впоследствии GNU/Mach, разрабатываемый в начале 90-х. Это ядро демонстрировало существенную деградацию производительности в сравнении с монолитно-модульными системами типа Linux. В конце 90ых появилась концепция микроядра L4, представленная в соответствующей спецификации. В соответствии с этой спецификацией, в течение последнего десятилетия разрабатывалось множество проектов таких как L4Ka::Pistachio, L4/Fiasco, SeL4, L4.Verified, L4Re/Fiasco.OC и другие.
Параллельно с развитием проектов архитектуры L4 были реализованы другие микроядерные операционные системы, например Barellfish и Microsoft Singularity. Эти операционные системы не получили такое распространение как L4 (например, компания Qualcomm активно использует L4 в своих платформах), но обладают специфическими особенностями архитектур и реализаций.
Доклад посвящен обзору некоторых исследовательских микроядерных проектов последнего десятилетия, их архитектурам и особенностям применения.

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