ОГЛАВЛЕНИЕ
СПИСОК СОКРАЩЕНИЙ
ВВЕДЕНИЕ
1. АНАЛИЗ ПРОБЛЕМЫ ОРГАНИЗАЦИИ МОБИЛЬНЫХ ПАРАЛ ЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ
1.1. Анализ существующих языков и систем параллельного программиро вания
1.2. Анализ существующих систем автоматического и полуавтоматическо го распараллеливания последовательных профамм
1.3. Анализ формальных моделей данных, алгоритмов и профамм
1.3.1. Модель алгоритма
1.3.2. Модель профаммы
1.4. Анализ существующих алгоритмов и методов распараллеливания по следовательных профамм
1.4.1. Методы и алгоритмы, используемые на стадии анализа иоследова тельной программы
1.4.2. Методы и алгоритмы, используемые на стадии синтеза параллель ной версии профаммы
1.5. Анализ существующих способов организации мобильных вычислений
1.5.1. Достижение переносимости па уровне ЯВУ
1.5.2. Переносимость в пределах заданной ОС
1.5.3. Архитектура ВС и обеспечение переносимости ПО
1.5.4. Использование промежуточного представления и абстрактной вы числительной машины
2. модель параллельного промежуточного коде И
АЛГОРИТМЫ ПРЕОБРАЗОВАНИЯ ИСХОДНЫХ ТЕКСТОВ
ПОСЛЕДОВАТЕЛЬНЫХ программ в промежуточный код
2.1. Модель типов данных
2.1.1. Элементарный тип данных
2.1.2. Составной тип данных
2.2. Модель операций
2.2.1. Семантика операций над данными
2.2.2. Семантика управляющих операций
2.3. Модель параллельного промежуточного представления
2.3.1. Разработка алгоритма исключения оператора из профаммы
2.3.2. Разработка алгоритма исключения оператора i из профам мы
2.3.3. Разработка алгоритма выделения регионов на основе управляю щей структуры профаммы
2.4. Модель параллельного промежуточного кода
2.4.1. Выявление параллелизма между регионами параллельного про 1 межуточного кода
3. СИНТЕЗ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ НА ОСНОВЕ 7 ПАРАЛЛЕЛЬНОГО ПРОМЕЖУТОЧНОГО КОДА
3.1. Модель операционной системы как среды функционирования парал 8 дельных процессов
3.1.1. Алгебраическая модель подсистемы управления процессами ОС
3.1.2. Автоматная сеть как модель параллельного вычислительного про 2 цесса
3.2. Статический синтез параллельной реализации последовательной про 6 граммы для мультипроцессорной вычислительной системы с общей памятью
3.2.1. Разработка алгоритма статического синтеза параллельной про 1 граммы
3.2.2. Разработка алгоритма отображения параллельной программы на 5 модель операционной среды
3.2.3. Уточнение длительности исполнения параллельных регионов про 7 граммы в условиях неопределенности
3.2.4. Расчет величины уточняющей задержки на основе иредваритель 9 ных статистических испытаний
3.3. Динамический синтез параллельной реализации последовательной про 4 граммы для мультипроцессорной вычислительной системы с общей памятью
3.3.1. Использование метода спекулятивной многопоточности 5 для динамического распараллеливания последовательных программ
3.3.2. Расчет характеристик использования метода спекулятивной мно 3 гопогочности для динамического распараллеливания циклов
3.3.3. Выделение спекулятивных регионов и эпох на основе параллель 8 ного промежуточного кода
4. ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ РАЗРАБОТАННЫХ 4 АЛГОРИТМОВ
4.1. Экспериментальное исследование характеристик разработанных алго 4 ритмов
4.1.1. Экспериментальное исследование алгоритма исключения опера 5 тора Ьгеак
4.1.2. Исследование алгоритма исключения оператора i
4.1.3. Экспериментальное исследование алгоритма выделения регионов
4.1.4. Экспериментальное исследование алгоритма статического синтеза 0 параллельной программы
4.2. Области практического применения полученных результатов
4.2.1. Программные средства поддержки этапа преобразования последо
вательных программ в мобильный параллельный промежуточный код
4.2.2. Программные средства поддержки этапа исполнения параллель 3 ного промежуточного кода
4.3. Результата внедрения
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ