首先,什么是可见性,即一个线程对共享变量值(一个变量被多个线程使用到,在多个线程的工作内存中都存在副本)得修改能被其他线程看到。
这里引入Java内存模型的概念,JMM,Java Memory Model,描述Java程序中各种变量的访问规则以及在JVM中将变量存储到内存和从内存中取出变量的底层细节。
在这里必须明确以下几点。
1.所有变量都存储在主内存中;
2.每个线程都有自己独立的工作内存,里面保存该线程使用到的变量副本。
如图,共享变量X的存储情况。
两条规定:
1.线程对共享变量的所有操作都必须在自己的工作内存中进行,不能直接从主内存中读写;
2.不同线程间无法直接访问其他线程工作内存中的变量,线程间变量值得传递必须通过主内存。
共享变量可见性实现的原理
线程1对共享变量的修改被线程2看到:工作内存1-主内存-工作内存2。