内存可见性
Java内存模型规定,对于多个线程共享的变量,存储在主内存当中,每个线程都有自己独立的工作内存,并且线程只能访问自己的工作内存,不可以访问其它线程的工作内存。工作内存中保存了主内存中共享变量的副本,线程要操作这些共享变量,只能通过操作工作内存中的副本来实现,操作完毕之后再同步回到主内存当中,其JVM内存模型大致如下图。
而JAVA内存模型规定工作内存与主内存之间的交互协议,其中包括8种原子操作:
lock:将主内存中的变量锁定,为一个线程所独占
unclock:将lock加的锁定解除,此时其它的线程可以有机会访问此变量
read:将主内存中的变量值读到工作内存当中
load:将read读取的值保存到工作内存中的变量副本中。
use:将值传递给线程的代码执行引擎
assign:将执行引擎处理返回的值重新赋值给变量副本
store:将变量副本的值存储到主内存中。
write:将store存储的值写入到主内存的共享变量当中。
从上图可以看出,read and load 主要是将主内存中数据复制到工作内存中,use and assign则主要是使用数据,并将改变后的值写入到工作内存,store and write则是用工作内存数据刷新主存相关内容。
基于保守策略的 JMM 内存屏障插入策略:
-
在每个 volatile 写操作的前面插入一个 StoreStore 屏障。
-
在每个 volatile 写操作的后面插入一个 StoreLoad 屏障。
-
在每个 volatile 读操作的前面插入一个 LoadLoad 屏障。
-
在每个 volatile 读操作的后面插入一个 LoadStore 屏障。
根据happens-before中的volatile规则,一个写操作一定发生于后续的读操作之前。而use操作之前必关联read,load操作,assign后必关联store,write操作,这就是volatile保证内存可见性的依据。