Учебник. – Самара: Изд-во Самар. гос. аэрокосм. ун-та, 2011. – 168
с. ISBN 978-5-7883-0909-5
Изложены основные сведения, необходимые для работы в области
параллельного программирования. Даётся краткая характеристика
существующих методов визуального программирования. Рассматриваются
основные принципы построения средства автоматизации разработки
моделей параллельных алгоритмов на основе визуального стиля
программирования, который повышает наглядность представления
моделей параллельных алгоритмов, существенно уменьшает число
ошибок, допускаемых на этапах проектирования и кодирования
программ.
Предназначен для студентов, аспирантов и специалистов, изучающих и практически использующих параллельные компьютерные системы для решения трудоёмких задач. Содержание
Предисловие
Введение
Обзор методов и средств визуального программирования и автоматизации программирования
Методы и средства автоматизации программирования
Методы и средства визуального программирования
Методы и средства визуального параллельного программирования
Краткий обзор раздела
Контрольные вопросы
Технология графосимволического программирования
Концептуальная модель ГСП
Основные положения
Онтологии в технологии ГСП
Базовые модули и типы данных
Типы данных
Базовые модули
Типы модулей
Объекты технологии
Акторы
Предикаты
Агрегаты
Объекты типа «in line»
Модель межмодульного интерфейса
Управление вычислительным процессом
Модель алгоритма решения задачи «Ханойские башни»
Краткий обзор раздела
Контрольные вопросы
Конструирование объектов технологии ГСП
Введение
Конструирование объектов паспортизацией базовых модулей
Конструирование агрегатов
Классификация данных объектов ГСП
Проблема классификации данных агрегатов
Декомпозиция агрегатов. Алгебра трехзначной логики выделения классификационных признаков
Сжатие числа операций алгоритма классификации данных
Алгоритм классификации данных. Схема маршрута
Эффективность алгоритма АЧП
Краткий обзор раздела
Контрольные вопросы
Моделирование параллельных вычислений
Концептуальная модель организации параллельных вычислений в технологии ГСП
Модель синхронизации параллельных процессов
Граф-машина для параллельных вычислений
Реализация модели общей памяти технологии ГСП в распределенных системах с использованием технологии MPI
Диспетчер данных
Обзор класса TPOData
Использование локальных переменных в параллельных процессах
Знакомство с технологиями MPI и OpenMP
Технология OpenMP
Технология MPI
Структурное преобразование модели параллельных вычислений для систем с распределенной памятью MPI
Использование PGRAPH для разработки алгоритма параллельной глобальной оптимизации
Краткий обзор
Контрольные вопросы
Методы контроля корректности моделей параллельных вычислений
Простейший метод поиска критических данных в модели параллельного вычислительного процесса
Метод поиска критических данных на основе алгебры над способами использования данных
Пример применения формулы над способами использования данных для поиска критических данных
Проверка корректности синхронизации граф-модели
Метод проверки корректности синхронизации граф-модели
Взаимные блокировки в параллельных вычислительных процессах
Пример использования методов поиска критических данных и проверки корректности синхронизации
Параллельная модель RS-триггера
Модель RS-триггера без синхронизации
Краткий обзор
Контрольные вопросы
Литература
Основная литература
Дополнительная литература
Информационные ресурсы сети Интернет
Предназначен для студентов, аспирантов и специалистов, изучающих и практически использующих параллельные компьютерные системы для решения трудоёмких задач. Содержание
Предисловие
Введение
Обзор методов и средств визуального программирования и автоматизации программирования
Методы и средства автоматизации программирования
Методы и средства визуального программирования
Методы и средства визуального параллельного программирования
Краткий обзор раздела
Контрольные вопросы
Технология графосимволического программирования
Концептуальная модель ГСП
Основные положения
Онтологии в технологии ГСП
Базовые модули и типы данных
Типы данных
Базовые модули
Типы модулей
Объекты технологии
Акторы
Предикаты
Агрегаты
Объекты типа «in line»
Модель межмодульного интерфейса
Управление вычислительным процессом
Модель алгоритма решения задачи «Ханойские башни»
Краткий обзор раздела
Контрольные вопросы
Конструирование объектов технологии ГСП
Введение
Конструирование объектов паспортизацией базовых модулей
Конструирование агрегатов
Классификация данных объектов ГСП
Проблема классификации данных агрегатов
Декомпозиция агрегатов. Алгебра трехзначной логики выделения классификационных признаков
Сжатие числа операций алгоритма классификации данных
Алгоритм классификации данных. Схема маршрута
Эффективность алгоритма АЧП
Краткий обзор раздела
Контрольные вопросы
Моделирование параллельных вычислений
Концептуальная модель организации параллельных вычислений в технологии ГСП
Модель синхронизации параллельных процессов
Граф-машина для параллельных вычислений
Реализация модели общей памяти технологии ГСП в распределенных системах с использованием технологии MPI
Диспетчер данных
Обзор класса TPOData
Использование локальных переменных в параллельных процессах
Знакомство с технологиями MPI и OpenMP
Технология OpenMP
Технология MPI
Структурное преобразование модели параллельных вычислений для систем с распределенной памятью MPI
Использование PGRAPH для разработки алгоритма параллельной глобальной оптимизации
Краткий обзор
Контрольные вопросы
Методы контроля корректности моделей параллельных вычислений
Простейший метод поиска критических данных в модели параллельного вычислительного процесса
Метод поиска критических данных на основе алгебры над способами использования данных
Пример применения формулы над способами использования данных для поиска критических данных
Проверка корректности синхронизации граф-модели
Метод проверки корректности синхронизации граф-модели
Взаимные блокировки в параллельных вычислительных процессах
Пример использования методов поиска критических данных и проверки корректности синхронизации
Параллельная модель RS-триггера
Модель RS-триггера без синхронизации
Краткий обзор
Контрольные вопросы
Литература
Основная литература
Дополнительная литература
Информационные ресурсы сети Интернет