Программный комплекс моделирования и анализа алгоритмов параллельных вычислений

СОДЕРЖАНИЕ
СПИСОК УСЛОВНЫХ СОКРАЩЕНИЙ.
ВВЕДЕНИЕ.
1 ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ НА ЭВМ
1.1 Классификация параллельных вычислительных систем
1.2 Явный параллелизм и автоматическое распараллеливание
1.3 Графические модели параллельных процессов.
1.4 Взаимодействие параллельных процессов.
1.4.1 Механизмы синхронизации параллельных процессов
1.4.2 Проблема тупиков в параллельных алгоритмах
Выводы и основные результаты
2 ГРАФИЧЕСКАЯ МОДЕЛЬ АЛГОРИТМОВ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ
2.1 Концептуальное описание графмодели.
2.2 Синхронизация между параллельными ветвями графмодели.
2.3 Создание графмоделей параллельных вычислений.
2.4 Реализация вычислений, описанных графмоделью.
Выводы и основные результаты
3 СИНХРОНИЗАЦИЯ В МОДЕЛИ ПАРАЛЛЕЛЬНОГО АЛГОРИТМА
3.1 Простейший метод поиска критических данных в модели параллельного алгоритма.
3.2 Метод поиска критических данных на основе алгебры над способами использования данных
3.3 Пример применения формулы над способами использования данных для поиска критических данных.
3.4 Алгоритм построения и вычисления формул над способами использования данных
3.5 Проверка корректности синхронизации графмодели.
3.5.1 Метод проверки корректности синхронизации графмодели.
3.5.2 Метод поиска тупиков.
3.6 Пример использования методов поиска критических данных и проверки корректности синхронизации
3.6.1 Параллельная модель Я8триггера
3.6.2 Модель ИЯтриггера без синхронизации.
Выводы и основные результаты.
4 ПРОГРАММНЫЙ КОМПЛЕКС МОДЕЛИРОВАНИЯ И АНАЛИЗА АЛГОРИТМОВ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ.
4.1 Архитектура программного комплекса моделирования и анализа алгоритмов параллельных вычислений
4.2 Программный комплекс моделирования и анализа алгоритмов параллельных вычислений РСЯАРН 1.0
4.2.1 Создание моделей параллельных алгоритмов в программном комплексе РСАРН 1.0.
4.2.2 Генерация исходных текстов параллельных программ на языке С.
4.2.3 Межмодульный информационный интерфейс.
4.2.4 Обмен данными между параллельными процессами
4.2.5 Модуль передачи сообщений.
Выводы и основные результаты
5 ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ ПРАКТИЧЕСКОЙ ЗНАЧИМОСТИ МОДЕЛИ
5.1 Решение уравнения Лапласа.
5.1.1 Постановка задачи и последовательный алгоритм решения уравнения Лапласа.
5.1.2 Параллельный алгоритм решения уравнения Лапласа.
5.1.3 Экспериментальная проверка эффективности параллельного алгоритма.
5.2 Распараллеливание алгоритма решения системы дифференциальных уравнений НавьеСтокса
5.3 Распараллеливание многосеточных методов.
Выводы и основные результаты
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ