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

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

LXfun: A "(" [B] ")"

LXcast: "(" A ")" B

2.6.5Директивы (C-DVM)

LX_DVM: DVM "(" [B-"*"] A ")"

DISTRIBUTE: DISTRIBUTE [ AA [ ONTO BA ] ] [ B-subdirs ]

ALIGN: ALIGN [ AA WITH BA ] [ B-subdirs ]

LX_SG: SHADOW_GROUP

LX_RG: REDUCTION_GROUP

LX_RMG: REMOTE_GROUP

TASK: TASK

PROCESSORS: PROCESSORS

REDISTRIBUTE: REDISTRIBUTE AA [ ONTO BA ] [ B-"NEW" ]

REALIGN: REALIGN AA WITH BA [ B-"NEW" ]

LX_CRTEMP: CREATE_TEMPLATE A

MAP: MAP A ONTO B

LX_CRSG: CREATE_SHADOW_GROUP A ":" B-Renewees

SHSTART: SHADOW_START A

SHWAIT: SHADOW_WAIT A

RSTART: REDUCTION_START A

RWAIT: REDUCTION_WAIT A

PREFETCH: PREFETCH A

RESET: RESET A

PARALLEL: PARALLEL AA ON BA [ B-clauses ]

REMOTE: REMOTE_ACCESS [ A ":" ] B

LX_TASKREG TASK_REGION A [ B-clause ]

ON: ON A

INTERVAL: INTERVAL [ A ]

DEBUG: DEBUG A-number B-Debug_modes

Debug_modes -- это B-связные узлы:

optD0: -d0 [ B ]

optD1: -d1 [ B ]

optD2: -d2 [ B ]

optD3: -d3 [ B ]

optD4: -d4 [ B ]

optE0: -e0 [ B ]

optE1: -e1 [ B ]

optE2: -e2 [ B ]

optE3: -e3 [ B ]

optE4: -e4 [ B ]

Поддерево Renewees это LXX-список:

DVMshad: A-DVMshw [ B-"CORNER" ]

DVMshw: [ A ] "[" AB [ ":" BB ] "]"

2.6.6Поддирективы (C-DVM)

TEMPLATE: ";" TEMPLATE A

SHADOW: ";" SHADOW A-DVMshw

SHRENEW: ";" SHADOW_RENEW B-Renewees

SHSTART: ";" SHADOW_START A

SHWAIT: ";" SHADOW_WAIT A

ACROSS: ";" ACROSS B-Renewees

REDUCTION: ";" REDUCTION [ A ":" ] B-Red_ops

REMOTE: ":" REMOTE_ACCESS [ A ":" ] B

Поддерево Red_ops -- это LXX-список из:

SUM: SUM "(" A ")"

PROD: PROD "(" A ")"

MAX: MAX "(" A ")"

MIN: MIN "(" A ")"

LX_AND: AND "(" A ")"

LX_OR: OR "(" A ")"

MAXLOC: MAXLOC "(" A, B ")"

MINLOC: MINLOC "(" A, B ")"

2.7Преобразование дерева

Преобразование дерева выполняется в два этапа:

• парсер строит новые узлы и сохраняет их как атрибуты узлов дерева разбора;

• после парсера вызывается функция walk для обхода дерева с семантической функцией pSUBST. Последняя снизу вверх заменяет старые узлы новыми.

2.8Генерация

Функция UnPars обходит дерево и восстанавливает внешнее представление программы. Т.к. файл промежуточный, форматирование сравнительно простое. Заметим, что выходная программа составлена в терминах макрокоманд C-DVM, а не прямо в терминах вызовов RTL. Окончательная форма макроопределений может быть найдена в файле cdvm_c.h.

3Компиляция конструкций C-DVM

Парсер строит внутреннее представление программы. Конструктор восстанавливает внешнее представление дерева. Собственно компиляция выполняется многочисленными семантическими программами. Головная семантическая программа это функция ISWF. Она вызывается парсером дважды для каждого узла. Конкретные семантические действия зависят от кода узла (т.е. от кода синтаксического правила.) Первый (нисходящий) вызов выполняется, когда парсер пытается применить некоторое синтаксическое правило, т.е. до начала разбора конструкции. В основном это проверки контекста. (Заметим, что до разбора некоторого оператора или описания предшествующая ему DVM-директива уже разобрана. В этом случае функция Allowed проверяет совместимость директивы, оператора и контекста.) В этот момент могут быть зафиксированы ошибки:

• в параллельном цикле использована запрещенная директива;

• запрещенные или несовместимые поддирективы;

• в параллельном цикле слишком много или слишком мало заголовков;

• для параметра использована недопустимая директива;

• параметр не специфицирован как DVM-указатель;

• описательная директива стоит перед оператором;

• выполнимая директива использована вне тела функции;

• директива-оператор (например, REDISTRIBUTE) не завершается точкой с запятой или, наоборот,

• после структурной директивы стоит пустой оператор.

Кроме проверки контекста могут быть выполнены и другие действия:

• открывается новая область видимости имен;

• анализируются и сохраняются параметры функции main;

• увеличивается счетчик циклов и задач.

Второй (и последний -- восходящий) вызов выполняется, когда (и если) правило успешно сопоставлено. В этот момент вызывается соответствующая семантическая функция, которая проверит семантическую правильность конструкции и построит поддерево для выходной программы. Это описывается ниже для всех конструкций C-DVM.

3.1Распределение данных

3.1.1Директива DISTRIBUTE

Контекст и синтаксис.

DVM( ["*"] DISTRIBUTE [ format...] [ ONTO target ]

[ ; SHADOW-clause ] [ ; TEMPLATE-clause ] )

C-declaration ;

Выход компилятора.

long array-id [ rank+1 ];

Замечание. Исходное описание заменено. Вся прочая информация из описания и директивы будет использоваться при генерации других конструкций и при распознавании ссылок к распределенным данным.

Реализация.

Функция wfDISTRIBUTE() проверяет только формат распределения. Остальные части директивы уже обработаны. Допустимость в данном контексте и корректность описания будет проверена позже функцими Allowed, ISWFdcltr и ISWFdecl. Ссылка на описание сохраняется в списке описаний текущей области видимости функцией addDecl.

Функция crHandler(dd,decl) заменяет тип и декларатор массива на тип и декларатор хендлера массива.

3.1.2Формат распределения GENBLOCK

Контекст и синтаксис.

DVM(DISTRIBUTE ... "[" GENBLOCK( int-array ) "]"... )

DVM(REDISTRIBUTE ... "[" GENBLOCK( int-array ) "]"... )

Выход компилятора.

DVM_GENBLOCK(am,ps,k,gbs);

Замечание. Эта макрокоманда генерируется не в точке описания, а в общей последовательности (явного или неявного) создания массива.

Реализация.

Функция wfGENBLOCK() проверяет параметр формата распределения GENBLOCK и выдает сообщение, если

• массив не определен;

• он не является одномерным массивом целых.

Требуемые поддеревья строит функция mk_genblock. Она использует функцию GENaxis(N) для построения списка адресов массивов параметров.

3.1.3Спецификация ONTO

Контекст и синтаксис.

DVM(DISTRIBUTE ... ONTO target ... )

Выход компилятора.

DVM_ONTO(ps,k,ls,hs)

Замечание. Эта макрокоманда генерируется не в точке описания, а в общей последовательности (явного или неявного) создания массива. Она создает процессорную подсистему, которая будет использоваться вместо текущей (используемой по умолчанию).

Реализация.

Функция wfONTO проверяет ONTO-target и выдает сообщение, если

• она не определена или не специфицирована требуемой DVM-директивой;

• в директиве MAP это не секция массива процессоров;

• задан массив задач, а не его элемент;

• ранги не совпадают.

Требуемые поддеревья строит функция crONTO и сохраняет их как атрибут "ONTO" для последующего использования.

3.1.4Директива REDISTRIBUTE

Контекст и синтаксис.

DVM(REDISTRIBUTE array format... [ NEW ] ) ;

Выход компилятора.

DVM_REDISTRIBUTE(amv,ps,k,axs,new);

Замечание. Выполнимая директива конвертируется в оператор.

Реализация.

Функция wfREDISTRIBUTE проверяет array и выдает сообщение, если

• он не определен;

• или не специфицирован директивой DISTRIBUTE;

• ранги не совпадают.

Требуемые поддеревья строит функция mk_alloc2, если формат распределения не был указан в описании массива. Функция wfREDISTRIBUTE использует также поддеревья, построенные для ONTO и GENBLOCK.

3.1.5Директива ALIGN

Контекст и синтаксис.

DVM(["*"] ALIGN [ "["dummy-var"]"... ]

WITH base "["align-expr"]"...

[ ; SHADOW-clause ] )

C-declaration ;

Выход компилятора.

long array-id [ rank+1 ];

Замечание. Исходное описание заменено. Вся прочая информация из описания и директивы будет использоваться при генерации других конструкций и при распознавании ссылок к распределенным данным.

Реализация.

Функция wfDVMind проверяет список dummy-var и выдает сообщение, если найдены повторяющиеся переменные. Функция wfDVMbind проверяет список align-expr и выдает сообщение, если

• некоторое выражение окажется более сложным, чем линейное;

• не удастся уверенно выделить dummy-var;

• какая-нибудь переменная использована неоднократно;

• ранги не совпадают;

Функция wfDVMbase проверяет base и выдает сообщение, если

• он не определен;

• или не является распределенным массивом или темплейтом;

• ранги не совпадают.

Допустимость в данном контексте и корректность описания будет проверена позже функцими Allowed, ISWFdcltr и ISWFdecl. Ссылка на описание сохраняется в списке описаний текущей области видимости функцией addDecl.

Функция crHandler(dd,decl) заменяет тип и декларатор массива на тип и декларатор хендлера массива.

3.1.6Директива REALIGN

Контекст и синтаксис.

DVM( REALIGN array "["dummy-var"]"...

WITH base "["align-expr"]"... ) ;

Выход компилятора.

DVM_REALIGN(arr,base,k,i,a,b,new);

Замечание. Выполнимая директива конвертируется в оператор.

Реализация.

Функция wfREALIGN проверяет array и выдает сообщение, если

• он не определен;

• или не специфицирован директивой ALIGN;

• ранги не совпадают.

Остальные части директивы проверяются как для директивы ALIGN.

Требуемые поддеревья строит функция wfREALIGN

3.1.7Поддиректива TEMPLATE

Контекст и синтаксис.

DVM(DISTRIBUTE ... ; TEMPLATE [ "["size"]"... ] )

void * template-id ;

Выход компилятора.

AMViewRef template-id;

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

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