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的类型：这将要求synced（总计）（在run（）方法中）确保我不使用索引中的每个索引的本地副本双精度数组，即内存围栏不仅适用于total自身的值（在指针的背后），还适用于其索引total。这会发生吗？

Answer 1

内存屏障适用于所有内存引用，甚至无关的引用。同步时，total您将看到任何内存值的最新副本，并且当您离开该块时，还有另一个内存障碍。