目录
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关键字会使线程进入阻塞状态