Курсовая работа: Диалоговая оболочка отладчика MPI-программ
· Разностная (дельта) отладка - подход автоматизированной отладки, базирующийся на систематическом тестировании. Предполагается, что путем целенаправленного перебора параметров можно обнаружить те параметры, которые приводят приложение к неправильной работе. Этими параметрами могут быть входные данные, изменения в программном коде, планировка нитей исполнения.
Отладка параллельных программ осложняется (в большей степени, чем отладка последовательных программ) так называемым эффектом вмешательства (probeeffect): отлаживаемая программа может вести себя по-разному при её запуске с отладочным средством и без него. Таким образом, отладочное средство может маскировать некоторые ошибки или, наоборот, способствовать их проявлению.
На вход описываемому в данной работе программному средству подается отладочная информация, записанная по ходу выполнения программы, а также информация от компаратора, реализующего сравнительную отладку.
Отладчик, для которого реализуется визуализатор, описываемый в данной работе, реализует два метода отладки: post-mortem анализ и сравнительная отладка.
3.2 Обзор существующих средств отладки
3.2.1 LockInt (Sun)
· Метод отладки: статическая отладка.
· Эффект вмешательства: отсутствует.
· Гибкость: отсутствует (не использует процессы выполнения программы).
· Удобство использования и простота изучения: пользователю необходимо указать, какие блокировки, за какие разделяемые переменные отвечают. Обучиться использовать просто.
· Языки программирования и операционные системы: Sun WorkShop ANSI C с Pthreads на ОС Solaris.
· Использование ресурсов: не требует выполнения на параллельной ЭВМ, т.к. процессы выполнения программы не используются.
· Локализация ошибок: ошибки синхронизации (дедлоки и условия гонок) ищутся по спецкомментариям пользователя и исходному коду. Возможен пропуск ошибок, в случае нехватки информации от пользователя.
· Успешность на рынке: входит в SunTM ONEStudio 7. Использовался для отладки программы, вычисляющей множество Мандельброта [15].
3.2.2 MAD EMU и ATTEMPT (Johannes Kepler University Linz)
· Методотладки: post-mortem анализ.
· Эффект вмешательства: имеется, в связи с сохранением трассировки. Для многопоточных приложений может быть очень сильным.
· Гибкость: отсутствует, (анализ происходит после завершения выполнения программы).
· Удобство использования и простота изучения: сбор и анализ информации происходит автоматически. Возможны визуализация и анализ производительности. Обучиться использовать просто.
· Языки программирования и операционные системы: работает с интерфейсом MPI. Поддержки языков программирования нет.
· Использование ресурсов: трассировка может достигать больших размеров.
· Локализация ошибок: класс ошибок определён и ограничен (изолированный send/receive, различная длина событий-сообщений при посылке/приёме, ...)
· Успешность на рынке: информации об использовании MAD за пределами Johannes Kepler University Linz не имеется.
3.2.3 Total View (Etnus LLC), Prism(Sun), p2d2(NAS Ames), Ladebug(Compaq), GDB(GNU), DBX(Sun)
· Методотладки: интерактивная отладка.
· Эффект вмешательства: имеется. Остановка нитей/процессов нарушает стандартное расписание их выполнения.
· Гибкость: максимальна по определению.
· Удобство использования и простота изучения: от пользователя требуется самостоятельная установка точек останова, изучение состояния программы, ее перезапуск, изменение значений переменны и т.д. Обучение эффективному использованию может быть не простым.
· Языки программирования и операционные системы: Поддержка традиционных языков программирования и их параллельных расширений не представляет проблем. Наиболее развитые средства параллельной отладки разработаны для ОС Unix..
· Использование ресурсов: ресурсы ЭВМ используются эффективно, может потребовать много усилий со стороны человека.
· Локализация ошибок: класс ошибок достаточно широк, но их локализация сильно зависит от умения программиста.
· Успешность на рынке: широко используются. TotalView и PDBX(IBM) используются на ASCIWhite.
3.2.4 Assure(Intel), DVM debugger(KIAM RAS), UMPIRE (LLNL)
· Методотладки: динамический контроль.