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

20 марта: Построение расписаний для строго-периодических систем реального времени

Сергей Зеленов

Зеленов Сергей Вадимович

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

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

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

Leave a comment

20 февраля: Интерактивный алгоритм составления тестовых случаев

Федор Строк

Федор Строк

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

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

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

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

4 Comments

19 декабря: Верификация параллельных программ в случае слабой консистентности памяти (по-английски)

Roland Meyer

Roland Meyer

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 (не забудьте взять с собой паспорт).

2 Comments