КОМПОНЕНТ ПРОВЕРКИ КОРРЕКТНОСТИ ИСПОЛЬЗОВАНИЯ MPI В ПРОГРАММНОМ КОМПЛЕКСЕ S-MPI

А. В. Огородников, Н. А. Побуринная, М. И. Старов
Вопросы атомной науки и техники. Сер. Математическое моделирование физических процессов 2013. Вып.2. С. 86-94.

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