Java中的可见性问题是由JVM还是硬件引起的？

Question

以前我认为可见性问题是由CPU Cache 引起的性能问题。

但我看到这篇文章： http://www.ibm.com /developerworks/java/library/j-5things15/index.html

在第3.易失性变量段落中，它告诉Thread持有缓存，听起来缓存是由JVM引起的。

答案是什么？ JVM 还是硬件？

Answer 1

JVM 给了你一些弱保证。编译器和硬件会给你带来问题。 :-)

当线程读取变量时，它不一定从内存中获取最新值。处理器可能会返回缓存的值。此外，即使程序员编写的代码中首先写入然后读取变量，只要不更改程序语义，编译器也可能会对语句进行重新排序。处理器和编译器为了性能优化而这样做是很常见的。因此，线程可能看不到它期望看到的值。这可能会导致并发程序中的错误难以修复。

大多数程序员都熟悉这样一个事实：进入同步块意味着获得监视器上的锁，以确保没有其他线程可以进入同步块。不太熟悉但同样重要的事实是

(1) 获取锁并进入同步块会强制线程刷新内存中的数据。
(2) 退出同步块时，写入的数据将刷新到内存。
http://www.javacodegeeks.com/ 2011/02/java-memory-model-quick-overview-and.html

另请参阅 JSR 133（Java 内存模型和线程规范修订版）http://jcp.org/en/jsr/detail?id=133 它与 JDK 1.5 一起发布。