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

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

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

Формально: для каждого (i+1)-го измерения заданной процессорной системы функция setelw_ решает (относительно I_k,init и I_k,last) задачу

где:

После нахождения решения задачи (1) (обозначим его I_k,init,even , I_k,last,even; k = 0, ... , n - 1) вычислительный вес координаты k (i+1)-го измерения заданной процессорной системы полагается равным

I_k,last,even  I_k,init,even + 1 (k = 0, ... , n - 1).

Координатные веса загрузки должны быть заданы в виде вещественных неотрицательных чисел (double).

Нулевое значение i-го элемента массива LoadWeightAddr означает, что для (i+1)-го измерения заданной процессорной системы будут установлены веса координат процессоров, равные весам, заданым параметрами запуска системы поддержки (для начальной процессорной системы), или равные единице (для процессорной системы, не являющейся начальной).

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

Функция возвращает нулевое значение.

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

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

Под процессорным ресурсом (или просто ресурсом) абстрактной машины будем понимать совокупность процессоров, образующих элементный состав той многопроцессорной системы, на которую она отображена.

Функция distr_ распределяет ресурсы абстрактной машины между дочерними абстрактными машинами, которые входят в состав представления, заданного при обращении к функции ссылкой *AMViewRefPtr. Такое распределение называется отображением представления абстрактной машины в процессорную систему. Представление абстрактной машины может быть отображено лишь в том случае, если оно создано в текущей подзадаче (см. п. 10).

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

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

Число параметров, задаваемое в массивах AxisArray и DistrParamArray, должно быть равно *ParamCountPtr, которое не может превосходить размерности многопроцессорной системы, но может быть меньше её. В последнем случае недостающие до размерности многопроцессорной системы правила отображения будут считаться размножениями (2-е из рассмотренных ниже правил отображения).

Распределение ресурсов абстрактной машины достигается реализацией функционального соответствия

{представление абстрактной машины}  {многопроцессорная система} ,

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

Здесь:

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

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

1. F_j(I₁, ... ,I_n) = { [I_k/BLSIZE_k] } , где:

В этом случае образом элемента (i₁, ... ,i_n) индексного пространства представления абстрактной машины является множество, содержащее один элемент  [I_k/BLSIZE_k], принадлежащий множеству значений индексной переменной j-го измерения многопроцессорной системы.

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

Тогда:

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

min( (PSSIZE_j * BLSIZE_k  1) , AMSIZE_k  1 ).

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

AMSIZE_k ≤ PSSIZE_j * BLSIZE_k ,

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

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

1. F_j(I₁, ... ,I_n) = { Const } , где 0 ≤ Const ≤ PSSIZE_j-1 .

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

В результате осуществленного функцией 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]} установит соответствие:

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

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