变量的同步和本地副本

Question

我正在查看一些具有以下习惯用法的遗留代码：

Map<String, Boolean> myMap = someGlobalInstance.getMap();
synchronized (myMap) {
    item = myMap.get(myKey);
}

我从 Intelli-J 的代码检查中得到的警告是：

Synchronization on local variable 'myMap'

这是适当的同步吗？为什么？

Map<String, Boolean> myMap = someGlobalInstance.getMap();
synchronized (someGlobalInstance.getMap()) {
    item = myMap.get(myKey);
}

Answer 1

这被标记为问题的原因是因为同步局部变量通常是一个坏主意。

如果由someGlobalInstance.getMap()返回的对象始终相同，那么同步块实际上使用了准全局对象监视器，并且代码产生了预期的结果。

如果您只需要同步 get()/put() 调用并且没有任何更大的同步块，我也同意使用同步包装器的建议。但请确保地图仅通过包装器访问，否则您将有另一个出现错误的机会。

另请注意，如果 someGlobalInstance.getMap() 确实不始终返回同一对象，那么即使您的第二个代码示例也无法正常工作，甚至可能比您的原始代码，因为您可以在与调用 get() 的对象不同的对象上进行同步。

Answer 2

我认为代码可能是合理的，具体取决于 getMap() 方法的作用。如果它保留对必须在线程之间共享的实例的引用，那就有意义了。该警告无关紧要，因为局部变量未在本地初始化。

Answer 3

我认为最好使用 地图的同步包装

Answer 4

Alex 是正确的，通过调用 Collections.synchronizedMap(Map) 添加同步包装器是这里的典型方法。但是，如果您采用这种方法，在某些情况下您可能仍然需要同步 Map 的锁；例如，当迭代地图时。

Map<String, String> syncMap = Collections.synchronizedMap(new HashMap<String, String>());

// Synchronized on map to prevent ConcurrentModificationException whilst iterating.
synchronized (syncMap) {
  for (Map.Entry<String, String> entry : syncMap.entrySet()) {
    // Do work
  }
}

在您的示例中，来自 IDEA 的警告可以被忽略，因为很明显您的局部变量： map 是从其他地方 (someGlobalInstance) 检索的，而不是在方法内创建的，因此可以从其他线程访问。