12+
Оглавление - Технологии автоматического дедуктивного распараллеливания в языке Planning C
- Введение
- Глава 1. Подходы к распараллеливанию императивных программ
- 1.1. Обзор подходов к автоматическому/автоматизированному распараллеливанию
- 1.2. Выбор платформы автоматизации распараллеливания и средств распараллеливания
- Выводы к первой главе
- Глава 2. Встроенная трансформация программ в языке Planning C
- 2.1. Дедуктивные макромодули: средства решения задач распараллеливания и генерации выходной программы
- 2.1.1. Синтаксис и семантика макромодуля
- 2.1.2. Расширение базовой семантики макромодуля: порождающее программирование
- 2.1.3. Некоторые простые примеры логического порождающего программирования на базе макромодулей
- 2.2. Средства анализа входной программы и согласование работы макромодулей
- 2.2.1. Расширенная схема препроцессинга
- 2.2.2. Управление препроцессингом
- 2.2.3. Сканирующие макросы
- 2.2.3.1. Синтаксис
- 2.2.3.2. Теоретические аспекты
- 2.2.4. Пример простого языкового расширения
- Выводы ко второй главе
- Глава 3. Автоматическое распараллеливание на базе трансформации программ
- 3.1. Распараллеливание в стиле Cilk++
- 3.1.1. Распараллеливание по задачам
- 3.1.1.1. Статический анализ кода
- 3.1.1.2. Динамический анализ кода и распараллеливание
- 3.1.2. Распараллеливание по виткам цикла
- 3.1.2.1. Статический анализ кода
- 3.1.2.2. Динамический анализ и распараллеливание
- 3.1.3. Обобщенный алгоритм распараллеливания
- 3.1.4. Архитектура параллелизатора
- 3.1.5. Апробация
- 3.2. Распараллеливание в стиле сверхоптимистичных вычислений
- 3.2.1. Теория сверхоптимистичных вычислений
- 3.2.2. Распараллеливание циклов
- 3.2.3. Архитектура параллелизатора
- 3.2.4. Апробация
- 3.3. Распараллеливание циклов на векторных расширителях
- 3.3.1. Технология оптимизирующей векторизации циклов
- 3.3.1.1. Основная идея
- 3.3.2. Конструкции оптимизирующей векторизации в Planning C
- 3.3.2.1. Векторизация циклов
- 3.3.2.2. Маркировка функций для автоматической расстановки характерных точек
- 3.3.3. Пример простейшей программы с векторизуемым циклом
- 3.3.4. Автоматическое распараллеливание циклов
- 3.3.5. Архитектура параллелизатора
- 3.3.6. Апробация
- Выводы к третьей главе
- Заключение
- Библиографический список