同步嵌套的 Map 和 Set (Java)

Question

我在试图通过两个线程同步的地图中的地图内有一个嵌套集。

地图是这样实例化的：

private final Map<Manageable, Map<String, Set<Manageable>>> manageableMap = 
        Collections.synchronizedMap(new HashMap<Manageable, Map<String, Set<Manageable>>>());

这是我用来向地图添加值的函数：

private void put(Manageable key, Manageable value, String valueType) {
    synchronized (manageableMap) {
        Map<String, Set<Manageable>> setMap = manageableMap.get(key);
        if (setMap == null) {
            setMap = new HashMap<String, Set<Manageable>>();
            manageableMap.put(key, Collections.synchronizedMap(setMap));
        }

        synchronized (setMap) {
            Set<Manageable> set = setMap.get(valueType);
            if (set == null) {
                set = new HashSet<Manageable>();
                setMap.put(valueType, Collections.synchronizedSet(set));
            }

            synchronized (set) {
                set.add(value);
            }
        }
    }
}

Intellij IDEA 警告我正在对局部变量 setMap 和 set 进行同步。

我对同步相当陌生，我想知道这是否是正确的方法 像这样同步一个嵌套的数据结构。

感谢您的帮助。

Answer 1

您只需要在 manageableMap 上进行同步。一次只有1个线程可以获取manageableMap上的锁，所以如果一个线程已经获取了manageableMap上的锁，则不需要进一步锁定set和setMap，因为只有1个线程（锁定manageableMap的线程）可以访问set和setMap .

Answer 2

同步作用于特定的对象实例，而不是作用于对它们的引用的字段或变量，因此您必须确保同步发生在相同的对象实例上，无论它们是否仅由局部变量引用。

在这种特殊情况下，IDEA 无法静态检查代码是否符合您的要求，警告只是某种“代码气味”，警告您效果可能不符合预期。

最好的办法是您通过注销您正在同步的实例来测试您的代码并检查它们是否是您期望的 - IDEA 还可以在调试期间标记对象实例以检查您同步的对象是否是相同或不同的实例。

Answer 3

如果您总是手动控制同步，您可能不需要使用 Collections.synchronizedMap。在目标地图上同步一个部分即可。