Оглавление
Введение б
Актуальность темы
Цели и задачи работы.
Методы исследования
Основные результаты работы
Научная новизна работы.
Практическая значимость .
Доклады и печатные публикации
Структура работы
1 Автоматизированное распараллеливание программ
1.1 Введение
1.2 I.
1.3 шрС.
1.4 Vсистема.
1.5 Тсистема.
1.5.1 Основные идеи Тсистемы
1.5.2 Классы программ, на которые ориентирована Тсистема
1.5.3 Базовые механизмы Тсистемы
1.5.4 Другие подходы к автоматизированному распараллеливанию . .
1.6 Краткий обзор истории Тподхода.
1.6.1 Ранние версии Тсистемы
1.6.2 .
1.7 Трудности Тподхода.
ОГЛАВЛЕНИЕ
2 Математическая модель распараллеливания программ
2.1 Корректность распараллеливания программ
2.1.1 Корректность Тсистемы
2.2 Методы формального описания языков
2.2.1 Основные подходы к описанию семантики языков .
2.2.2 Семантика языка ТС
2.2.3 Операционная семантика
2.3 Формализация понятия корректности.
2.3.1 Описание Гсистемы.
2.4 Базовая модель Тсистемы.
2.4.1 Абстрактная машина .
2.4.2 Абстрактная машина Мраг.
2.4.3 Описание распараллеливания
2.5 Корректность преобразований в базовой модели.
2.6 Расширение базовой модели
2.6.1 Условие завершения работы.
2.6.2 Несоответствия между базовой моделью и языком С.
2.6.3 Расширение множества операторов.
2.6.4 Указатели и глобальные переменные.
2.7 Детализация модели.
2.8 Работа на нескольких узлах.
2.9 Реализация модели .
2. Исследование эффективности.
21 Аналитические оценки эффективности.
22 Имитационное моделирование.
23 Прогнозирование исполнения программ .
2. Отличия от
21 Обеспечение корректности в
22 Совместимость с С .
23 Туказатели
24 Передача аргументов через .
2. Похожие работы.
2. Выводы.
ОГЛАВЛЕНИЕ
3 Программная архитектура
3.1 Понятие программной архитектуры
3.2 Архитектура
3.3 Требования к архитектуре Тсистемы
3.4 Методы разработки архитектуры .
3.5 Выделение модулей в .
3.5.1 Принцип сокрытия информации.
3.5.2 Выделение интерфейсов модулей.
3.5.3 Структура модулей
3.5.4 Структура использования
3.5.5 Автоматический контроль зависимостей
3.6 Механизмы .
3.6.1 Активные сообщения
3.6.2 Сериализация как элемент архитектуры
3.6.3 Асинхронная обработка сообщений
3.6.4 Оптимизация локальных операций.
3.6.5 Координация вычислений в слабосвязанных комплексах
3.7 Использование формальной модели
3.8 Выводы.
4 Практические испытании
4.1 Микротесты
4.1.1 Тест i
4.1.2 Тест v
4.1.3 Недостатки микротестов
4.2 Модельные программы
4.2.1 Тест
4.3 Прикладные задачи
4.3.1 Программный комплекс Vx
4.3.2 Программа
4.4 Выводы.
Заключение
Список литературы
- Київ+380960830922