В. А. Васенин, А. Н. Водомеров, А. В. Инюхин

Средства автоматизированного динамического распараллеливания программ на основе сочетания императивных и функциональных механизмов

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

Vasenin V. A., Vodomerov A. N., Inyukhin A. V.

Automated Parallelization Tools Based on the Combination of Imperative and Functional approaches

ОГЛАВЛЕНИЕ
Введение

1.Распараллеливание программ на основе функционального подхода
1.1. Базовые механизмы Т-системы
1.2. Другие подходы к автоматизированному динамическому распараллеливанию
1.3. Краткий обзор истории Т-подхода
1.4. Состояние Т-системы
2. Формальные модели
2.1. Корректность распараллеливания
2.2. Обзор подходов к описанию семантики языков
2.3. Модели Т-системы
3. Операционная модель Т-системы
3.1. Основные положения операционного подхода
3.2. Модель языка
3.3. Абстрактная машина Mseg
3.4. Абстрактная машина Mpar
3.5. Доказательство корректности
3.6. Машина Mdistr
4. Денотационная модель Т-системы
4.1. Основные положения денотационного подхода
4.2. Разделение семантической функции
5. Программная реализация
5.1. Понятие архитектуры ПО
5.2. Архитектура OpenTS
5.3. Требования к архитектуре Т-системы
5.4. Методы построения архитектуры
5.5. Выделение модулей в NewTS
5.6. Структура модулей
5.7. Структура использования .
5.8. Координация вычислений в слабосвязанных комплексах
5.9. Реализация архитектуры
6. Практические испытания
6.1. Микротесты
6.2. Модельные программы
6.3. Прикладные задачи
6.4. Анализ результатов

Заключение

Список литературы