Эксπир
Регистрация / Вход

Исследование и разработка методов,обеспечивающих возможность автоматического обнаружения логических ошибок и шаблонов неэффективного поведения в параллельных приложениях и их реализации в web-среде в виде программного комплекса

Стадии проекта
Предложение принято
Конкурс завершен
Проект закончен
Проект
14.514.11.4061
Досье недоступно
Организация
ИСП РАН
Руководитель работ
Иванников Виктор Петрович
Продолжительность работ
2013, 6 мес.
Бюджетные средства
6 млн
Внебюджетные средства
6 млн

Разработка научно-технического задела в области создания:
1) программных инструментов для поддержки процесса разработки параллельных приложений.
2) гибкой и масштабируемой платформы для интеграции инструментальных средств управления вычислительными ресурсами суперкомпьютерного центра.
3) […]
[…]
(перечень целей, планируемых к достижению в рамках НИР, может быть дополнен участником размещения заказа применительно к заявляемой области исследований)

Этапы проекта

1
07.03.2013 - 10.07.2013
Разработан комплекс моделей программной системы поддержки параллельных вычислений в web-среде, поддерживающей работу нескольких пользователей с различными вычислительными ресурсами. Разработаны алгоритмы автоматизированного обнаружения логических ошибок в параллельных программах для вычислительных систем с распределенной памятью и автоматизированного обнаружения семантических ошибок в MPI-программах во время исполнения. Разработаны шаблоны неэффективного поведения параллельных программ Разработана база данных, содержащая информацию о пользователях, вычислительных ресурсах, программном обеспечении ресурсов, файлы исходных кодов, начальных данных, результатов, исполняемые файлы, файлы найденных логических ошибок, файлы найденных семантических ошибок.
Развернуть
2
11.07.2013 - 03.09.2013
Проведена проверка соответствия разработанных программных решений требованиям ТЗ, в том числе продемонстрированы: Возможность загрузки на портал файлов исходного кода MPI, OpenMP и UPC-программ; Компиляция загруженной программы всеми установленными на вычислительном кластере суперкомпьютерного центра компиляторами; Запуск полученного исполняемого файла на нескольких вычислительных ресурсах суперкомпьютерного центра; Обнаружение логических и семантических ошибок в параллельных программах для вычислительных систем с распределенной памятью на примере нескольких (не менее трех) MPI-программ. Оптимизация параллельных программ с использованием шаблонов неэффективного поведения параллельных программ на примере нескольких (не менее трех) UPC-программ. Разработан метод обнаружения неэффективного использования коммуникационных шаблонов, логических и семантических ошибок в параллельных приложениях.
Развернуть

Программа

Программа "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2013 годы"

Программное мероприятие

1.4 Проведение проблемно-ориентированных поисковых исследований и создание научно-технического задела по перспективным технологиям в области информационно-телекоммуникационных систем
Тема
Анализ принципов построения информационных систем для автоматического обнаружения логических ошибок и шаблонов неэффективного поведения в параллельных приложениях и их реализация в web-среде в виде программного комплекса.
Продолжительность работ
2013, 8 мес.
Бюджетные средства
24 млн
Количество заявок
12
Тема
Создание и развитие отечественной платформы с открытым программным кодом для управления программно-конфигурируемыми сетями (ПКС).
Продолжительность работ
2013, 8 мес.
Бюджетные средства
50 млн
Количество заявок
24
Тема
Разработка и апробация на реальных приложениях перспективных технологий параллельного программирования для следующих поколений вычислительных систем
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
28 млн
Количество заявок
9
Тема
Разработка технологии и архитектуры аппаратно-программных средств сверхвысокоскоростных беспроводных сетей в миллиметровом диапазоне радиоволн 60-100 ГГц
Продолжительность работ
2013, 8 мес.
Бюджетные средства
20 млн
Количество заявок
6
Тема
Исследование физико-химических и реологических закономерностей процесса формования ПАН-прекурсора с целью получения высокопрочных углеродных волокон (ВУВ)
Продолжительность работ
2013, 8 мес.
Бюджетные средства
30 млн
Количество заявок
6