Дипломная работа: Система автоматизации распараллеливания гибридный анализ

6. полученная при анализе информация об исходной программе помещается в базу данных системы САПФОР

В качестве инструментатора в динамическом анализаторе используется инструментатор FortranDVM/OpenMPпрограмм [8]. Этот инструментатор предоставляет для нужд динамического анализа информацию об объявлениях скалярных переменных и массивов, об обращениях к памяти переменных и массивов для чтения и записи, о начале, новой итерации и конце цикла, о местоположении цикла в программе и его параметрах, об объявлениях и вызовах функций и процедур, о формальных и фактических параметрах функций.

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

Опишем указанный алгоритм:

Для каждой переменной (элемента массива) хранятся все её точки чтения и записи. При очередном доступе на чтение (на запись) выполняется следующий анализ:

1. определяем ячейку памяти, к которой происходит доступ на чтение a_r (на запись a_{w 1} );

2. для каждой предшествующей записи в ячейку памяти a_w (для каждого предшествующего чтения a_r и каждой предшествующей записи a_{w 2} ) определяем виртуальную точу доступа VP(a_w ) (виртуальные точки доступа VP(a_r ) и VP(a_{w 2} ));

3. находим контекст C_L (контексты C_Lr и C_Lw ) – длиннейший общий подпуть контекстов C(a_r ) и C(a_w ) (C(a_{w 1} ) и C(a_r ), C(a_{w 1} ) и C(a_{w 2} ));

4. находим контекст C_m (контексты C_mr и C_mw ) – длиннейший контекст, являющийся подконтекстом контекста C_L (контекстов C_Lr