volatile关键字深入解析

目录

volatile关键字的语义

volatile的实现场景

volatile和synchronized的区别

---

volatile关键字的语义

被volatile修饰的实例变量或类变量具备如下两层语义：

1.保证了不同线程之间对共享变量操作时的可见性，即当一个线程修改volatile修饰的变量，另外一个线程立即看到最新的值

2.禁止指令重排序

volatitle的实现场景

1.开关控制利用可见性

2.状态标记利用顺序性特点

3.Singeton设计模式的double-check也是利用了顺序性的特点

volatile和synchronized的区别

（1）使用上的区别

volatile只能用于修饰实例变量或类变量，不能用于修饰方法以及方法参数和局部变量，常量等。

synchronized关键字不能用于对变量的修饰，只能用于修饰方法或者语句块。

volatile修饰的变量可以为null，synchronized关键字同步语句块的moniter对象不能为null。

（2）对原子性的保证

volatile无法保证原子性 

由于synchronized是一种排他机制，因此synchronized关键字修饰的同步代码是无法被中断，因此能够保证其原子性。

（3）对可见性的保证

两者均可以保证共享资源在多线程间的可见性，但是实现机制完全不同

synchronized借助于jvm指令的monitor enter和moniter exit对通过排他的方式使得同步代码串行化，在monitor exit时所有共享资源都会被刷新到主存中；

volatile使用机器指令（lock;）的方式迫使其他线程工作内存的数据失效，不得不到主存中重新加载数据

（4）对有序性的保证

两者都保证有序性，volatile关键字禁止jvm编译器以及处理器对其进行重排序，所以他能够保证有序性

synchronized以程序的串行化执行来保证有序性

（5）其他

volatile不会使线程陷入阻塞

synchronized关键字会使线程进入阻塞状态