cdvmDDr (1158400), страница 4
Текст из файла (страница 4)
Замечание. Исходное описание заменено. Форматы распределения будут использованы при создании темплейта. Если размер (size) задан, то создание будет неявным.
Реализация.
Функция ISWFdcltr проверяет (кроме прочего), что template-id описан как void *, и выдает сообщение, если это не так. Функция wfTEMPLATE проверяет параметр поддирективы и выдает сообщение, если ранги не совпадают.
Функция crRef(N,type) заменяет тип "void*" на тип "AMViewRef".
3.1.8Директива CREATE_TEMPLATE
Контекст и синтаксис.
DVM(CREATE_TEMPLATE template-id "["size"]"... ) ;
Выход компилятора.
DVM_CREATE_TEMPLATE(am,t,r,di);
DVM_DISTRIBUTE(amv,ps,k,axs);
Замечание. Выполнимая директива конвертируется в оператор.
Реализация.
Функция wfLX_CRTEMP проверяет директиву и выдает сообщение, если
-
template-id не определен;
-
не специфицирован как TEMPLATE;
-
является "статическим" (и тогда создается автоматически);
-
ранги не совпадают.
Требуемые поддеревья строит функция mk_templ(amv,dims,dir).
3.2Распределение вычислений (циклы и задачи)
3.2.1Директива PARALLEL
Контекст и синтаксис.
DVM ( PARALLEL "["loop-var"]"...
ON base "["align_expr"]"...
[ ; sub-directives]... )
loop-nest
Выход компилятора.
{
[ dvm_create_rg ]
DVM_PARALLEL(n,r);
[ other sub-directives... ]
DVM_DO_ON((n,r,vs,ls,hs,ss,base,rb,is,as,bs);
[ dvm_reduction or dvm_reduction20 ]
{
DVM_DOPL(n)
loop-headers DVM_FOR...
{
loop-body
}
}
[ end_reduction ]
DVM_END_PARALLEL(n);
}
Реализация.
Ядро директивы проверяются как для директивы ALIGN. Функция wfDVMvar проверяет список loop-var , сравнивая его с заголовками цикла, и выдает сообщение, если он не состоит из всех переменных цикла или содержит их не в том порядке.
Требуемые поддеревья строит функция pLoop. Она также вставляем в нужные места оболочки параллельного цикла поддеревья, построенные для поддиректив.
3.2.2Поддиректива ACROSS
Контекст и синтаксис.
DVM ( PARALLEL ... ; ACROSS array "["widths"]"... )
Выход компилятора.
dvm_parallel ... sub_directives
DVM_ACROSS(loopid, (
DVM_ACROSS_SH(a,k,ls,hs,corner) // for each renewee
...
))
{ dvm_dopl
loop-headers...
loop-body
}
DVM_END_ACROSS()
[ end_reduction ]
dvm_end_parallel
Реализация.
Функция wfDVMshw() проверяет список границ и выдает сообщение, если:
-
ранги не совпадают;
-
превышена максимальная ширина границы.
Функция wfDVMshad() проверяет renewee и выдает сообщение, если CORNER указан для одномерного массива (предупреждение).
Требуемые поддеревья строит функция wfACROSS. Окончательное построение выполняется функцией Ploop, когда цикл полностью разобран. Она вставляет ранее построенное поддерево в нужное место оболочки параллельного цикла.
3.2.3Директива PROCESSORS и функция NUMBER_OF_PROCESSORS()
Контекст и синтаксис.
DVM(PROCESSORS "["dim"]"...) void * proc_id ;
Выход компилятора.
PSRef proc_id;
...
DVM_PROCESSORS(Iproc_id),r,dims);
Замечание. Исходное описание заменено. Макрокоманда генерируется не в точке описания, а в общей последовательности неявных операций.
Реализация.
Функция ISWFdcltr проверяет (кроме прочего), что proc-id описан как void *, и выдает сообщение, если это не так. Функция ISWFdclr строит также поддерево для макрокоманды DVM_PROCESSORS и с помощью функции addIMloc сохраняет его во временном глобальном или локальном списке. Операторы будут вставлены в нужное место функцией genIMglob или genIMloc.
Функция crRef(N,type) заменяет тип "void*" на тип "PSRef".
3.2.4Директива TASK
Контекст и синтаксис.
DVM(TASK) void * task-id "["size"]"
Выход компилятора.
AMViewRef AMV_task-id;
PSRef task-id [ size ]={0};
...
DVM_TASK(task-id,n);
Замечание. Исходное описание заменено. Макрокоманда генерируется не в точке описания, а в общей последовательности неявных операций.
Реализация.
Функция ISWFdcltr проверяет (кроме прочего), что task-id описан как void *, и выдает сообщение, если это не так. Функция ISWFdclr строит также поддерево для макрокоманды DVM_TASK и с помощью функции addIMloc сохраняет его во временном глобальном или локальном списке. Операторы будут вставлены в нужное место функцией genIMglob или genIMloc.
Функция crRef(N,type) заменяет тип "void*" на тип "PSRef" и порождает описание переменной для представления АМ AMV_.... Функция crAMVdcltrs(N) порождает ее декларатор.
3.2.5Директива MAP
Контекст и синтаксис.
DVM(MAP task-id"["task_ind"]" ONTO proc-section );
Выход компилятора.
DVM_MAP(task,ind, [ DVM_ONTO(ps,k,ls,hs) ]) ;
Замечание. Выполнимая директива конвертируется в оператор.
Реализация.
Требуемые поддеревья строит функция wfMAP, используя поддерево, построенное для предложения ONTO.
3.2.6Директива TASK_REGION
Контекст и синтаксис.
DVM(TASK_REGION task-id)
{
ON-block... | ON-loop
}
Выход компилятора.
{DVM_TASKREGION(no,task);
...
}
Реализация.
Функция wfTASKREGION проверяет составной оператор. Все его операторы должны быть ON-блоками, либо он должен состоять из единственного оператора -- ON-цикла. Затем эта же функция строит требуемые поддеревья, в том числе для поддирективы REDUCTION и для отладчика (опция -dx).
3.2.7Конструкция ON-block
Контекст и синтаксис.
DVM(ON task-id "["task-ind"]")
{ C-statements }
Выход компилятора.
if(DVM_RUN(task,ind))
{ statements
DVM_STOP();
}
Реализация.
Функция wfLXItask проверяет task-id и выдает сообщение, если он не определен или не специфицирован как TASK.
Требуемые поддеревья строит функция mkRUNAM().
3.2.8Конструкция ON-loop
Контекст и синтаксис.
DVM(PARALLEL "["var"]" ON task-id "["var"]")
DO(var, ..., ..., ...)
{ C-statements }
Выход компилятора.
for(var=0; ...)
if(DVM_RUN(task,var))
{ statements
DVM_STOP();
}
Реализация.
Функция wfLXItask проверяет task-id и выдает сообщение, если он не определен или не специфицирован как TASK.
Требуемые поддеревья строит функция mkRUNAM().
3.3Теневые грани
3.3.1Поддиректива SHADOW
Контекст и синтаксис.
DVM( DISTRIBUTE | ALIGN ...
; SHADOW "["widths"]"... )
Замечание. В точке описания ничего не генерируется. Компилятор сохраняет значения widths как максимальную ширину граней. Эти значения используются при создании массива.
Реализация.
Функция wfSHADOW проверяет список границ и выдает сообщение, если ранги не совпадают.
3.3.2Поддиректива SHADOW_RENEW
Контекст и синтаксис.
DVM(PARALLEL ... ; SHADOW_RENEW renewee... ... )
renewee ::= array [ "["widhs"]"... ] [ CORNER ]
Выход компилятора.
DVM_SHADOW_RENEW(loop-number,
(DVM_SHADOWS(a,k,ls,hs,corner), // for each renewee
...
))
Замечание. Это cокращение для последовательности операторов (директив) "CREATE_SHADOW_GROUP; SHADOW_START; SHADOW_WAIT;" с временной группой границ, выполненной перед циклом.
Реализация.
Функция wfDVMshw() проверяет список границ и выдает сообщение, если:
-
ранги не совпадают;
-
превышена максимальная ширина границы.
Функция wfDVMshad() проверяет renewee и выдает сообщение, если CORNER указан для одномерного массива (предупреждение).
Требуемые поддеревья строит функция wfSHRENEW. Окончательное построение выполняется функцией Ploop, когда цикл полностью разобран. Она вставляет ранее построенное поддерево в нужное место оболочки параллельного цикла.
3.3.3Директива SHADOW_GROUP
Контекст и синтаксис.
DVM(SHADOW_GROUP) void * sh-group-id;
Выход компилятора.
ShadowGroupRef sh-group-id;
Замечание. Исходное описание заменено.
Реализация.
Функция ISWFdcltr проверяет (кроме прочего), что sh-group-id описан как void *, и выдает сообщение, если это не так.
Функция crRef(N,type) заменяет тип "void*" на тип "ShadowGroupRef".
3.3.4Директива CREATE_SHADOW_GROUP
Контекст и синтаксис.
DVM(CREATE_SHADOW_GROUP sh-group-id : renewee... );
Выход компилятора.
DVM_CREATE_SHADOW_GROUP( sh-group-id,
(DVM_SHADOWS(a,k,ls,hs,corner), // for each renewee
...
))
Замечание. Выполнимая директива конвертируется в оператор.
Реализация.
Функция wfDVMshw() проверяет список границ и выдает сообщение, если:
-
ранги не совпадают;
-
превышена максимальная ширина границы.
Функция wfDVMshad() проверяет renewee и выдает сообщение, если CORNER указан для одномерного массива (предупреждение).
Требуемые поддеревья строит функция wfLX_CRSG. Она использует следующие функции:
-
Width берет ширину границы из директивы (или 1 по умолчанию);
-
cmpWidth вычисляет действующую ширину из заданных в директиве, в описании или по умолчанию;
-
cSHw строит список (нижних или верхних) границ;
-
cSG0 строит макро DVM_SHADOWS для очередного renewee;
-
cSG строит список DVM_SHADOWS для всех renewee.
3.3.5Директива SHADOW_START
Контекст и синтаксис.
DVM(SHADOW_START sh-group-id);
Выход компилятора.
DVM_SHADOW_START(sg);
Замечание. Выполнимая директива конвертируется в оператор.
Реализация.
Функция wfLXIsg проверяет sh-group-id и выдает сообщение, если он не определен или не специфицирован как SHADOW_GROUP.
Требуемые поддеревья строит функция wfSHSTART().
3.3.6Поддиректива SHADOW_START
Контекст и синтаксис.
DVM(PARALLEL ... ; SHADOW_START sh-group-id ... ) ...
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
