|
Серия семинаров "Проблемы информационной безопасности". Доклады специалистов кафедры 12 НИЯУ МИФИ. "Скрипт-вирусы Linux". На семинаре присутствовало 25 специалистов. В докладе Михайлова Д.М., аспиранта кафедры компьютерных систем и технологий НИЯУ МИФИ, была обоснована реальность новых видов атак на программные системы со стороны внутреннего нарушителя, особенно значимая для систем специального назначения. Отмечалась ошибочность точки зрения, согласно которой скрипт-вирусы не могут получить в системе привилегированных прав, а значит, не способны причинить существенный вред. Приведены результаты исследования механизмов функционирования скрипт-вирусов командных интерпретаторов ОС семейства UNIX. При этом выделены три класса базовых функциональных возможностей РПВ:
Были проанализированы и классифицированы возможные приемы, которыми могут воспользоваться создатели скрипт-вирусов. Семинар признал целесообразным провести анализ рассмотренных типов вредоносных программ и методов защиты от них применительно к архитектуре "Эльбрус".
Серия семинаров "Проблемы информационной безопасности. Доклады специалистов кафедры 12 НИЯУ МИФИ." Семинар по теме «Уязвимости программных систем, создающие предпосылки для атак, основанных на вставке кода» На семинаре присутствовал 41 специалист. В докладе аспиранта кафедры компьютерных систем и технологий Гурова Д.В. было продолжено рассмотрение классов уязвимостей, возникающих вследствие недостаточного контроля за вводимыми данными. Особенности реализации механизма выполнения программы, а также взаимодействие процесса с ресурсами операционной системы в ряде случаев даёт злоумышленнику возможность внедрить и выполнить в системе вредоносный код, либо же изменить нежелательным способом ход выполнения программы. Возможность таких вмешательств можно пресечь ещё на этапе написания исходного кода путём применения методов безопасного программирования. В ходе доклада были продемонстрированы модели уязвимых программ и эксплойтов, использующих уязвимости для нанесения ущерба целевой системы. Также были охарактеризованы методы устранения уязвимостей и показаны примеры безопасных программ. Семинар признал целесообразным провести анализ рассмотренных категорий уязвимостей и методов их устранения применительно к архитектуре «Эльбрус».
Серия семинаров "Проблемы информационной безопасности. Доклады специалистов кафедры 12 НИЯУ МИФИ." Семинар по теме "Принципы организации антивируснрй защиты в ОС Linux. Недостатки существующих средств защиты от компьютерных вирусов (КВ)". На семинаре присутствовал 31 специалист.
Серия семинаров "Проблемы информационной безопасности. Доклады специалистов кафедры 12 НИЯУ МИФИ." Семинар по теме "Антивирусная защита в ОС Linux". На семинаре присутствовали 30 специалистов. При обсуждении доклада анализировалась эффективность решений, принятых в архитектуре «Эльбрус» для обеспечения защищенного программирования, при устранении ряда рассмотренных докладчиком форм уязвимости программных систем. Тезисы доклада Прилуцкого С.О.
27 января 2010 года. Семинар секции программного обеспечения на тему "ThreadSanitizer: инструмент обнаружения ошибок синхронизации данных" На семинаре присутствовало 47 специалистов. Доклад К.Серебряного (Google) был посвящен системе динамического обнаружения ошибок синхронизации данных (ThreadSanitizer) и используемому в ней комбинированному алгоритму. Представлен API, с помощью которого пользователь может сообщить системе о сложных синхронизациях, существующих в программе. Большое внимание было уделено практическим аспектам использования ThreadSanitizer для тестирования многопотокового C++ кода, представляющим интерес для разработчиков программного обеспечения вычислительных комплексов серии "Эльбрус".
Семинар секции программного обеспечения ЗАО "МЦСТ" и ОАО "ИНЭУМ" на тему "Методы удаления избыточностей на этапе компиляции программ". На семинаре присутствовало 20 специалистов. В докладе А.Н. Филиппова, представленном по материалам кандидатской диссертации, рассматривалась проблема удаления избыточных вычислений на этапе компиляции. Были проанализированы основные причины появления избыточностей в программах и проведена их классификация. Для каждого из рассмотренных типов избыточностей приводились известные и описывались разработанные докладчиком методы выявления и устранения избыточностей. На основании замеров производительности была продемонстрирована эффективность реализованных методов. В дискуссии обсуждалась практическая ценность новых результатов для ведущихся разработок ЗАО "МЦСТ" в области технологий оптимизирующей компиляции, а также их универсальность применительно к различным архитектурам микропроцессоров. По итогам обсуждения диссертация А.Н.Филиппова рекомендована к защите.
Совместный семинар секции архитектуры и схемотехники и секции программного обеспечения по теме компьютерной обработки графической информации На семинаре присутствовало 26 специалистов. Доклад Бориса Прокопенко (ЗАО «Авионика» - РТС) был посвящен базовым принципам обработки 3-х мерной графической информации и реализации графического конвейера в современных видеокартах. Особое внимание уделялось методам оптимизации, направленным на уменьшение объема вычислений. В ходе доклада были также обозначены основные проблемы проектирования графических адаптеров – недостаточная пропускная способность канала доступа в оперативную память, выбор архитектуры и внутренней организации графического процессора (SIMD/MIMD), верификация. Приводились примеры решения данных проблем, используемые в зарубежных компаниях. В дискуссии анализировались возможности создания производительного 3-мерного графического адаптера с использованием перспективных реализаций микропроцессорной архитектуры "Эльбрус".
Совместный семинар ЗАО "МЦСТ" - ОАО "ИНЭУМ" "Разработка операционной системы жесткого режима реального масштаба времени на базе OS Solaris для ВК "Эльбрус-90микро" На семинаре присутствовали 23 специалиста. В докладе Д.А. Федотова были рассмотрены предпосылки создания данной модификации операционной системы, базовая функциональность существующих реализаций, а также - проблемы и варианты реализации модифицированной ОС Solaris, исполняющей задачи в режиме реального масштаба времени. Были описаны основные методы мониторинга ОС, приведены принципиальные методы оптимизации работы планировщика процессов, обработчика прерываний, а также механизмы позволяющие реализовать детерминизм времени переключения процессов и времени обработки прерываний. В дискуссии обсуждались вопросы изоляции прерывания системного таймера, механизмы переключения процессов и процесс переключения из процедуры прерывания. Семинар констатировал актуальность поставленной проблемы, эффективность
использованных методов оптимизации работы ОС Solaris в жестком режиме
реального масштаба времени и возможность применения разработанной версии в системах пользователей ВК "Эльбрус-90микро".
Представление проектов отделения систем программирования ЗАО "МЦСТ" на семинаре Института системного программирования РАН На семинаре, прошедшем под руководством директора ИСП РАН, академика В.П.Иванникова, специалистами ЗАО "МЦСТ" было сделано несколько докладов, посвященных проектам отделения:
Семинар сопровождался активным обсуждением ряда вопросов, поставленных специалистами Института системного программирования. В завершение были определены несколько тем, назначенных для проведения следующих семинаров и анализа перспективных направлений исследования в области технологий компиляции.
Семинар секции архитектуры и схемотехники и секции программного обеспечения на тему "Проблемы "управляемости платформы (platform management, PM)" при создании вычислительных комплексов и кластеров нового поколения. Обзор спецификации IPMI (Intelligent Platform Management Interface)" На семинаре присутствовали 22 специалиста. В докладе Д.В. Ревякина, посвященном развернутой характеристике спецификации IPMI, были рассмотрены причины ее формирования, базовая функциональность и интеллектуальные составляющие, а также - проблемы и варианты реализации, включая программный стек и аппаратную структуру. На системном уровне описаны основные аспекты мониторинга аппаратуры и связанной с ним информации. Приведены принципиальные схемы оборудования IPMI c уточненным описанием базового контроллера: его структуры, локальных и сетевых интерфейсов, номенклатуры сообщений. Рассмотрена спецификация сенсоров, контролирующих состояние модулей вычислительной системы: архитектурная модель, классификация, спецификация команд и событий, образующих их системный интерфейс. Приведены варианты встраивания РМ-оборудования в структуру управляемой платформы и конкретные примеры их реализации. В дискуссии обсуждались вопросы соотношения принципов и решений, определенных в спецификации IPMI, с проектной практикой компании в части контроля и управления состоянием разрабатываемых вычислительных средств. Семинар констатировал своевременность детальной проработки проблем реализации IPMI в перспективных проектах, связанных с созданием многопроцессорных конфигураций на базе вычислительных комплексов разработки ЗАО "МЦСТ".
Семинар секции архитектуры и схемотехники и секции программного обеспечения на тему «Организация многопроцессорных систем на базе российских вычислительных комплексов разработки ЗАО «МЦСТ». Логическая поддержка когерентности в серверах среднего уровня» На семинаре присутствовали 20 специалистов. В докладе А.И. Зайцева по теме семинара были рассмотрены варианты протокола когерентности для серверов с числом процессорных чипов «Эльбрус»/МЦСТ-ХR до 16, предъявляющего меньшие требования к пропускной способности внешних связей и позволяющего в полной мере воспользоваться результатами локализации ресурсов процессора. Сформулированы предложения по реализации аппаратной поддержки для уменьшения числа обращений к удаленной памяти. Обозначены отличия в работе с памятью при использовании микропроцессоров с архитектурой «Эльбрус» и МЦСТ-4R. Рассмотрено расширение аппаратной поддержки когерентности в расчете на кластерную систему с 64 процессорным чипами. Семинар признал целесообразным использование представленных результатов при разработке многопроцессорных систем.
Совместный семинар ЗАО «МЦСТ» (секция программного обеспечения) и ОАО «ИНЭУМ» на тему «Быстрая распределенная файловая система для многомашинных комплексов МСВС/С на основе каналов RDMA» На семинаре присутствовали 22 специалиста. C докладом, по теме семинара выступил Кинсбурский С.А. Основным свойством рассматриваемой файловой системы является увеличение скорости доступа к данным, сокращение времени загрузки и рестарта бездисковых узлов многомашинного комплекса. Основными идеями предложенной архитектуры являются перенос уровня абстракции с уровня файлов на уровень блоков файловой системы, а также реализация программ обслуживания файловой системы в ядре операционной системы. Были продемонстрированы практические результаты такого подхода, подтверждающие его эффективность по сравнению с известной реализацией системы NFS. В процессе обсуждения участники семинара констатировали новизну предложенных решений, их соответствие поставленным целям и целесообразность применения разработанной файловой системы в многомашинных комплексах реального времени.
Совместный семинар ЗАО "МЦСТ" (секция архитектуры и схемотехники и секция программного обеспечения) и ОАО "ИНЭУМ" на тему "Машина с виртуальным мультипроцессированием: новая архитектура параллельных вычислений общего назначения" С докладом, в котором были изложены основные особенности новой архитектуры, защищенной патентом Российской Федерации N 2312388, выступил автор Ефимов А.И. На семинаре присутствовали 23 специалиста. В процессе обсуждения выступающие подтвердили новизну и практическую реализуемость предложенной архитектуры и в то же время подчеркнули высокую сложность ее исполнения. Разработчики системного программного обеспечения выразили согласие с автором в том, что реализация принципов, положенных в ее основу, может увеличить эффективность вычислений в системах реального времени, связанных с исполнением большого числа процессов и нитей.
Совместный семинар и ЗАО "МЦСТ" (секция архитектуры и схемотехники и секция программного обеспечения) и ОАО "ИНЭУМ" на тему "Разработка графической карты с использованием универсального микропроцессора" На семинаре присутствовали 39 специалистов. Во вступительном слове Фельдман В.М. охарактеризовал проблемы использования коммерческих графических карт в вычислительных комплексах (ВК) компании ЗАО "МЦСТ". В обзорном докладе Шмелева А.С. обосновывалось предложение разработать собственную графическую карту на основе универсального микропроцессора путем модернизации существующей графической карты МЦСТ МГА. Технической реализации графической карты был посвящен доклад Воронцова М.В. В качестве универсального процессора было предложено использовать систему на кристалле "МЦСТ-R500S". Докладчик отметил возможность перехода на систему на кристалле "Эльбрус-S" в последующей разработке. Были представлены особенности структурной и функциональной реализации, описаны внутренние интерфейсы между крупными блоками. Заключительная часть доклада была посвящена архитектуре графических конвейеров и современным тенденциям в этой области. В дискуссии обсуждались современные тенденции в сфере разработки графических карт, проблемы интеграции графических карт, разработанных в сторонних организациях, в вычислительные комплексы ЗАО "МЦСТ" и проблемы разработки драйверов видеокарт. Были затронуты вопросы производительности разрабатываемого устройства и его последующего усовершенствования. Семинар одобрил инициативную работу, представленную в докладах, и принял решение в дальнейшем обсудить вопрос программного обеспечения графической подсистемы ВК в контексте двоичной компиляции.
Совместный семинар секции программного обеспечения и локального отделения ACM MosSIGPLAN на тему "Направления развития программных библиотек повышения производительности архитектуры Эльбрус" MosSIGPLAN Activity На семинаре присутствовал 21 сотрудник ЗАО "МЦСТ". С докладом по теме семинара выступил Логинов В.Е. В последующей дискуссии были обсуждены следующие вопросы:
Семинар одобрил представленные результаты, констатировал перспективность тематики и признал целесообразным поддержать ее за счет привлечения молодых сотрудников из числа старшекурсников базовой кафедры МФТИ.
Состоялся семинар секции программного обеспечения на тему "Система генерации тестов со случайным набором команд в х86 кодах" (направление бинарной компиляции) На семинаре присутствовали 24 специалиста ЗАО "МЦСТ" С докладом по теме семинара выступил Максименков Д.А. Сообщение, вопросы к докладчику и последующее обсуждение были в целом посвящены системе поиска ошибок в бинарном компиляторе и микропроцессоре "Эльбрус", в рамках которой автором была реализована подсистема генерации случайных тестов. Доклад получил одобрение и рекомендован к опубликованию. В заключении семинара внимание автора акцентируется на дальнейшей систематизации функций, вариантов применения и дисциплины взаимодействия совокупности подсистем, образующих тестовую систему вычислительного комплекса "Эльбрус-3М".
Состоялся семинар секции программного обеспечения (направление оптимизирующей компиляции) и локального отделения ACM MosSIGPLAN на тему "Автоматическое распараллеливание программ на общей и распределенной памяти" На семинаре присутствовал 31 специалист. Был представлен доклад Шлыкова С.Л. с содокладами Ильина П.А., Муханова Л.Е. и Галазина А.Б.
По инициативе программистов ЗАО "МЦСТ" создано локальное отделение группы ACM SIGPLAN в России По инициативе специалистов отделения систем программирования создано локальное отделение группы профессиональных интересов по языкам программирования (Special Interest Group on Programming Languages, SIGPLAN) международной научной и образовательной ассоциации ACM (Association for Computing Machinery, www.acm.org). С 1947 ACM способствует обмену идеями, знаниями и открытиями. Сейчас членами ассоциации являются профессионалы и студенты из более чем 100 стран, специализирующиеся в различных областях компьютерной промышленности, образования и науки. Каждая группа по интересам SIG объединяет теоретиков и практиков в определенной области компьютинга. Группы способствуют проведению конференций и семинаров, посвященных их профессиональной области, выпуску сборников трудов и других материалов, поддерживают форумы для обмена информацией. В составе групп функционируют локальные отделения во многих странах мира. В результате контактов наших специалистов с группой ACM SIGPLAN было организовано и официально зарегистрировано в Москве ее локальное отделение, деятельность которого предполагается поддерживать на базе МЦСТ. Она будет направлена на расширение исследований и образовательных проектов. Это первое и пока единственное локальное отделение группы ACM по языкам программирования в России. Получить дополнительные справки и внести предложения об участии в его работе, содержании и форме мероприятий можно через Сергея Шлыкова 363-9665 д.3-45, shlykov@mcst.ru.
Состоялся совместный семинар секции архитектуры и схемотехники и секции программного обеспечения на тему "Архитектурные предложения по реализации системы на кристалле "МЦСТ-4R". На семинаре присутствовали 50 сотрудников ЗАО "МЦСТ". Доклад Костенко В.О. был посвящен обоснованию некоторых качественных и количественных характеристик, предлагаемых для реализации в процессорном ядре системы "МЦСТ-4R" на этапе эскизного проектирования. С содокладами по вопросам реализации, связанным с программным обеспечением, выступили Нейман-заде М.И. и Шлыков С.Л. После доклада прошла дискуссия в ходе, которой были обсуждены следующие вопросы:
Семинар признал целесообразным продолжить совместную работу отделения архитектуры и схемотехники и отделения систем программирования над эскизным проектом "МЦСТ-4R".
Состоялся семинар секции программного обеспечения на тему "Внедрение интеллектуальной системы в оптимизирующем компиляторе" На семинаре присутствовали 54 сотрудника ЗАО "МЦСТ". В докладе М.И. Нейман-заде были изложены основные принципы разрабатываемой в отделении систем программирования технологии, которая, в принципе, позволяет повысить результативность методик оптимизации за счет их дифференцированного применения к различным классам процедур. В процессе дискуссии были обсуждены следующие вопросы:
Семинар признал целесообразным продолжение начатых исследований и использование их результатов в дальнейших проектах, предполагающих оптимизацию компиляции. дальнейших проектах по оптимизации компиляции.
Состоялся семинар секции программного обеспечения на тему "Компиляторные проекты: результаты, проблемы, перспективы". На семинаре присутствовали 45 специалистов ЗАО "МЦСТ". В докладе руководителя отделения систем программирования Л.Г. Тарасенко были представлены итоги реализации проекта многоязыковой многоплатформенной системы программирования для семейства вычислительных комплексов Эльбрус. В результате разработки получены следующие программные продукты: системы программирования С/C++/F77, система бинарной совместимости с Х86, инструментальные средства разработки больших программных систем включая систему управления разработкой, тестовые пакеты, тестовые генераторы, сервисные средства для пользователей вычислительных комплексов. Определены основные направления продолжения проекта, включающие развитие базовых концепций проектирования, методов реализации и базовых алгоритмов, способов повышения качества разрабатываемых программных продуктов. Уточнены основные направления развития функциональности с учетом совершенствования аппаратных средств и расширения требований пользователей - это реализация защищенных вычислений, средств распараллеливания и поддержки многопроцессорности, развитие инструментальных средств разработки и отладки программных систем и управления разработкой, автоматического тестирования, автоматической генерации тестовых пакетов.
7 декабря 2006 года. Состоялся семинар секции программного обеспечения на тему «Оптимизация размещения массивов в памяти микропроцессора “Эльбрус”» После доклада Галазина А.Б. по теме семинара прошла дискуссия, в ходе которой обсуждались следующие вопросы: Участники семинара признали целесообразность развития темы и полученных результатов, в частности, перспективность их распространения на другие структуры данных.
Состоялся семинар секции программного обеспечения на тему «Предварительная подкачка данных в микропоцессоре “Эльбрус”» После доклада Галазина А.Б. по теме семинара прошла дискуссия, в ходе которой обсуждались следующие вопросы:
Участники семинара признали целесообразным провести дополнительные исследования на нескольких классах задач для оценки эффективности некоторых механизмов оптимизации подкачки, введенных в архитектуру микропроцессора.
Состоялся семинар секции программного обеспечения на тему "Последовательно-параллельная редукция технологического графа"
Состоялся совместный семинар секции архитектуры и схемотехники и секции программного обеспечения научно-технического совета ЗАО "МЦСТ" на тему "Оптимизатор системы двоичной компиляции проекта Эльбрус-3М". На семинаре присутствовали 34 специалиста. Согласно рекомендации прошлого семинара, в докладе ведущего системного программиста В.Д.Гимпельсона были представлены методы и средства оптимизации, реализованные в системе двоичной компиляции проекта Эльбрус-3М. Вопросы к докладчику и последующая дискуссия помимо конкретных аспектов данной реализации затрагивали место и общую концепцию использования двоичной компиляции в индустриальных разработках, в том числе -перспективных разработках вычислительных комплексов "Эльбрус" и приложений, создаваемых на их базе.
Состоялся совместный семинар секции архитектуры и схемотехники и секции программного обеспечения научно-технического совета ЗАО "МЦСТ" на тему "Система двоичной компиляции проекта Эльбрус-3М". На семинаре присутствовали 46 специалистов. В докладе ведущего системного программиста А.В. Ермоловича были дана общая характеристика разрабатываемой в ЗАО "МЦСТ" системы двоичной компиляции с кода x86 в код микропроцессора Эльбрус-3М, рассмотрена ее структура, функции и взаимосвязь основных модулей. Особое внимание было уделено неоптимизирующим компонентам системы в предположении, что использованные методы оптимизации и их поддержка в архитектуре будут подробно рассмотрены на следующем семинаре.
Состоялся совместный семинар секции архитектуры и схемотехники и секции программного обеспечения научно-технического совета ЗАО "МЦСТ" на тему "Архитектура микропроцессора Эльбрус-3М: поддержка защищенных вычислений". На семинаре присутствовал 41 специалист ЗАО "МЦСТ". В докладе Ф.А. Груздова была представлена принятая при разработке микропроцессора концепция защищенных вычислений, ее поддержка в аппаратуре и компиляторе. В процессе обсуждения высказывалось соображение, что реализованные в проекте методы и средства безусловно способствуют продвижению к поставленной цели, в частности, они повышают уровень диагностики в процессе компиляции и исполнения кода. Тем не менее, окончательный вывод об эффективности их использования (и, соответственно, оправданности накладных расходов) для защиты вычислений потребует дальнейшего изучения механизмов несанкционированного вмешательства в вычислительный процесс и проведения ряда экспериментов.
Состоялся совместный семинар секции архитектуры и схемотехники и секции программного обеспечения научно-технического совета ЗАО "МЦСТ" на тему "Оптимизирующие компиляторы для архитектур Эльбрус-3М и Эльбрус-90". На семинаре присутствовали 48 сотрудников ИМВС РАН и ЗАО "МЦСТ". В докладе одного из ведущих программистов-разработчиков компиляторов С.Л.Шлыкова было дано представление об основных идеях, использованных при реализации языков C, C++ и Fortran для базовых эльбрусовских архитектур, методах оптимизации и их связи с архитектурными новациями микропроцессоров. В результате обсуждения доклада было принято решение о проведении серии семинаров, специально посвященных определяющим оптимизациям компилятора и их аппаратной поддержке.
| |
