Книга "Технологии автоматического дедуктивного распараллеливания на языке планинг це" авторства Владимира Викторовича Пекунова рассказывает о решении проблемы автоматического параллельного выполнения C-программ применением средств разработки языковых плагинов к языку планирования це 2.1.
Рассмотрены различные методы реализации плагинов, а также теоремы, которые доказывают их осуществимость. Для разных типов зависимостей между данными предлагается новая технология распределенного распараллеливания циклов, представляющих собой зависимости. Алгоритмами оптимизации являются векторизация многократно исполняемых циклов с расхождением трасс итерационных циклов на векторном расширении.
Монография содержит результаты разработки теории и технологии параллельной обработки для широкого класса C-приложений, использующих библиотеку PDDL (Planning Domain Description Language) и реализующих технологию дедуктивного планирования. Теория содержит классические методы решения задач параллельной обработки на модели многозадачной недетерминированной многопроцессорной системы — методы с использованием блокировок (для решения проблемы взаимного исключения), без использования блокировок (топологический подход) с помощью двухфазной синхронизации (по переменной состояния процесса). Распараллеливание решений с непрерывными изменениями структуры программы в ходу (перестройка данных и/или графиков исполнения элементарных операторов) осуществляется ранее не исследованным способом: при критическом по отношению к параллельным шагам выполнения тела цикла ставится разделитель по переменной-границе, определяющей конец его повторного исполнения (к примеру, счетчик сравнений при просмотре массива). Интерфейсные подключаемые расширения языка PDDL позволяют реализовать задания на параллельное выполнение операторов и повторноиспользовать их во многих приложениях, что способствует стандартизации мотода и применению типовых конструкций на практике. Описаны также общая процедурная методика формализации сложных распределенных однородных систем, модель обработки и алгоритмы синхронизации процессоров в средствах параллельного решения сложных многовариантных динамических задач, использующие топологический подход к планированию.
Электронная Книга «Технологии автоматического дедуктивного распараллеливания в языке Planning C» написана автором Владимир Викторович Пекунов в году.
Минимальный возраст читателя: 12
Язык: Русский
ISBN: 9785005635532
Описание книги от Владимир Викторович Пекунов
Работа посвящена решению проблемы автоматического распараллеливания C-программ с применением средств построения языковых расширений языка Planning C 2.0. Предложены механизмы реализации расширений, доказана теорема об их реализуемости. Предложена новая технология распараллеливания тел циклов, состоящих из двух зависимых по данным частей. Предложена технология оптимизирующей векторизации многократно выполняемых циклов с расходящимися трассами итераций на векторных расширителях.
