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