我试图编译以下代码:
#pragma omp 并行共享(j){#pragma omp for schedule(动态)for(i = 0; i != j; i++){//做一点事}}
但我收到以下错误:错误:控制谓词无效.
OpenMP 标准指出对于 parallel for
构造函数它仅"允许以下操作符之一:<
, <=
, >
>=
.>
我不明白不允许 i != j
的基本原理.我可以理解,在 static schedule
的情况下,因为编译器需要预先计算分配给每个线程的迭代次数.但我不明白为什么在这种情况下会有这种限制.有什么线索吗?
即使我制作 for(i = 0; i != 100; i++)
,虽然我可以把<"或<=".
.
对于有符号整数,环绕行为是未定义的.如果我们允许 !=
,程序员可能会得到意外的tripcount.问题是编译器是否可以生成代码来计算循环的行程计数.
对于一个简单的循环,例如:
for( i = 0; i
编译器可以确定有'n'次迭代,如果n>=0,并且零次迭代如果n <0.
对于像这样的循环:
for( i = 0; i != n; ++i )
同样,编译器应该能够确定有n"次迭代,如果 n >= 0;如果 n <0,我们不知道它有多少次迭代.
对于像这样的循环:
for( i = 0; i
编译器可以生成代码来计算行程计数(循环迭代计数)为 floor((n+1)/2) if n >= 0 和 0 if n <0.
对于像这样的循环:
for( i = 0; i != n; i += 2 )
编译器无法确定i"是否会命中n".如果n"是奇数怎么办?
对于像这样的循环:
for( i = 0; i
编译器可以生成代码来计算行程计数为 floor((n+k-1)/k) if n >= 0 和 0 if n <0,因为编译器知道循环必须向上计数;在这种情况下,如果 k <0,这不是合法的 OpenMP 程序.
对于像这样的循环:
for( i = 0; i != n; i += k )
编译器甚至不知道我是在计数还是在计数.它不知道 'i' 是否会碰到 'n'.这可能是一个无限循环.
信用:OpenMP ARB
I was trying to compile the following code:
#pragma omp parallel shared (j)
{
#pragma omp for schedule(dynamic)
for(i = 0; i != j; i++)
{
// do something
}
}
but I got the following error: error: invalid controlling predicate.
The OpenMP standard states that for parallel for
constructor it "only" allows one of the following operators: <
, <=
, >
>=
.
I do not understand the rationale for not allowing i != j
. I could understand, in the case of the static schedule
, since the compiler needs to pre-compute the number of iterations assigned to each thread. But I can't understand why this limitation in such case for example. Any clues?
EDIT: even if I make for(i = 0; i != 100; i++)
, although I could just have put "<" or "<=" .
.
For signed int, the wrap around behavior is undefined. If we allow !=
, programmers may get unexpected tripcount. The problem is whether the compiler can generate code to compute a trip count for the loop.
For a simple loop, like:
for( i = 0; i < n; ++i )
the compiler can determine that there are 'n' iterations, if n>=0, and zero iterations if n < 0.
For a loop like:
for( i = 0; i != n; ++i )
again, a compiler should be able to determine that there are 'n' iterations, if n >= 0; if n < 0, we don't know how many iterations it has.
For a loop like:
for( i = 0; i < n; i += 2 )
the compiler can generate code to compute the trip count (loop iteration count) as floor((n+1)/2) if n >= 0, and 0 if n < 0.
For a loop like:
for( i = 0; i != n; i += 2 )
the compiler can't determine whether 'i' will ever hit 'n'. What if 'n' is an odd number?
For a loop like:
for( i = 0; i < n; i += k )
the compiler can generate code to compute the trip count as floor((n+k-1)/k) if n >= 0, and 0 if n < 0, because the compiler knows that the loop must count up; in this case, if k < 0, it's not a legal OpenMP program.
For a loop like:
for( i = 0; i != n; i += k )
the compiler doesn't even know if i is counting up or down. It doesn't know if 'i' will ever hit 'n'. It may be an infinite loop.
Credits: OpenMP ARB
这篇关于为什么 OpenMP 不允许使用 != 运算符?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持跟版网!