Документация

Примечания о необходимых и рекомендуемых инструкциях

Если ваш parfor код не придерживается инструкций и ограничений, помеченных как требуется, вы получаете ошибку. MATLAB фиксирует некоторые из этих ошибок в то время, когда он читает код и других, когда он выполняет код. Эти ошибки помечены как требуется (статическими) или Необходимыми (динамический) соответственно. Инструкции, которые не вызывают ошибки, помечены как Рекомендуемые. Можно использовать код MATLAB Анализатор, чтобы помочь parfor- циклы выполняют инструкции.

Основные правила для переменных сокращения

Следующие требования далее задают присвоения сокращения, сопоставленные с данной переменной.

parfor- цикл слева не допустим, потому что присвоение сокращения использует + в одном экземпляре и [,] в другом. parfor- цикл справа допустим.

parfor i = 1:n
   if testLevel(k)
      A = A + i;
   else
      A = [A, 4+i];
   end
   % loop body continued
end

parfor i = 1:n
   if testLevel(k)
      A = A + i;
   else
      A = A + i + 5*k;
   end
   % loop body continued
end

parfor- цикл слева не допустим, потому что порядок пунктов в конкатенации не сопоставим в цикле. parfor- цикл справа допустим.

parfor i = 1:n
   if testLevel(k)
      A = [A, 4+i];
   else
      A = [r(i), A];
   end
   % loop body continued
end

parfor i = 1:n
   if testLevel(k)
      A = [A, 4+i];
   else
      A = [A, r(i)];
   end
   % loop body continued
end

Код слева не допустим, потому что он пытается индексировать a, и таким образом, MATLAB не может классифицировать его как переменную сокращения. Чтобы зафиксировать его, код по праву использует неиндексируемую переменную.

a.x = 0
parfor i = 1:10
   a.x = a.x + 1;
end 

tmpx = 0
parfor i = 1:10
   tmpx = tmpx + 1;
end
a.x = tmpx;

Требования для присвоений сокращения

Присвоения сокращения. В дополнение к определенным формам присвоения сокращения, перечисленного в таблице в Переменных Сокращения, единственный другой (и более общий), форма присвоения сокращения

Если f переменная, затем во всех практических целях, ее значение во время выполнения является указателем на функцию. Однако, пока правая сторона может быть оценена, получившееся значение хранится в X.

parfor- цикл слева не выполняется правильно потому что оператор f = @times причины f быть классифицированным как временная переменная. Поэтому f очищен в начале каждой итерации. parfor- цикл справа правилен, потому что он не присваивает f в цикле.

f = @(x,k)x * k;
parfor i = 1:n
   a = f(a,i);
   % loop body continued
   f = @times;  % Affects f
end

f = @(x,k)x * k;
parfor i = 1:n
   a = f(a,i);
   % loop body continued
end

Операторы && и || не перечислены в таблице в Переменных Сокращения. За исключением && и ||, все операции над матрицей MATLAB имеют соответствующий функциональный f, таким образом, что u op v эквивалентно f(u,v)для и ||, такая функция не может быть записана потому что u&&v и u||v может или не может оценить v. Однако f(u,v) всегда оценивает v прежде, чем вызвать f. Поэтому && и || исключены из таблицы позволенных присвоений сокращения для parfor- цикл.

Каждое присвоение сокращения имеет присоединенную функцию f. Свойства f это гарантирует, что детерминированное поведение parfor оператора обсуждено в следующих разделах.

Ассоциативность в Присвоениях Сокращения. Следующая практика рекомендуется для функционального f, как используется в определении переменной сокращения. Однако это правило не генерирует ошибку, если не придерживался. Поэтому Вам решать, чтобы гарантировать, что ваш код выполняет этой рекомендации.

Быть ассоциативным, функциональный f должен удовлетворить следующему для всего aB, и c.

f(a,f(b,c)) = f(f(a,b),c)

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

Например, оператор на левых урожаях 1, в то время как оператор справа возвращается 1 + eps:

(1 + eps/2) + eps/2           1 + (eps/2 + eps/2)

За исключением минус оператор (-), все особые случаи, перечисленные в таблице в Переменных Сокращения, имеют соответствующую (приблизительно) ассоциативную функцию. MATLAB вычисляет присвоение X = X - expr при помощи X = X + (-expr). (Так, технически, функцией для вычисления этого присвоения сокращения является plus, не minus.) Однако присвоение X = expr - X не может быть записан с помощью ассоциативной функции, которая объясняет ее исключение из таблицы.

Коммутативность в Присвоениях Сокращения. Некоторые ассоциативные функции, включая +, .*min, и maxпересечение, и union, являются также коммутативными. Таким образом, они удовлетворяют следующему для всего a и b.

f(a,b) = f(b,a)

Некоммутативные функции включают * (потому что умножение матриц не является коммутативным для матриц, в которых обе размерности имеют размер, больше, чем один), [,], и [;]. Некоммутативность является причиной, что непротиворечивость в порядке аргументов к этим функциям требуется. На практике более эффективный алгоритм возможен, когда функция является коммутативной, а также ассоциативной, и parfor оптимизирован, чтобы использовать коммутативность.

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

Если f известная некоммутативная встроенная функция, она принята, чтобы быть коммутативной. Нет в настоящее время никакого способа задать пользовательскую, некоммутативную функцию в parfor.

Точно так же из-за специального режима X = X - expr, следующее рекомендуется.

Используя пользовательскую функцию сокращения

Предположим, что каждая итерация цикла выполняет некоторое вычисление, и вы интересуетесь нахождением, какая итерация цикла производит максимальное значение. Это осуществление сокращения делает накопление через несколько итераций цикла. Ваша функция сокращения должна сравнить результаты итерации, пока максимальное значение не может быть определено после того, как все итерации сравнены.

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

function mc = comparemax(A, B)
% Custom reduction function for 2-element vector input

if A(1) >= B(1) % Compare the two input data values
    mc = A;     % Return the vector with the larger result
else
    mc = B;
end

В цикле каждая итерация вызывает функцию сокращения (comparemax), передавая в паре двухэлементных векторов:

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

Каждая итерация вызывает функцию сокращения comparemax сравнить его собственные данные [dat i] к данным, уже накопленным в cummax. Попробуйте следующий код за этот цикл.

% First element of cummax is maximum data value
% Second element of cummax is where (iteration) maximum occurs
cummax = [0 0];  % Initialize reduction variable
parfor ii = 1:100
    dat = rand(); % Simulate some actual computation
    cummax = comparemax(cummax, [dat ii]);
end
disp(cummax);

Объединение в цепочку операторов сокращения

MATLAB классифицирует присвоения формы X = expr op X или X = X op expr как операторы сокращения, когда они эквивалентны заключенным в скобки присвоениям X = (expr) op X или X = X op (expr) соответственно. X переменная, op оператор сокращения и expr выражение с одним или несколькими бинарными операторами сокращения. Следовательно, из-за правил приоритета оператора MATLAB, MATLAB не может классифицировать некоторые присвоения формы X = expr op1 X op2 expr2 ..., тот цепочечные операторы, как операторы сокращения в parfor- циклы.

В этом примере MATLAB классифицирует X как переменная сокращения, потому что присвоение эквивалентно X = X + (1 * 2).

X = 0;
parfor i=1:10
   X = X + 1 * 2;
end

В этом примере MATLAB классифицирует X как временная переменная, потому что присвоение, эквивалентное X = (X * 1) + 2, не имеет формы X = (expr) op X или X = X op (expr).

X = 0;
parfor i=1:10
   X = X * 1 + 2;
end

Как лучшая практика, используйте круглые скобки, чтобы явным образом задать приоритет оператора для цепочечных присвоений сокращения.