Распределенная автоматизированная система обнаружения логических ошибок в MPI-программах

Боровикова Анастасия Павловна
14 сентября 2018
remove_red_eye15
Предметная область
Отрасли по ОКВЭД
Страна, регион, город Российская Федерация, Кемеровская область, Кемерово
Отличия от конкурентов
Документ об охране прав на интеллектуальную собственность Нет
Вид документа об охране ИС программа для ЭВМ
Номер документа ИС 201261020
Дата регистрации документа ИС 2011-11-07
Необходимые инвестиции для внедрения
Сроки внедрения
Стоимость предоставления технологии
Наличие экспертного заключения Нет

Польза для предприятия

Программная система служит для поиска семантических ошибок в параллельных приложениях, вызванных некорректным использованием интерфейса MPI. Применяется подход автоматизированного контроля корректности во время исполнения. Система состоит их 3 компонент: консольных препроцессора и сервера отладки и профилировочной библиотеки. Исходный код MPI-программы сначала должен быть обработан препроцессором, а затем слинкован с библиотекой. Запускать следует сначала сервер, а потом – откомпилированное параллельное приложение. В процессе работы библиотека производит сбор информации о вызываемых MPI-функциях и передает параметры функций серверу через TCP-сокеты. Сервер анализирует принятые параметры и производит вывод о возникновении в программе семантических ошибок (дедлоки, гонки данных и пр.) В некоторых случаях сервер передает управляющие сигналы MPI-процессам, принимаемые и обрабатываемые дополнительными потоками.