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