并行编程互锁 C#

Question

的示例感到困惑

我对http://msdn.microsoft.com/en-us /library/dd997393.aspx

Parallel.ForEach<int, long>(nums, // source collection
                                    () => 0, // method to initialize the local variable
                                    (j, loop, subtotal) => 
                                    {
                                        subtotal += nums[j]; 
                                        return subtotal; 
                                    },

                                    (finalResult) => Interlocked.Add(ref total,finalResult)                                        );

我不知道为什么最后一个委托 (finalResult) => Interlocked.Add（参考总计，最终结果） 需要互锁，而前面的表达式

(j, loop, subtotal) => 
                                    {
                                        subtotal += nums[j]; 
                                        return subtotal; 
                                    },

不需要？

谢谢

Answer 1

Parallel.For() 和 Parallel.ForEach() 方法使用 Partitioner。在 10,000 个单独的任务上执行超过 10,000 个元素的循环效率非常低。分区器将数据分割成段，理想情况下 ForEach() 将在 4 核 CPU 上的 2,500 个元素的 4 个任务（线程）中执行。有时这需要一些启发，您可以编写自己的自定义分区程序。

当使用 ForEach() 的“正常”（简单）重载时，这是完全透明的。但是您的示例使用了表面分区的 重载之一。

subtotal += nums[j]; 语句在 1 个分区内迭代，因此是线程安全的。

并且 (finalResult) => Interlocked.Add(ref Total,finalResult) 是分区合并的地方，这部分当然不是线程安全的。

Answer 2

变量 subtotal 是只有一个线程可以访问的“本地数据”。

另一方面，total 是一个所有线程都可以修改的变量，并且可能有多个线程可能会尝试同时更新总计。