Java 数组：同步 +原子*或同步就足够了？

Question

这个问题被问了一遍又一遍，但我仍然有一个疑问。当人们说同步创建了内存屏障时，这个内存屏障适用于什么，任何缓存变量？这看起来不太可行。

因此，由于这个疑问，我编写了一些如下所示的代码：

final AtomicReferenceArray<Double> total=new AtomicReferenceArray<Double>(func.outDim);
for(int i=0; i<func.outDim; i++) total.set(i, 0.);
for(int i=0; i<threads; i++){
    workers[i]=new Thread(new Runnable(){
        public void run() {
            double[] myPartialSum=new double(func.outDim);
            //some lengthy math which fills myPartialSum...

            //The Atomic* guarantees that I'm not writing local copies of the Double references (whose value are immutables, so it's like an array of truly volatile doubles) in variable total, synchronized(total) atomizes the sum
            synchronized(total){ for(int i=0; i<func.outDim; i++) total.set(i, total.get(i)+myPartialSum[i]); }
        };
    workers[i].start();
}
//wait for workers to terminate...

//print results accessing total outside of a synchronized(total) block, since no worker is alive at this point.

我想知道是否可以用普通的 double[] 替换 Total 类型：这将需要同步（total）（在 run() 中）方法）确保我不会使用双精度数组中每个索引的本地副本，也就是说，内存栅栏不仅仅适用于 total 本身的值（位于幕后）一个指针），但是指向总计也是如此。会发生这种情况吗？

Answer 1

内存屏障适用于所有内存引用，甚至是不相关的内存引用。当您同步total时，您将看到所有内存值的最新副本，并且当您离开该块时，会出现另一个内存屏障。

Answer 2

如果我的理解是正确的，synchronized(total) 将同步任何对 total 的访问，因此应该同步对以下值的访问（读取和写入）也是一个数组。

由于 double 数组直接包含值而不是引用，因此在执行同步块期间其他线程不应访问这些值。如果您有一个对象数组，您将无法更改数组中的引用，但您仍然可以访问对象本身。