lec13ПП.pptx

линий связи между этими узлами.
Топология может быть представлена в

виде графа, в котором
вершины есть процессоры (процессы) системы,
дуги соответствуют имеющимся линиям (каналам) связи.

Лекция 13. И.Г. Захарова, кафедра ПО

коммуникатора.
В коллективной операции принимают участие все процессы коммуникатора.
Следовательно,

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

Лекция 13. И.Г. Захарова, кафедра ПО

типа граф:
int MPI_Graph_create(MPI_Comm oldcomm, int nnodes, int *index, int

*edges, int reorder, MPI_Comm* graphcomm)
oldcomm-исходныйкоммуникатор,
nnodes-количество вершин графа,
index-количество исходящих дуг для каждой вершины,
edges-последовательный список дуг графа,
reorder-параметр допустимости изменения нумерации процессов,
graphcomm–создаваемый коммуникатор с топологией типа граф.
Операция создания топологии является коллективной и должна выполняться всеми процессами исходного коммуникатора

Лекция 13. И.Г. Захарова, кафедра ПО

программу код:
...
int index[] = { 4,1,1,1,1 };
int edges[] =

{ 1,2,3,4,0,0,0,0 };
MPI_CommStarComm;
MPI_Graph_create(MPI_COMM_WORLD, 5, index, edges, 1,&StarComm);
...

Лекция 13. И.Г. Захарова, кафедра ПО

функций передачи данных предполагали, что сообщения - некоторый непрерывный вектор

элементов базового типа MPI.
B общем случае данные могут располагаться в памяти не рядом и состоять из разнотипных значений.

Лекция 13. И.Г. Захарова, кафедра ПО

сообщений (накопление латентности операций передачи данных из-за роста их числа).
предварительно

упакованы в формат непрерывного вектора (лишние операции копирования данных).

Лекция 13. И.Г. Захарова, кафедра ПО

типа,
Описание расположения значений (могут не располагаться непрерывно по памяти).
Основа

–
карта типа:
TypeMap = {(type0,disp0), (type1,disp1), …}
сигнатура типа:
TypeSignature = {type0, type1, …}

Лекция 13. И.Г. Захарова, кафедра ПО

типов,
последовательность смещений.
Последовательность таких пар определяется как отображение (карта) типа.
Использование производного

типа в функциях обмена сообщениями – трафарет для интерпретации данных, наложенный на область памяти, которая содержит передаваемое или принятое сообщение.

Лекция 13. И.Г. Захарова, кафедра ПО

24
double b; // адрес 40
int n; // адрес

48
Тогда производный тип для описания данных должен иметь карту типа вида:
{(MPI_DOUBLE,0),(MPI_DOUBLE,16),(MPI_INT,24)}

Лекция 13. И.Г. Захарова, кафедра ПО

элемента и сколько занимает):
int MPI_Type_extent( MPI_Datatype type, MPI_Aint *extent );
int

MPI_Type_size( MPI_Datatype type, MPI_Aint *size );
(П: размер=20, протяженность=28)
Получение адреса переменной
int MPI_Address( void *location, MPI_Aint *address );

Лекция 13. И.Г. Захарова, кафедра ПО

типа как новый производный тип
Векторный способ обеспечивает создание нового производного

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

Лекция 13. И.Г. Захарова, кафедра ПО

промежутки между элементами исходного типа могут иметь нерегулярный характер
Структурный способ

обеспечивает самое общее описание производного типа через явное указание карты создаваемого типа данных.

Лекция 13. И.Г. Захарова, кафедра ПО

определенных производных типов с помощью специальных функций-конструкторов :
MPI_Type_contiguous,
MPI_Type_vector,

MPI_Type_hvector,
MPI_Type_indexed, MPI_Type_hindexed,
MPI_Type_struct.

Лекция 13. И.Г. Захарова, кафедра ПО

новый производный тип можно использовать в коммуникационных операциях и при

конструировании других типов.
Предопределенные типы MPI считаются зарегистрированными.
Когда производный тип становится ненужным, он уничтожается функцией
MPI_Type_free

Лекция 13. И.Г. Захарова, кафедра ПО

собой несколько равноудаленных друг от друга блоков из одинакового числа

смежных элементов базового типа.
int MPI_Type_vector(int count, int blocklength, int stride, MPI_Datatype oldtype, MPI_Datatype *newtype)

Лекция 13. И.Г. Захарова, кафедра ПО

в каждом блоке;
stride - шаг между началами соседних блоков, измеренный

числом элементов базового типа;
oldtype - базовый тип данных;
newtype - новый производный тип данных.

Лекция 13. И.Г. Захарова, кафедра ПО

в байтах