КОМПОНЕНТ ПРОВЕРКИ КОРРЕКТНОСТИ ИСПОЛЬЗОВАНИЯ MPI В ПРОГРАММНОМ КОМПЛЕКСЕ S-MPI
А. В. Огородников, Н. А. Побуринная, М. И. Старов Вопросы атомной науки и техники. Сер. Математическое моделирование физических процессов 2013. Вып.2. С. 86-94.
Современные параллельные программные комплексы, созданные с использованием MPI, становятся все сложнее; они используют все большее количество вычислительных ядер, а следовательно, MPI-процессов. Кроме того, сложность и частая неоднозначность стандарта MPI накладывает целый ряд ограничений на использование функций MPI. Все это усложняет процесс написания корректных и переносимых MPI-программ даже экспертами. Разрабатываемый инструмент MCCT призван облегчить программистам поиск реальных и потенциальных проблем в параллельном коде MPI. Данный программный компонент проверки корректности использования MPI входит в состав разрабатываемого комплекса S-MPI - первого подобного коммерческого продукта в России. На ряде примеров проблемного исходного кода MPI демонстрируется успешное обнаружение проблем с использованием MCCT. Приводятся результаты проверки корректности двух программных пакетов - ЛЭГАК-ДК и ЛОГОС, разработанных в РФЯЦ-ВНИИЭФ. Замеры производительности МССТ подтверждают его достаточно хорошую конкурентоспособность (рис. 1, табл. 6, список лит. - 9 назв.). Ключевые слова: MCCT, проверка корректности, MPI, программный комплекс S-MPI.
|