并行循环内的局部变量线程安全

Question

我在嵌套的parallel.foreach 中有一个变量 (cnt)。我运行这个程序，显然它运行良好。有人知道这段代码真的是线程安全的吗？是否可以在parallel 循环中定义变量？

谢谢。

    object obj = new object();
    int total=0;

    Parallel.For(0, 2, i =>
    {
        Parallel.For(0, 1000000, j =>
        {
            int cnt = 0;
            if ((arr[i, j] % 2) == 0)
            {
                Interlocked.Increment(ref cnt);
            }
            lock (obj)
            {
                total= total+ (cnt / 2);
            }
        });
    });

Answer 1

此代码是线程安全的 - 唯一的共享数据 (total) 已正确同步。即使不使用Interlocked.Increment（即：在您编辑之前），它也是线程安全的。

然而，它并不高效。

使用local initializer and finally delegates 的重载会好得多。

int total=0;
Parallel.For(0, 2, 
{
    Parallel.For(0, 1000000, 
      local => 0,
      (j, state, local) =>
      {
        if ((arr[i, j] % 2) == 0)
        {
           ++local;
        }
        return local;
      },
      local => Interlocked.Increment(ref total, local)
    );
});

Answer 2

这段代码确实是安全的，因为lock 语句充当了一个完整的隔离操作。它确保增量操作是原子的，不会受到来自其他线程的竞争