ИЦМС ИПС РАН: результаты за 2003 год5/15/20131 Отчет за 2003 год Исследовательского центра мультипроцесорных систем Института программных систем Российской академии наук This presentation will probably involve audience discussion, which will create action items. Use PowerPoint to keep track of these action items during your presentation In Slide Show, click on the right mouse button Select Meeting Minder Select the Action Items tab Type in action items as they come up Click OK to dismiss this box This will automatically create an Action Item slide at the end of your presentation with your points entered.

ИЦМС ИПС РАН: результаты за 2003 год 5/15/20132 Основные направления исследований в 2003 году Аппаратные и программные средства для создания малобюджетных региональных (город, район) сетей в интересах науки и образования и региона в целом Аппаратные и программные средства для создания малобюджетных региональных (город, район) сетей в интересах науки и образования и региона в целом Теория и методы метавычислений и реализация программных систем на параллельных архитектурах Теория и методы метавычислений и реализация программных систем на параллельных архитектурах Разработка и освоение в серийном производстве семейства высокопроизводительных вычислительных систем с параллельной архитектурой (суперкомпьютеров) и создание прикладных программно-аппаратных комплексов на их основе Разработка и освоение в серийном производстве семейства высокопроизводительных вычислительных систем с параллельной архитектурой (суперкомпьютеров) и создание прикладных программно-аппаратных комплексов на их основе

ИЦМС ИПС РАН: результаты за 2003 год 5/15/20133 Аппаратные и программные средства для региональных сетей 1. Разработка и внедрение ПК-маршрутизаторов нового поколения потребляет вт, сильно снижена потребление ЦПУ (устанавливается без вентилятора); потребляет вт, сильно снижена потребление ЦПУ (устанавливается без вентилятора); HDD заменен на FLASH-память 128 MB с ATA- интерфейсом; HDD заменен на FLASH-память 128 MB с ATA- интерфейсом; температурный режим контролируется термодатчиками на процессоре и материнской плате; температурный режим контролируется термодатчиками на процессоре и материнской плате; ОС Debian GNU/Linux, версия ядра 2.4.x; ОС Debian GNU/Linux, версия ядра 2.4.x; безкорпусной; безкорпусной; идет разработка собственного блока электропитания (со встроенным собственным UPS). идет разработка собственного блока электропитания (со встроенным собственным UPS).

ИЦМС ИПС РАН: результаты за 2003 год 5/15/20134 Аппаратные и программные средства для региональных сетей 2. Разработка новой версии сторожевого таймера (watchdog) на базе микроконтроллера Atmel AVR AT90S2313; на базе микроконтроллера Atmel AVR AT90S2313; управление -- одной кнопкой RESET; управление -- одной кнопкой RESET; звуковой сигнал-предостережение о сбросе за 30 секунд до сброса; звуковой сигнал-предостережение о сбросе за 30 секунд до сброса; упрощенное подключение: нечувствительность к полярности подключения разъемов RESET и светодиода; упрощенное подключение: нечувствительность к полярности подключения разъемов RESET и светодиода; интерфейс с компьютером через разъем IRDA (совместимость с различнымитипами материнских плат); интерфейс с компьютером через разъем IRDA (совместимость с различнымитипами материнских плат); улучшенная технологичность изделия: однослойная печатная плата, монтаж на поверхность. улучшенная технологичность изделия: однослойная печатная плата, монтаж на поверхность.

ИЦМС ИПС РАН: результаты за 2003 год 5/15/20135 Аппаратные и программные средства для региональных сетей 3. Развитие СТ "Ботик" построено 101 новое постоянные подключения (Ethernet); построено 101 новое постоянные подключения (Ethernet); организовано 44 подключений по коммутируемым модемным линиям; организовано 44 подключений по коммутируемым модемным линиям; построена магистраль протяженностью 6,9 км (ВОЛС -- 1,4 км, SFTP - 5,5 км), построены пользовательские окончания (кабель UTP) – 7,0 км. построена магистраль протяженностью 6,9 км (ВОЛС -- 1,4 км, SFTP - 5,5 км), построены пользовательские окончания (кабель UTP) – 7,0 км. исследование возможностей использования спутниковых технологий для организации внешних каналов связи. исследование возможностей использования спутниковых технологий для организации внешних каналов связи.

ИЦМС ИПС РАН: результаты за 2003 год 5/15/20136 Аппаратные и программные средства для региональных сетей 4. Исследование сетевых сообществ на базе региональных сетей Описан опыт использования открытых цифровых коллекций и программного обеспечения с открытым кодов в образовании США. Описан опыт использования открытых цифровых коллекций и программного обеспечения с открытым кодов в образовании США. Разработаны программные средства, поддерживающие создание коллективныхгипертекстов учебным сообществом. Разработаны программные средства, поддерживающие создание коллективныхгипертекстов учебным сообществом. Сформулированы правила и созданы модельные ситуации, позволяющие привлекать к работе по использованию и наполнению цифровых коллекций учеников с ограниченными возможностями по зрению. Сформулированы правила и созданы модельные ситуации, позволяющие привлекать к работе по использованию и наполнению цифровых коллекций учеников с ограниченными возможностями по зрению. На базе авторских программных средств с открытым кодом предложены и внедрены в обучение студентов Университета учебные курсы по психологии и изучению иностранного языка. На базе авторских программных средств с открытым кодом предложены и внедрены в обучение студентов Университета учебные курсы по психологии и изучению иностранного языка.Публикации 14 публикаций за 2003 год 14 публикаций за 2003 год

ИЦМС ИПС РАН: результаты за 2003 год 5/15/20137 Теория и методы метавычислений и реализация программных систем 4. Разработка предварительного выпуска программы индуктивного доказателя в алгебре сетей Найден теоретически обоснованный метод построения требуемого логического ядра программы. Найден теоретически обоснованный метод построения требуемого логического ядра программы. многосортное TRW (MS TRW), многосортное TRW (MS TRW), условное многосортное TRW (C-OS TRW), условное многосортное TRW (C-OS TRW), упорядоченно-сортное TRW (OS TRW). упорядоченно-сортное TRW (OS TRW). Выбран программный инструмент для воплощения ядра. Выбран программный инструмент для воплощения ядра. Разработаны способ представления, алгоритмы и воплощение в системе Разработаны способ представления, алгоритмы и воплощение в системе Haskell для начальной части программной разработки. Haskell для начальной части программной разработки. Продолжение этой линии должно дать к концу 2003 года воплощение особо действенного безоткатного метода пополнения для MS TRW, - и на его основе, - начального прувера (без применения индукции) через упрощение выражений. Продолжение этой линии должно дать к концу 2003 года воплощение особо действенного безоткатного метода пополнения для MS TRW, - и на его основе, - начального прувера (без применения индукции) через упрощение выражений.

ИЦМС ИПС РАН: результаты за 2003 год 5/15/20138 Теория и методы метавычислений и реализация программных систем 4. Создание Рефал-системы, создание среды программирования Рефал Плюс реализована базовая библиотека, поддерживающая компиляцию Рефал+ в С++ реализована базовая библиотека, поддерживающая компиляцию Рефал+ в С++ реализованы принципиально новые алгоритмы компиляции языка Рефал+ в абстрактный императивный язык; реализованы принципиально новые алгоритмы компиляции языка Рефал+ в абстрактный императивный язык; разработаны принципы параллельной реализации языка программирования Рефал Плюс, совместимой со средствами динамического распараллеливания программ (Т-системой); разработаны принципы параллельной реализации языка программирования Рефал Плюс, совместимой со средствами динамического распараллеливания программ (Т-системой);Публикации 5 публикаций за 2003 год 5 публикаций за 2003 год

ИЦМС ИПС РАН: результаты за 2003 год 5/15/20139 Разработка и освоение в серийном производстве семейства высокопроизводительных вычислительных систем с параллельной архитектурой (суперкомпьютеров) и создание прикладных программно-аппаратных комплексов на их основе

ИЦМС ИПС РАН: результаты за 2003 год 5/15/ «T-Forge32» (июнь 2003) ИПС РАН

ИЦМС ИПС РАН: результаты за 2003 год 5/15/ «T-Forge32» (июнь 2003) Производительность (пик/Linpack) 115 / 74 GFlops (64%) Процессоров (AMD Opteron GHz) 16*2 = 32 шт. Число вычислительных узлов: 16 шт. Оперативная память: 16 2 = 32 ГБ Дисковая память: = 960 ГБ Системная сеть GB Ethernet

ИЦМС ИПС РАН: результаты за 2003 год 5/15/ Сервисная сеть: управление кластером (июнь 2003) … … up to 125 nodes RS 232 (COM1) Reset Power On/Off Links (RS-xxx)

ИЦМС ИПС РАН: результаты за 2003 год 5/15/ «K-500» (сентябрь 2003)

ИЦМС ИПС РАН: результаты за 2003 год 5/15/ Минск: К-500 (сентябрь 2003) Производительность (пик/Linpack) 716,8 / 423,6 GFlops Процессоров (Intel Xeon 2.8) 64*2 =128 шт. Число вычислительных узлов: 64 шт. Оперативная память: 64 2 = 128 ГБ Дисковая память: = ГБ Системная сеть 4x4х4 3D-тор SCI, D336 Вспомогательная сеть GB Ethernet

ИЦМС ИПС РАН: результаты за 2003 год 5/15/ «K-500» (сентябрь 2003)

ИЦМС ИПС РАН: результаты за 2003 год 5/15/201316

ИЦМС ИПС РАН: результаты за 2003 год 5/15/ «K-500» (сентябрь 2003)

ИЦМС ИПС РАН: результаты за 2003 год 5/15/201318

ИЦМС ИПС РАН: результаты за 2003 год 5/15/ Благодарю за внимание! Готов ответить на Ваши вопросы...