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

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

Нельзя отобразить уже отображённое функцией distr_ (redis_, mdistr_, mredis_) представление абстрактной машины или представление, хотя бы один элемент которого отображён в какую-либо процессорную систему с помощью функции mapam_ (см. п. 10).

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

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

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

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

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

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

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

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

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

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

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

long delmvm_ (AMViewMapRef *AMViewMapRefPtr);

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

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

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

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

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

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

5.7Неравномерное блочное распределение

Все используемые в данном пункте обозначения, кроме вновь вводимых, будем предполагать совпадающими с обозначениями, принятыми в п.5.1.

Рассмотренное в п.5.1 отображение представления абстрактной машины на многопроцессорную систему представляет собой равномерное распределение ресурсов родительской абстрактной машины по элементам её представления. В этом случае для каждого измерения представления абстрактной машины k величина блока BLSIZE_k считается не зависящей от значения j-й координаты элемента многопроцессорной системы. Такая однородность по каждому измерению многопроцессорной системы является следствием предполагаемой в п.5.1 равновесности всех её элементов: оптимальные веса всех координат процессоров одинаковы и равны единице (см.п.4.5).

Рассмотрим теперь случай неравновесных элементов многопроцессорной системы. Будем, как и в п.5.1, оперировать постоянной для k-го измерения представления абстрактной машины величиной блока BLSIZE_k, но "число" блоков, приходящихся на элемент многопроцессорной системы с координатой по j-му измерению P_j, будем полагать равным оптимальному весу этой координаты. Тогда первое из рассмотренных в п.5.1 правил отображения (то есть функция F_j(I₁, ... ,I_n)) определяется неравенствами

где WEIGHT_opt,j(P_j)  оптимальный вес координаты P_j.

Значение BLSIZE_k определяется следующим образом:

где

Поскольку максимально допустимое значение I_k есть

min( ([PSWEIGHT_opt,j * BLSIZE_k] - 1) , AMSIZE_k - 1 ) ,

для полного охвата правилом отображения k-го измерения представления абстрактной машины требуется выполнение неравенства

AMSIZE_k ≤ PSWEIGHT_opt,j * BLSIZE_k ,

6Создание и уничтожение распределенного массива

6.1Создание распределенного массива

Создание распределённого массива с помощью функции crtda_ означает лишь инициализацию системных структур, описывающих массив. Выделение памяти для элементов распределённого массива производится только после задания его отображения на абстрактную машину с помощью функции align_ (вычисления для каждого процессора, на который отображена абстрактная машина, локальной части массива в соответствии с его распределением, см. п.7.1). Доступ к элементам массива производится через функции системы поддержки (см. п.13).

Заголовок создаваемого распределённого массива представляет собой массив из *RankPtr+1 (при *ExtHdrSignPtr = 0) или *RankPtr*2+2 (при *ExtHdrSignPtr = 1) элементов типа "long". Его размещение в памяти (статическое или динамическое) должна произвести пользовательская программа. Инициализация заголовка распределённого массива осуществляется системой поддержки. Его основное назначение  обеспечить эффективный доступ к элементам локальной части распределённого массива.

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

Структура заголовка распределённого массива и его использование (совместно с базовым указателем) для доступа к локальной части массива рассмотрены в п. 13.4.

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

Параметр *ReDistrParPtr может принимать значения:

Число параметров (ширины нижних и верхних границ), задаваемых в массивах LowShdWidthArray и HiShdWidthArray, должно быть равно размерности распределённого массива. Вопрос о границах локальных частей распределённых массивов рассмотрен в п.12. Здесь же отметим, что ширина границы может быть задана равной нулю.

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

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