Об одном методе статического распараллеливания последовательных программ

Рассматривается метод статического распараллеливания последовательных программ, представленных информационно-логическим графом. Выявляются операторы программы, параллельность выполнения которых можно указать однозначно. Для операторов, параллельность выполнения которых нельзя указать в статике однозначно, выполняется разделение на специальные конструкции — ветви параллельной программы — с указанием допустимости или недопустимости параллельного выполнения ветвей. Даются правила формирования ветвей. Метод ориентирован на ассоциативную обработку данных, для которой дается оценка сложности алгоритма.