Введение
1 Анализ структуры программ 19
1.1 Постановка задачи 19
1.2 Класс анализируемых программ 24
1.3 Трансляция линейных фрагментов в граф зависимостей , . 26
1.4 Преобразование графа зависимостей линейного фрагмента в есть Петри 31
1.5 Анализ тесно вложенных гнёзд циклов 39
1.5.1 Ограничения-равенства 45
1.5.2 Ограничения-неравенства . 49
1.5.3 Алгоритм исключения переменной 49
1.5.4 Получение векторов расстояния и направления . 63
Выводы 66
2 Распараллеливающее преобразование 68
2.1 Постановка задачи 68
2.2 Распараллеливание тесно вложенных гнёзд циклов 8G
2.3 Распараллеливание тел циклов 96
2,3.1 Преобразование сети Петри 96
2.3.2 Трансляция сети Петри в параллельную программу . 99
2.3.3 Параллельная интерпретация сети Петри 100
2.3.4 Критерии оценки 101
Выводы 102
3 Реализация разработанных алгоритмов 103
Заключение 110
Литература
