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

Описание:

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

Стандарт:

Технические спецификации (TS) 18508 или более поздние

Класс:

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

Синтаксис:

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

Аргументы:

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

Пример:

program test
  integer :: val
  val = this_image ()
  call co_reduce (val, result_image=1, operator=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