Разработка структурно-функциональных методов в параллельном программировании

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
ГЛАВА I. СТРУКТУРНОФУНКЦИОНАЛЬНЫЕ МЕТОДЫ
ОПИСАНИЯ ЗАДАЧ .
1.1. Функциональный и алгоритмический аспекты программирования задач
1.2. О понятиях структура, структуризация программы и способах их определения
1.5. Языки программирования и типы данных
Выводы
ГЛАВА 2. ФУНКЦИОНАЛЬНЫЕ ЯЗЫКИ ПАРАЛЛЕЛЬНОГО
ПРОГРАММИРОВАНИЯ.
2.1. О споообах композиции функций .
2.2. Функциональные языки программирования и типизация данных
2.3. Основные принципы построения функциональных языков параллельного программирования .
2.4. Расширения функциональных языков параллельного программирования
Выводы.
ГЛАВА 3. ОЦЕНКИ СЛОЖНОСТИ И ЦЕЛЕНАПРАВЛЕННЫЕ
ЭКВИВАЛЕНТНЫЕ ПРЕОБРАЗОВАНИЯ ФУНКЦИЙ
3.1. Оценки СЛОЖНОСТИ функций 3 Яф.
3.1.1. Структурная сложность функций в Яф . . .
3.1.2. Оценка сложности параллельных вычислений значений функций по их ФС .
3.2. Целенаправленные эквивалентные преобраао
вания функций в Яф. .
Стр.
3.2.1 Об эквивалентных преобразованиях
о,
вычиолиных функций .
3.2.2. Целенаправленные эквивалентные преобразования функций .
Выводы. . . .
ГЛАВА 4. МЕТОДЫ И ТЕХНОЛОГИЯ СХЕМНОФУНКЦИОНАЛЬНОГО
ПРОГРАММИРОВАНИЯ ЗАДАЧ . .
4.1. Декомпозиционные методы разработки программ
и их формальное представление . . О
4.2. Реализация декомпозиционных методов на основе
схемнофункционального представления гадач . .
4.3. Приемы разработки параллельных программ о
учетом их эффективности .
4.4. Верификация параллельных программ
4.4.1. Правила верификации параллельных программ
на ФЯПП
4.4.2. Контроль типов функций .
4.5. Технологические аспекты разработки параллельных программ на ФЯПП
Выводы
ГЛАВА 5. ФУНКЦИОНАЛЬНАЯ СИСТЕМА ПАРАЛЛЕЛЬНОГО
ПРОГРАММИРОВАНИЯ .
5.1. Основные принципы построения системы параллельного программирования .
5.2. Принципы организации управления вычислениями
в сиотеме параллельного программирования , . .
5.2.1, Основные функции и структура системы
диспетчерских программ. .
Стр.
5.2.2. Практическая реализация процесса управления асинхронными вычислениями на многомашинных и многопроцессорных вычислительных комплексах . .
5.2.3. Взаимодейотвие Диспетчера, Монитора и ОС ЕС
5.2.4. Взаимодейотвие Диспетчера, Монитора и
системы виртуальных машин . .
5.2.4.1. Основные принципы построения оиотемы виртуальных машин .
5.2.4.2. Пути реализации механизмов взаимодей
отвия Диспетчера, Монитора и СВМ ЕС . .
5.3. Средства отладки параллельных программ . .
5.4. Основные характеристики системы параллельного програмыирования
Выводы
ЗАКЛЮЧЕНИЕ .
ПРИЛОЖЕНИЕ I. ФОРМУЛИРОВКА ФУНКЦИОНАЛЬНОГО ЯЗЫКА
ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ
ПРИЛОЖЕНИЕ 2. ПРИВЕДЕНИЕ ФУНКЦИЙ Яф ПУТЕМ ЭКВИВАЛЕНТНЫХ
ПРЕОБРАЗОВАНИЙ К МИНИМАЛЬНОЙ СЛОЖНОСТИ . .
ПРИЛОЖЕНИЕ 3. ПРИМЕРЫ ПРОГРАММИРОВАНИЯ НА ФЯПП . . . .
ПРИЛОЖЕНИЕ 4. ОЦЕНКА СЛОЖНОСТИ РАЗЛИЧНЫХ ПРОГРАММ НА
ФЯПП РЕШЕНИЯ ЗАДАН СОРТИРОВКИ
ПРИЛОЖЕНИЕ 5. ПРИМЕР ДОКУМЕНТИРОВАНИЯ ПРОГРАММЫ НА ФЯПП
ПРИЛОЖЕНИЕ 6. ОЦЕНКИ СЛОЖНОСТИ ПРОГРАММ И ФУНКЦИЙ .
ПРИЛОЖЕНИЕ 7. ЭФФЕКТИВНОСТЬ ПАРАЛЛЕЛЬНОГО ВЫПОЛНЕНИЯ ПРОГРАММЫ СОРТИРОВКИ ЭЛЕМЕНТОВ ПОСЛЕДОВАТЕЛЬНОСТИ .
ЛИТЕРАТУРА