可见性
一个线程对主内存的修改，能够及时的被其他线程看到。
导致共享变量在线程之间不可见的原因
- 线程交叉执行
- 重排序结合线程交叉执行
- 共享变量更新后的值没有在工作内存和主内存之间进行同步.
对于可见性 jvm 提供了 synchronize 和 volatile两个关键字
synchronize 实现可见性
JMM 对于 synchronize的两条规定
- 线程解锁前 , 必须把共享变量的值刷新到主内存中去
- 线程加锁时 , 将清空工作内存中共享变量的值 , 从而使用共享变量的值必须从主内存中重新获取最新的值 .
注意 , 这里的 加锁和解锁是同一把锁 .
volatile 实现可见性
volatile 是通过 加入 内存屏障 和禁止重排序优化 来实现可见性的.
- 对其变量执行写操作时，会在写操作后加入一条store屏障指令, 将本地内存中的共线性变量刷新到主内存中；
- 对其进行读操作时，会在读操作前加入一条load屏障指令 , 从主内存中读取共享变量 .
这两点通俗的来讲就是 , volatile变量在每次被线程访问时, 都强制从主内存中获取变量值, 当线程修改了volatile 变量后, 会强制线程将最新的值到主内存中 . 所以在任何时候, 线程都能看到该变量的最新的值 .
volatile 的使用场景
- 对变量的写入操作不依赖其当前值：不满足：num++；num = num*5；满足 boolean值。
- 该变量没有包含在其他变量的不变式中。