Введение
Глава 1. Обзор подходов к отладке параллельных программ 11
1.1 Традиционные подходы. Интерактивная отладка, отладочные печати 11
1.2 Стратегии автоматизированной отладки последовательных программ 15
Глава 2. Метод граничных итераций и двойных тел циклов 27
2.1 Описание метода 27
2.1.1 Использование граничных итераций 27
2.1.2 Инструментация с одним и с двумя телами циклов 30
2.1.3 Алгоритм построения множеств итераций для отладки программ на «гранях» многомерных циклов 31
2.1.4 Алгоритм построения множеств итераций для отладки программ на «уголках» многомерных циклов 34
2.1.5 Алгоритм построения множеств итераций отлаживаемого запуска по результатам эталонного 35
2.2 Реализация метода граничных итераций и двойных тел циклов в отладчике системы DVM 36
2.2.1 Модель параллелизма DVM 37
2.2.2 Основные возможности DVM-отладчика 38
2.2.3 Инструментация Фортран-DVM программ с одним и с двумя телами циклов 38
2.2.4 Особенности программной реализации метода 44
2.2.5 Изменения формата трассы 48
2.2.6 Реализация оценки покрытия операторов программы 50
2.3 Результаты экспериментов и выводы 51
Глава 3. Метод интегральных характеристик массивов. Комбинированный метод 58
3.1 Описание метода 58
3.2 Реализация метода в отладчике системы DVM 60
3.2.1 Нумерация параллельных конструкций 60
3.2.2 Реализация метода интегральных характеристик 66
Вычисление контрольных сумм 67
Запись/чтение трассы с контрольными суммами 69
Формат файла трассы 72
Сравнение контрольных сумм 73
Новые структуры данных и функции 74
3.3 Результаты экспериментов и выводы 76
Глава 4. Метод коррекции результатов редукционных операций 80
4.1 Описание метода 80
4.2 Реализация метода в отладчике системы DVM 81
4.3 Результаты экспериментов и выводы 83
Заключение 84
Литература


