并行循环：不安全依赖在哪里？

Question

我正在尝试使用 Solaris Studio Complier 中提供的自动并行化选项来并行化以下循环。

int max = A->m;
complex** A_me2;    
complex fred;   

for ( i = 0; i < max; i++ )
{
    for ( j = 0; j < i-1; j++ )
    {
        A_me2[i][j] = fred;
        A_me2[i][j] = fred;
    }
}

然而，当我通过编译器运行这个循环时，我收到一条消息：“不是并行化，不安全的依赖”。不安全的依赖到底在哪里？两个赋值语句的输入和输出之间显然没有别名，并且 i 和 j 是每个线程私有的......我对为什么会发生这种情况感到非常困惑。任何指导将不胜感激！

Answer 1

由于 A_me2 是一个指针数组，因此编译器不知道（例如）A_me2[0] 和 A_me2[1] 是否存在不重叠，导致对同一位置进行多次写入，需要正确排序。通常有一个编译器#pragma 会告诉编译器假设不存在依赖关系，从而覆盖自动安全机制。