为什么要在单线程方法中放置一个同步块？

Question

我在IBM-developerworks上偶然发现了这篇文章 ，他们发布的代码使我提出了一些问题：

1. 为什么将局部变量Map的构建包装在synchronized块中？ 请注意，他们隐式地说只有一个producer线程。

2. 实际上，为什么此代码段根本需要一个synchronized块？ volatile变量应足以完成任务，因为新创建的地图仅在填满后才发布。

3. 在锁对象上仅 synchronizing 一个线程有什么意义？

文章提到：

清单1中的synced块和volatile关键字是必需的，因为对currentMap的写入和对currentMap的读取之间不存在先于后关系。 结果，如果未使用synced块和volatile关键字，则读取线程可能会看到垃圾。

代码中的注释说：

由于Java内存模型，必须对此进行同步

我觉得自己在处理多线程概念，这超出了我的理解范围。 我希望有更多专业知识的人为我指明正确的方向。

---

这是从文章摘录的片段：

static volatile Map currentMap = null;   // this must be volatile
static Object lockbox = new Object();  

public static void buildNewMap() {       // this is called by the producer     
    Map newMap = new HashMap();          // when the data needs to be updated

    synchronized (lockbox) {                 // this must be synchronized because
                                     // of the Java memory model
        // .. do stuff to put things in newMap
        newMap.put(....);
        newMap.put(....);
    }                 
    /* After the above synchronization block, everything that is in the HashMap is 
    visible outside this thread */

    /* Now make the updated set of values available to the consumer threads.  
    As long as this write operation can complete without being interrupted, 
    and is guaranteed to be written to shared memory, and the consumer can 
    live with the out of date information temporarily, this should work fine */

     currentMap = newMap;

}

public static Object getFromCurrentMap(Object key) {
    Map m = null;
    Object result = null;

    m = currentMap;               // no locking around this is required
    if (m != null) {              // should only be null during initialization
         Object result = m.get(key); // get on a HashMap is not synchronized

    // Do any additional processing needed using the result
    }
    return(result);

}

Answer 1

根据Java内存模型 ，在易失性写入与后续的易失性读取之间存在先发生后关系，这意味着m = currentMap; 确保可以看到currentMap = newMap;之前发生的一切currentMap = newMap; ，则不需要synchronized块。

不仅如此，但它绝对不起作用：

由于Java内存模型，必须对此进行同步

和

在上述同步块之后，HashMap中的所有内容在此线程之外都是可见的

评论是错误的。 根据Java内存模型，只有当两个线程都synchronized时才存在事前发生的关系。 按照JMM的用法，按照JMM的使用它绝对没有任何作用（某些JVM实现可以做些事情，也许2007年的某些IBM JVM实现在这种情况下执行了某种同步，但JMM不需要它）。

总之，IBM文章完全是错误的。