Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 9)

Функция mrealn_ отменяет расположение, установленное ранее с помощью функции malign_ (или align_ , см.п.7.1) для распределённого массива с заголовком *ArrayHeaderPtr, и задаёт для этого массива новое расположение в соответствии с указанной при обращении к функции картой отображения. Все распределённые массивы, при выравнивании которых рассматриваемый массив использовался в качестве образца, своё расположение сохранят.

Размерность распределённого массива и размерность представления абстрактной машины должны быть равны соответствующим размерностям, содержащимся в карте отображения.

При равном NULL значении AMViewRefPtr или при нулевом значении *AMViewRefPtr образцом выравнивания будет представление абстрактной машины, ссылка на которое содержится в карте отображения.

Как переотображаемый распределённый массив, так и представление абстрактной машины (заданное ссылкой *AMViewRefPtr или в карте отображения) на момент обращения к функции должны быть отображены в текущую процессорную систему или её подсистему (возможно, каждый в свою).

При ненулевом значении *NewSignPtr содержимое вновь выравненного массива будет обновлено (расписано нулевым кодом), а при нулевом  сохранено. При переотображении массива содержимое его границ (см. п. 12) не сохраняется.

Перераспределение массива с помощью функции mrealn_ возможно лишь в том случае, если при его создании функцией crtda_ значение её параметра *ReDistrParPtr было задано равным 2 или 3 (см.п.6).

Распределённый массив, заданный при обращении к функции, может быть ранее не отображён. В этом случае функция mrealn_ выполняется как функция malign_ , а значение параметра *NewSignPtr несущественно. Значение параметра *ReDistrParPtr, с которым был создан распределённый массив, также не имеет значения.

Функция возвращает ненулевое значение, если переотображённый массив имеет локальную часть на текущем процессоре, и нулевое  в противном случае.

7.7Уничтожение карты отображения

long delarm_(ArrayMapRef *ArrayMapRefPtr);

*ArrayMapRefPtr  ссылка на карту отображения распределённого массива.

Функция уничтожает созданную функцией arrmap_ карту отображения распределённого массива. После уничтожения карты отображения ссылка на неё может использоваться по усмотрению пользовательской программы.

Карта отображения может быть уничтожена функцией delarm_ только в том случае, если она была создана в текущей подзадаче и в текущем программном блоке (или его подблоке) (см. п. 8 и п. 10).

Карта отображения может быть уничтожена также с помощью функции delobj_ (см.п.17.5).

Возвращается нулевое значение.

Замечание. Одним из возможных применений функций выравнивания распределённого массива по карте отображения  сохранение и восстановление расположения массивов в процедурах, обрабатывающих внешние распределённые массивы с их перераспределением.

Отметим, что на момент использования карты отображения для задания или изменения расположения массива массив, являвшийся источником этой карты, может и не существовать.

7.8Опрос ссылки на представление абстрактной машины, в которое отображён заданный распределённый массив

AMViewRef getamv_ (long ArrayHeader[]);

ArrayHeader  заголовок распределённого массива.

Функция getamv_ возвращает ссылку на представление абстрактной машины, по которому выравнен распределённый массив, заданный заголовком ArrayHeader. Нулевое значение возвращённой ссылки означает, что заданный массив не отображён.

8Определение программного блока

long begbl_ (void);

Функция begbl_ определяет начало блока локализации следующих системных объектов:

• распределённого массива;

• представления абстрактной машины;

• многопроцессорной системы;

• карты отображения представления абстрактной машины;

• карты отображения распределённого массива;

• редукционной переменной;

• редукционной группы;

• группы границ распределённых массивов;

• буфера удалённых элементов регулярного доступа;

• группы буферов удалённых элементов регулярного доступа;

• буфера удалённых элементов нерегулярного доступа;

• группы буферов удалённых элементов нерегулярного доступа.

Вышеперечисленные объекты, созданные в блоке локализации, являются локальными и автоматически уничтожаются при выходе из этого блока (кроме объектов, созданных как статические и уничтожаемых только явно). Блоки локализации могут быть вложенными.

Отметим, что при уничтожении представления абстрактной машины уничтожаются все отображённые по нему распределённые массивы, а при уничтожении процессорной подсистемы – все отображённые в неё представления абстрактных машин.

Возвращается нулевое значение.

long endbl_ (void);

Функция endbl_ определяет завершение блока локализации. Возвращается нулевое значение.

9Описание параллельного цикла

9.1Создание параллельного цикла

LoopRef crtpl_ (long *RankPtr);

*RankPtr  размерность параллельного цикла.

Функция crtpl_ создает параллельный цикл (определяет его начало) и возвращает ссылку на него. Завершение параллельного цикла осуществляется с помощью функции endpl_ (см. п. 9.5).

Внутри любого параллельного цикла может быть создан и завершен другой параллельный цикл, т. е. параллельные циклы могут быть вложенными.

9.2Отображение параллельного цикла

Функция mappl_ создает регулярное отображение указанного параллельного цикла на указанное представление абстрактной машины в соответствии с заданными правилами отображения и описаниями измерений цикла. При этом витки цикла распределяются между дочерними абстрактными машинами, которые входят в состав этого представления. Представление абстрактной машины определяется образцом, который может быть как самим представлением, так и, при косвенном отображении, распределённым массивом. В последнем случае ссылка на образец  это первое слово заголовка распределённого массива.

Использование в качестве образца распределённого массива допустимо лишь в том случае, если он уже отображён на некоторое представление абстрактной машины, а использование представления абстрактной машины  если оно уже отображено на некоторую многопроцессорную систему. Поэтому выполнение функции mappl_ сводится к распределению витков отображаемого цикла между процессорами, входящими в состав этой многопроцессорной систем.

Повторное отображение параллельного цикла не допускается.

Каждое описание измерения параллельного цикла содержит начальное и конечное значения индекса, а также шаг его изменения. Функция mappl_ перевычисляет эти характеристики для текущего процессора (выделяет соответствующее подмножество итераций цикла) и записывает их новые значения в массивы OutInitIndex, OutLastIndexArray и OutStepArray. Число описаний измерений параллельного цикла должно быть равно его размерности.

Начальное значение индекса для любого измерения может быть как меньше его конечного значения, так и больше его. В первом случае предполагается задание положительного значения шага, во втором  отрицательного.

В Фортране массив LoopVarAddrArray может быть сформирован с помощью функции dvmadr_ , рассмотренной в п.17.7.

Типы индексных переменных параллельного цикла, задаваемые в массиве LoopVarTypeArray, могут принимать значения:

0 – переменная типа long;

1 – переменная типа int;

2 – переменная типа short;

3 – переменная типа char.

Если LoopVarTypeArray = NULL, то типы индексных переменных всех измерений цикла полагаются равными единице (int).

Рассмотрим отображение параллельного цикла подробнее. Пусть F  многозначная функция, определённая на индексном пространстве отображаемого цикла и принимающая значения в индексном пространстве образца:

где:

Отображение параллельного цикла по заданному образцу  это указание системе поддержки (посредством задания функции F) о том, что виток параллельного цикла, определённый индексным вектором (i₁, ... ,i_n), должен быть выполнен на тех и только тех процессорах, на которых размещён (или на которые отображён) хотя бы один из элементов образца, определённых множеством F((i₁, ... ,i_n)) (т.е. множеством-образом, элементами которого являются векторы индексного пространства образца).

Функции F₁, ... ,F_m называются координатными правилами отображения параллельного цикла. Система поддержки обеспечивает следующие правила отображения.

В этом случае образом элемента (i₁, ... ,i_n) индексного пространства параллельного цикла является множество, содержащее один элемент  A_j*I_k + B_j, принадлежащий множеству значений индексной переменной j-го измерения образца.

A_j и B_j должны удовлетворять условиям:

0 ≤ A_j*MAX_k + B_j ≤ MAX_j и 0 ≤ A_j*MIN_k + B_j ≤ MAX_j , где:

2. F_j(I₁, ... ,I_n) = { q  M_j: 0 ≤ q ≤ MAX_j } , где:

В этом случае образом любого элемента (i₁, ... ,i_n) индексного пространства отображаемого цикла является все множество значений индексной переменной j-го измерения образца (в подобных случаях принято использовать символ "*" , т. е. "любой из допустимых").

Характеристики

Список файлов учебной работы