rtsIDr (1158449), страница 5

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

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

В результате осуществленного функцией distr_ отображения заданного представления родительской абстрактной машины в заданную процессорную систему каждому элементу представления (т. е. дочерней абстрактной машине) будет поставлена в соответствие процессорная система (совокупность процессоров, являющаяся образом элемента представления при рассмотренном выше отображении F). Абстрактная машина вместе с её процессорным образом образуют параллельную подзадачу. Активизация (запуск) подзадачи производится при входе в соответствующий ей виток параллельного цикла. Выполнение подзадачи – это выполнение витка параллельного цикла (см. п. 9). Другой способ создания и запуска параллельных подзадач рассмотрен в п. 10.

Примеры.

1. Пусть абстрактная машина и многопроцессорная система представлены матрицами:

Тогда функция F((I₁,I₂)) = { [I₁ / 3]}  {[I₂ / 2] } установит соответствие:

элемент PS[J₁][J₂]  подматрица AM[3*J₁ ≤ I₁ ≤ 3*J₁ + 2][2*J₂ ≤ I₂ ≤ 2*J₂ + 1] (блок [3][2]).

1. Пусть абстрактная машина и многопроцессорная система представлены массивами:

Тогда функция F((I)) = {2}  {[I/4]} установит соответствие:

элемент PS[2][J₂]  отрезок AM[4*J₂ ≤ I ≤ 4*J₂ + 3] (блок [4]).

Строки 0,1 и 3 многопроцессорной системы в образ отображения F не войдут.

1. Пусть абстрактная машина и многопроцессорная система представлены массивами:

Тогда функция F((I₁,I₂)) = {[I₂/4]} установит соответствие:

элемент PS[J]  подматрица AM[0 ≤ I₁ ≤ 7][4*J ≤ I₂ ≤ 4*J + 3] (блок [8][4]).

1. Пусть абстрактная машина и многопроцессорная система представлены массивами:

Тогда функция F((I)) = {*}  {[I/4]} установит соответствие:

элемент PS[J₁][J₂]  отрезок AM[4*J₂ ≤ I ≤ 4*J₂ + 3] (блок [4]).

То есть, в данном случае образ отображения F из примера b) размножен по строкам многопроцессорной систем.

1. Пусть абстрактная машина и многопроцессорная система представлены матрицами:

Тогда функция F((I₁,I₂)) = {*}  {*} установит соответствие:

элемент PS[J₁][J₂]  подматрица AM[0 ≤ I₁ ≤ 8][0 ≤ I₂ ≤ 7] (блок[9][8]), т.е. все представление абстрактной машины.

Замечание. Применение в функции align_ (realn_) представления абстрактной машины из примера e) в качестве образца дает возможность получить полностью размноженный распределённый массив, т.е. такой, каждый элемент которого размещён на каждом процессоре (см.п.7.1).

При обращении к функции distr_ координатное правило отображения F_j(I₁, ... , I_n) = {[I_k/BLSIZE_k]} для j-го измерения многопроцессорной системы задается следующим образом:

Если DistrParamArray[j-1] задан нулевым, то система поддержки вычислит BLSIZE_k так, как было показано выше.

Для задания правила F_j(I₁, ... ,I_n), значением которого для любых I₁, ... ,I_n является множество всех значений индексной переменной j-го измерения многопроцессорной системы, значение AxisArray[j-1] (значение k) должно быть установлено нулевым. Значение DistrParamArray[j-1] в этом случае несущественно.

Правило отображения F_j(I₁, ... ,I_n) = { Const } задается так:

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

5.2Изменение отображения представления абстрактной машины на многопроцессорную систему (перераспределение ресурсов)

Функция redis_ отменяет распределение ресурсов родительской абстрактной машины, установленное ранее с помощью функции distr_ (или mdistr_ , см.п.5.4) для дочерних абстрактных машин, которые входят в состав представления, заданного ссылкой *AMViewRefPtr, и осуществляет новое отображение указанного представления в соответствии с заданными параметрами. Все распределённые массивы, ранее выравненные по рассматриваемому представлению с помощью функций align_ и malign_ (как непосредственно, так и косвенно), будут отображены заново по прежним правилам выравнивания (см.п.7). Содержимое этих массивов будет обновлено (расписано нулевым кодом), если значение *NewSignPtr не равно нулю, или, в противном случае, сохранено. При переотображении массивов содержимое их границ (см. п. 12) не сохраняется.

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

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

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

Представление абстрактной машины, заданное при обращении к функции, может быть ранее не отображено. В этом случае функция redis_ выполняется как функция distr_ , а значение параметра *NewSignPtr несущественно.

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

5.3Опрос карты отображения

Функция amvmap_ создает объект (карту отображения), описывающий текущее отображение представления абстрактной машины на процессорную подсистему, и возвращает ссылку на созданный объект.

Карта отображения представления абстрактной машины содержит, в частности, следующую информацию:

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

• правила отображения для всех измерений этой процессорной подсистемы;

• размерности представления абстрактной машины и процессорной подсистемы (для контроля).

Задаваемый ненулевым значением *StaticSignPtr признак статической карты отображения означает создание карты, не уничтожаемой при выходе из программного блока (см.п.8). Такая карта может быть уничтожена только явно, с помощью рассмотренной в п.5.6 функции delmvm_.

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

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

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

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

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

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

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

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