为什么 Parallel Foreach 不会 return 仅添加 int 值总是相同的结果

Question

我做了如下两个函数

一个只是用 linq 添加 int 值

private long GetSumList(List<long> numbers)
{
    return numbers.Sum();
}

另一个是用 Parallel.Foreach

添加 int 值

private long GetSumListWithParallel(List<long> numbers)
{
    long retv = 0;

    Parallel.ForEach(numbers, number =>
    {
        retv += number; // It returns different return whenever I execute it.
        //Interlocked.Add(ref retv, number); // It returns always the same value whenever I execute it.
    });

    return retv;
}

当我只是添加整数时，我认为我不需要关心竞争条件。只是因为我认为添加数字与执行顺序无关。如果有减法或乘法，我会关心竞争条件。

为什么这个函数return总是不同的值？在编写并行代码时我应该关心什么？

Answer 1

问题不是数学问题，而是与原子性和线程安全有关。也就是说，整数加法在数学上是可交换的（顺序不算），但+=不是原子的，

即如果两个并行线程同时做一个+=操作，那么结果是不可预知的。这正是 Interlocked.Add 存在的原因。

为什么 Parallel Foreach 不会 return 仅添加 int 值总是相同的结果

Why Parallel Foreach doesn't return always the same result in just adding int values

c#

race-condition

task-parallel-library

parallel.foreach