前言:
要真正搞懂volatile的特性需要与JMM对比来看
JMM(线程安全的保证)
JMM:JAVA内存模型(java memory model) 是一种抽象概念,并不真实存在,它描述的是一组规则或规范,通过这组规范定义了程序中各个变量(实例字段,静态字段和构成数组对象的元素)的访问方式。
JMM关于同步的规定
- 线程解锁前,必须把共享变量的值刷新回主内存;
- 线程加锁前,必须读取主内存的最新值到自己的工作内存;
- 枷锁解锁是同一把锁。
由于JVM运行程序的实体是线程。而每个线程创建时JVM都会为其创建一个工作内存,工作内存是每个线程的私有数据区域。
JMM中规定所有变量都存储在主内存,主内存是共享内存区域,所有线程都可以访问,但线程对变量的操作(读写)必须在工作内存中进行。具体步骤:首先要将变量从主内存拷贝到自己的工作内存空间,然后对变量进行操作,操作完成后再将变量写回主内存,不能直接操作主内存中的变量,各个线程中的工作内存存储着主内存中的变量副本拷贝,因此不同线程间无法访问对方的工作内存,线程的通信必须通过主内存来完成
如图所示 可以说cache缓存 就是 这种JMM内存模型的硬件抽象
JMM的特性:可见性,原子性,有序性。
说回到volatile
volatile
volatile 是java虚拟机提供的轻量级同步机制
导致并发问题的源头是 : 多核 CPU 缓存导致程序的可见性问题、多线程间切换带来的原子性问题以及编译优化带来的顺序性问题。
下面是三个volatile特性
可见性
用代码证明volatile的可见性
class MyDate {
//共享变量 1.1 首先不加volatile关键字
int number = 0;
public void change() {
this.number = 60;
}
}
/**
* 1.验证volatile的可见性
*/
public class VolatileDemo {
public static void main(String[] args) {
MyDate myDate = new MyDate();
new Thread(() -> {
System.out.println(Thread.currentThread().getName() + "\t come in");
try {
TimeUnit.SECONDS.sleep(3);
} catc