Java 并发：“级联”变量中的 Volatile 与 Final？

is

final Map<Integer,Map<String,Integer>> status = new ConcurrentHashMap<Integer, Map<String,Integer>>();
Map<Integer,Map<String,Integer>> statusInner = new ConcurrentHashMap<Integer, Map<String,Integer>>();
status.put(key,statusInner);

与

volatile Map<Integer,Map<String,Integer>> status = new ConcurrentHashMap<Integer,   Map<String,Integer>>();
Map<Integer,Map<String,Integer>> statusInner = new ConcurrentHashMap<Integer, Map<String,Integer>>();
status.put(key,statusInner);

万一内部Map被不同的线程访问呢？

或者甚至需要这样的东西：

volatile Map<Integer,Map<String,Integer>> status = new ConcurrentHashMap<Integer, Map<String,Integer>>();
volatile Map<Integer,Map<String,Integer>> statusInner = new ConcurrentHashMap<Integer, Map<String,Integer>>();
status.put(key,statusInner);

如果它不是一个“级联”映射，那么最终和易失性最终具有相同的效果，使所有线程始终看到映射的正确内容......但是如果映射本身包含映射，会发生什么，如示例中所示...我如何确保内部映射正确地“内存屏障”？

坦克！ 汤姆

volatile只影响其他线程读取其附加的变量值的能力。它绝不会影响另一个线程查看映射的键和值的能力。例如，我可以有一个volatile int[]。如果我改变参考——即如果我更改它指向的实际数组，则保证读取该数组的其他线程会看到该更改。但是，如果我更改数组的第三个元素，则不会做出这样的保证。

If status is final，包含类的构造创建了一个happens-before与任何后续读取的关系，因此他们能够看到状态的值。同样，任何读到你的volatile变量保证能看到对其的最新引用分配。这与您经常交换实际地图不同，更像是您只是更改键并且整个地图对象保持原样。

那么对于这个问题，我们需要查阅文档ConcurrentHashMap:

检索操作（包括get） 一般不会阻塞，所以可能会重叠 具有更新操作（包括 put 并删除）。检索结果反映了 最近完成的结果 更新操作持有其 发病。

这措辞有点奇怪，但要点是任何get其开始时间为的操作after some put操作的返回保证可以看到该 put 的结果。所以你甚至不需要volatile在外部地图上； JLS 说道：

只能看到参考的线程 到该对象之后 已完全初始化是 保证能正确看到 该对象的初始化值 最后的字段。

Summary

A final外地图上就足够了。