Java synchronized 关键字要求的缓存刷新范围是什么？

Question

我今天整天研究Java内存模型，以详细了解Java 5之前的JMM存在的问题以及Java 5中实现的JSR-133所做的更改。

我似乎找不到明确的答案是特定同步所需的缓存失效和刷新的范围。

在进入任何同步代码部分时必须使所有 CPU 寄存器和缓存无效，并在离开时全部刷新到主 RAM，或者 JVM 是否允许仅使实际读取的变量无效，并仅刷新在同步块期间实际写入的变量代码？

如果是前者，为什么 JMM 如此迂腐地坚持只在两个线程之间发生内存屏障，而这两个线程在完全相同的对象上同步？

如果是后者，是否有任何好的文档来解释如何完成此操作的详细信息？ （我认为底层实现必须在同步块开始时在 CPU 级别设置“绕过缓存”标志并在结束时清除它，但我可能方式偏离基础。 )

Answer 1

Java Memory model 上有非常好的技术讲座。如果你不喜欢 Wideos google 'happens before' 在 Java 内存模型的上下文中。

如果发生在关系之前，基本上所有写入对其他线程都是可见的，让我们假设线程 A 写入字段 X，线程 B 从中读取，因此发生之前是在写入和读取之间建立结束如果：

• x 不稳定
• 对 x 的写入受到从 x 读取的同一个锁的保护
• 也许更多。

所以我认为第二个选项是正确的，他们是如何实现的，我不知道。

Answer 2

您需要了解，5.0 之前的 JMM 从未真正完全实现过，因为它实际上并不可行。

所以在 5.0 之前，您在技术上确实必须将所有内容都写到共享内存中。在 1.5（实际上是 1.4）中，这是放宽的。特别是，如果锁无法逃脱线程，则 JVM 有权将其视为 nop。此外，可以合并一个解锁，然后是同一个锁的一个锁，这对于旧的 JMM 是不正确的。对于逃逸锁，JVM 通常不得不悲观并刷新超过技术上的必要。

Answer 3

我建议你从：

• Doug Lea 的 "JSR-133 cookbook" 为编译器编写者提供了有关如何实现内存模型的信息
• Java Memory Model mailing list archive，您可以在其中阅读导致当前 JMM 修订的一些争论。