Конференции ИВТ СО РАН

VIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям

27 - 29 ноября 2007 года, Новосибирск

Тезисы докладов

Информационные технологии

Система контроля корректности MPI-программ

Демидов А.В., Власенко А.Ю.

Кемеровский государственный университет (Кемерово)

На сегодняшний день наблюдается явный недостаток в средствах автоматического контроля корректности MPI-программ. Поэтому возникает необходимость в создании программной системы, производящей динамический поиск ошибок в MPI-программах на ПК на платформе Windows.

Система обладает графическим интерфейсом, возможностью компиляции и запуска MPI-программ, а также способностью анализировать вызовы MPI-функций на соответствие правилам, описанным в документе MPI Standard.

Алгоритм работы системы следующий:
1. В среде разработки пользователь создаёт и редактирует файл исходного кода своей программы.
2. Затем производится трансляция программы компилятором gcc с прилинковкой lib-библиотеки MPI-функций собственной разработки и библиотек из пакета mpich. Возникшие при этом синтаксические ошибки выводятся пользователю в отдельном окне.
3. После этого пользователь указывает требуемое число процессов и запускает программу на выполнение. При этом загружается командная строка и в неё записывается вызов mpirun с именем получившегося после компиляции exe-файла и числом процессов в качестве аргументов.
4. Каждый вызов MPI-функций перехватывается библиотекой, которая передаёт параметры вызванной функции и время вызова в процесс-оболочку через каналы оперативной памяти.
5.Оболочка записывает данные о вызове в базу данных. После каждой записи вызывается функция-обработчик, которая выбирает из базы предыдущие записи, удовлетворяющие некоторым условиям, формируемым из переданных в оболочку параметров. После этого обработчик проводит анализ на наличие ошибок в последовательности вызванных функций.

На данный момент разработаны алгоритмы для поиска некоторых потенциальных и реальных дедлоков, непарных операций типа точка-точка и несоответствия типов данных в операциях посылки/приёма.

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии
Обратная связь

[Головная страница]
[Конференции]