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

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

Польза для потенциального потребителя

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