8.66 CO_REDUCE — Сведение значений на текущем наборе изображений

Описание:

CO_REDUCE определяет поэлементное сведение значения A по всем изображениям текущей команды. Чистая функция, переданная как OPERATION, используется для попарного сведения значений A, передавая либо значение A различных изображений, либо результирующие значения такого сведения в качестве аргумента. Если A является массивом, вычитание выполняется поэлементно. Если RESULT_IMAGE присутствует, результирующие значения возвращаются в A только на указанном изображении, а значение A на других изображениях становится неопределённым. Если RESULT_IMAGE отсутствует, значение возвращается на всех изображениях. Если выполнение прошло успешно и STAT присутствует, ему присваивается значение ноль. Если выполнение завершилось ошибкой, STAT получает ненулевое значение, а ERRMSG, если он присутствует, получает значение, описывающее произошедшую ошибку.

Стандарт:

Техническое описание (TS) 18508 или более поздней версии

Класс:

Подпрограмма коллективного вычисления

Синтаксис:

CALL CO_REDUCE(A, OPERATION, [, RESULT_IMAGE, STAT, ERRMSG])

Аргументы:

`A`	является `INTENT(INOUT)` аргументом и должен быть не полиморфным. Если он является разыменовываемым, он должен быть выделен; если он является указателем, он должен быть связан. `A` должен иметь тот же тип и параметры типа на всех изображениях команды; если он является массивом, он должен иметь ту же форму на всех изображениях.
`OPERATION`	чистая функция с двумя скалярными невыделяемыми аргументами, которые должны быть не полиморфными и иметь тот же тип и параметры типа, что и `A`. Функция должна возвращать скалярный невыделяемый тип того же типа и параметров типа, что и `A`. Функция должна быть одинаковой на всех изображениях и с точки зрения аргументов математически коммутативной и ассоциативной. Обратите внимание, что `OPERATION` может не быть элементарной функцией, если это не встроенная функция.
`RESULT_IMAGE`	(необязательно) скалярное целочисленное выражение; если присутствует, оно должно иметь одинаковое значение на всех изображениях и ссылаться на изображение текущей команды.
`STAT`	(необязательно) скалярная целочисленная переменная
`ERRMSG`	(необязательно) скалярная символьная переменная

Пример:

program test
  integer :: val
  val = this_image ()
  call co_reduce (val, result_image=1, operation=myprod)
  if (this_image() == 1) then
    write(*,*) "Product value", val  ! prints num_images() factorial
  end if
contains
  pure function myprod(a, b)
    integer, value :: a, b
    integer :: myprod
    myprod = a * b
  end function myprod
end program test

Примечание:

Хотя правила допускают в принципе встроенную функцию, ни одна из встроенных функций в стандарте не удовлетворяет критериям наличия конкретной функции, которая принимает два аргумента одного типа и возвращает этот тип в качестве результата.

См. также:

CO_MIN — Минимальное значение на текущем наборе изображений, CO_MAX — Максимальное значение на текущем наборе изображений, CO_SUM — Сумма значений на текущем наборе изображений, CO_BROADCAST — Копирование значения на все изображения текущего набора изображений

© Free Software Foundation
Licensed under the GNU Free Documentation License, Version 1.3.
https://gcc.gnu.org/onlinedocs/gcc-14.2.0/gfortran/CO_005fREDUCE.html