Жидченко
МЕТОДЫ И СРЕДСТВА ВИЗУАЛЬНОГО ПАРАЛЛЕЛЬНОГО
ПРОГРАММИРОВАНИЯ. <...> АВТОМАТИЗАЦИЯ
ПРОГРАММИРОВАНИЯ
Самара 2010
Об авторах
Коварцев Александр Николаевич - доктор
технических наук, профессор. <...> ОБОР МЕТОДОВ И СРЕДСТВ ВИЗУАЛЬНОГО
ПРОГРАММИРОВАНИЯ И АВТОМАТИЗАЦИИ
ПРОГРАММИРОВАНИЯ
7 <...> 4 . 3 ЗНАКОМСТВО С ТЕХНОЛОГИЯМИ MPI И OPENMP
75
4.3.1 ТЕХНОЛОГИЯ ОРЕПМР
76
4.3.2 ТЕХНОЛОГИЯ MPI <...> СТРУКТУРНОЕ ПРЕОБРАЗОВАНИЕ МОДЕЛИ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ
77
ДЛЯ СИСТЕМ С РАСПРЕДЕЛЕННОЙ ПАМЯТЬЮ MPI <...> МЕТОДЫ КОНТРОЛЯ КОРРЕКТНОСТИ МОДЕЛЕЙ
ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ
85
5.1 ПРОСТЕЙШИЙ МЕТОД ПОИСКА КРИТИЧЕСКИХ ДАННЫХ В МОДЕЛИ
ПАРАЛЛЕЛЬНОГО ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА
86
5.2 МЕТОД ПОИСКА КРИТИЧЕСКИХ ДАННЫХ НА ОСНОВЕ АЛГЕЬРЫ НАД
СПОСОБАМИ ИСПОЛЬЗОВАНИЯ ДАННЫХ <...> 3 . 3 ПРИМЕР ПРИМЕНЕНИЯ ФОРМУЛЫ НАД СПОСОБАМИ ИСПОЛЬЗОВАНИЯ
90
ДАННЫХ ДЛЯ ПОИСКА КРИТИЧЕСКИХ ДАННЫХ
5.5 ПРОВЕРКА КОРРЕКТНОСТИ СИНХРОНИЗАЦИИ ГРАФ-МОДЕЛИ
99
100
5.5.1 МЕТОД ПРОВЕРКИ КОРРЕКТНОСТИ СИНХРОНИЗАЦИИ ГРАФ-МОДЕЛИ
101
5.5.2 ВЗАИМНЫЕ БЛОКИРОВКИ В ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ
ПРОЦЕССАХ
105 <...> 5 . 7 КОНТРОЛЬНЫЕ ВОПРОСЫ
112
ЛИТЕРАТУРА
113
ОСНОВНАЯ ЛИТЕРАТУРА
113
ДОПОЛНИТЕЛЬНЯ Л И ТЕ РА ТУРА
113
ИНФОРМАЦИОННЫЕ РЕСУРСЫ СЕТИ ИПТЕРПЕТ
4
114
ПРЕДИСЛОВИЕ
Настоящее учебное пособие написано по материалам научных
исследований, проводимых авторами в течение нескольких лет в
Самарском государственном аэрокосмическом университете имени С.П.
Королева (СГАУ), первоначально в области технологий автоматизации
программирования, а в последствии - в области визуального моделирования
параллельных вычислений. <...> На кафедре программных систем (СГАУ) это
научное направление представлено технологией графосимволического
программирования (ГСН), в которой алгоритм программы представляется
графом управления, где в вершинах расположены вычислительные модули,
а дугам приписаны логические функции. <...> Основная цель пособия заключается в ознакомлении читателей с
современными технологиями автоматизации программирования и
визуального <...>
Методы_и_средства_визуального_параллельного_программирования._Автоматизация_программирования_[Электронный_ресурс]_.pdf
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ
ФЕДЕРАЦИИ
Государственное образовательное учреждение
высшего профессионального образования
"Самарский государственный аэрокосмический университет
имени академика С.Н. Королёва
(национальный исследовательский университет)"
A.Н. Коварцев
B.В. Жидченко
МЕТОДЫ И СРЕДСТВА ВИЗУАЛЬНОГО ПАРАЛЛЕЛЬНОГО
ПРОГРАММИРОВАНИЯ. АВТОМАТИЗАЦИЯ
ПРОГРАММИРОВАНИЯ
Самара 2010
Стр.1
Об авторах
Коварцев Александр Николаевич - доктор
технических наук, профессор. Область научных
интересов: автоматизация проектирования, разработки,
тестирования и оценки качества сложных систем.
Технологии
параллельных
вычислений.
Имеет
значительный опыт профессиональной деятельности в
области теории принятия решений при выборе
проектных параметров сложных технических систем.
Жидченко Виктор Викторович - кандидат
технических наук, доцент. Область научных
интересов:
моделирование
систем
и
высокопроизводительные вычисления. Читает на
кафедре программных систем СГАУ курсы лекций по
дисциплинам «Параллельное программирование» и
«Суперкомпьютеры и их применение».
Стр.2
Содержание
ПРЕДИСЛОВИЕ
ВВЕДЕНИЕ
ГЛАВА 1. ОБОР МЕТОДОВ И СРЕДСТВ ВИЗУАЛЬНОГО
ПРОГРАММИРОВАНИЯ И АВТОМАТИЗАЦИИ
ПРОГРАММИРОВАНИЯ
1.1. МЕТОДЫ И СРЕДСТВА АВТОМАТИЗАЦИИ ПРОГРАММИРОВАНИЯ
1.2. МЕТОДЫ И СРЕДСТВА ВИЗУАЛЬНОГО ПРОГРАММИРОВАНИЯ
1.3. МЕТОДЫ И СРЕДСТВА ВИЗУАЛЬНОГО ПАРАЛЛЕЛЬНОГО
ПРОГРАММИРОВАНИЯ
1.4. КРАТКИЙ ОЬЗОР РАЗДЕЛА
1.5. КОНТРОЛЬНЫЕ ВОПРОСЫ
ГЛАВА 2. ТЕХНОЛОГИЯ ГРАФОСИМВОЛИЧЕСКОГО
ПРОГРАММИРОВАНИЯ
2.1. КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ ГСП
2.2. БАЗОВЫЕ МОДУЛИ И ТИПЫ ДАННЫХ
2.2.1. ТИПЫ ДАННЫХ
2.2.2. БАЗОВЫЕ МОДУЛИ
2.2.3. ТИПЫ МОДУЛЕЙ
2.3. ОЬЪЕКТЫ ТЕХНОЛОГИИ
2.3.1. АКТОРЫ
2.3.2. ПРЕДИКАТЫ
2.3.3. АГРЕГАТЫ
2.3.4. ОБЪЕКТЫ ТИПА "IN LINE"
2.4. МОДЕЛЬ МЕЖМОДУЛЬНОГО ИНТЕРФЕЙСА
2.5. УПРАВЛЕНИЕ ВЫЧИСЛИТЕЛЬНЫМ ПРОЦЕССОМ
2.6. КРАТКИЙ ОЬЗОР РАЗДЕЛА
2.7. КОНТРОЛЬНЫЕ ВОПРОСЫ
5
6
7
7
10
15
22
22
24
24
28
28
30
31
33
34
37
37
38
39
42
45
46
ГЛАВА 3. КОНСТРУИРОВАНИЕ ОБЪЕКТОВ ТЕХНОЛОГИИ ГСН 47
3.1. ВВЕДЕНИЕ
47
3.2. КОНСТРУИРОВАНИЕ ОЬЪЕКТОВ ПАСПОРТИЗАЦИЕЙ ЬАЗОВЫХ МОДУЛЕЙ ....49
3.2. КОНСТРУИРОВАНИЕ АГРЕГАТОВ
3.5. КЛАССИФИКАЦИЯ ДАННЫХ ОЬЪЕКТОВ ГСП
3.5.1. ПРОБЛЕМА КЛАССИФИКАЦИИ ДАННЫХ АГРЕГАТОВ
51
54
54
3.5.2. ДЕКОМПОЗИЦИЯ АГРЕГАТОВ. АЛГЕБРА ТРЕХЗНАЧНОЙ ЛОГИКИ ВЫДЕЛЕНИЯ
КЛАССИФИКАЦИОННЫХ ПРИЗНАКОВ
56
3.5.3. СЖАТИЕ ЧИСЛА ОПЕРАЦИЙ АЛГОРИТМА КЛАССИФИКАЦИИ ДАННЫХ 60
3.6. АЛГОРИТМ КЛАССИФИКАЦИИ ДАННЫХ. СХЕМА МАРШРУТА
62
3
Стр.3