Технологии автоматического дедуктивного распараллеливания в языке Planning C

В этой книге рассматривается сложная проблема автоматического распараллеливания C-программ, которая решается с помощью внедрения специальных языковых расширений в язык Planning C 2.0. Автор предлагает новые механизмы для реализации таких расширений и доказывает их эффективность в теореме. Особое внимание уделяется технологии распараллеливания циклов, состоящих из двух зависимых по данным частей. В книге также предлагается инновационная технология оптимизирующей векторизации многократно выполняемых циклов с расходящимися трассами итераций на векторных расширителях. Автор разбирает основные принципы работы каждой из предложенных технологий и предоставляет читателю инструменты для их практической реализации. Эта книга является полезным пособием для любого программиста, интересующегося темой автоматического распараллеливания и оптимизации программ.